Функциональные зависимости

Функциональные зависимости устанавливаются между атрибутами внутри одного отношения.

В отношении R(А, В,…) атрибут А функционально определяет атрибут В, если в каждый момент времени одному значению атрибута А соответствует не более чем одно значение атрибута В (А ® В).

Иначе оговорят, что В функционально зависит от А (В=f(А)). Отсутствие функциональной зависимости обозначается А ® В (рис. 7). Случай А ® В и В ® А называется взаимно-однозначным соответствием (А «В).