Для представления характера взаимозависимости между парами связанных элементов используются отображения (двусторонние связи) и ассоциации (односторонние). Выделяют следующие виды отображений.
1. Связь типа «один к одному» (1:1), уникальная в обоих направлениях. Одному значению первого множества соответствует только одно значение второго, и наоборот.
2. Связь типа «один ко многим» (1:М, или 1 – ¥), уникальная только справа налево. Одному значению первого множества соответствует несколько значений второго.
3. Связь типа «много к одному» (М:1, или ¥ – 1), уникальная только слева направо. Одно значение первого множества соответствует нескольким значениям второго.
4. Связь типа «много ко многим» (М:М, или ¥ – ¥), неуникальна в обоих направлениях. Одному значению первого множества соответствует несколько значений второго, и наоборот.
Ассоциации чаще используются для определения связи ключ-атрибут. Связи от атрибутов к ключам в большинстве случаев не задаются. Типы ассоциаций: простая, сложная и условная. При простойсуществует один элемент, принимающий связь. При сложнойассоциации одному элементу с выходящей стороны соответствует несколько элементов с входящей. Ассоциация не обязательно уникальна и представляет многозначную зависимость. Условная ассоциация устанавливается, если для элемента данных с выходящей связью может не существовать элемента, принимающего связь, а если и существует, то единственный. Например, ассоциация между больным и больничной койкой.
Между полями таблицы БД могут также существовать различные типы зависимостей.
Поле Вфункционально зависитот поля А, если в любой момент времени каждому значению поля А соответствует не более одного значения поля В.
Заметим, что термин «функциональная зависимость» соответствует понятию функции в математике. Если таблица имеет составной ключ и неключевое поле зависит от всего составного ключа и не зависит от его частей, то говорят о функционально полной зависимости поля от составного ключа. Если значение поля А зависит от значения поля В, а В зависит от С, но обратная зависимость отсутствует, то говорят, что поле С зависит от А транзитивно (зависимость одного атрибута одновременно от части ключа и от всего составного ключа).