Зависимости между атрибутами

Метод нормальных форм является классическим методом проектирования реляционных БД. Этот метод основан на фундаментальном в теории реляционных баз данных понятии зависимости между атрибутами отношений.

Основные виды зависимостей между атрибутами отношений: функциональные, транзитивные и многозначимые.

Атрибут В функционально зависит от атрибута А, если каждому значению А соответствует в точности одно значение В. Математически функциональная зависимость зависимость В от А обозначается записью А→В. Это значит, что во всех кортежах с одинаковым значением атрибута А атрибут В будет иметь также одно и то же значение.

Функциональная взаимозависимость. Если существует функциональная зависимость вида А→ В и В→А, то между А и В имеется взаимно однозначное соответствие, или функциональная взаимосвязь. Наличие функциональной взаимозависимости между атрибутами А и В обозначим как А↔В или В↔А.

Частичной зависимостью (частичной функциональной зависимостью) называется зависимость неключевого атрибута от части составного ключа.

Альтернативным вариантом является полная функциональная зависимость неключевого атрибута от всего составного ключа. В нашем примере атрибут ВидЗан находится в полной функциональной зависимости от составного ключа.

Атрибут С зависит от атрибута А транзитивно ( существует транзитивнаязависимость ), если для атрибутов А,В,С выполняются условия А→В и В→А, но обратная зависимость отсутствует.