Фамилия, Имя, Отчество, Дата_рождения -> Номер_домашнего_телефона, Подразделение,Должность

Рис. 14.1

Одна из форм представления структуры отношения

Учитывая возможность существования составного ключа, можно уточнить нотацию функциональной зависимости определением полной функциональной зависимости (full functional dependence) <$I[]полная функциональная зависимость (full functional dependence)>. Если атрибут В функционально зависит от составного ключа А, но не зависит от любого подмножества этого составного ключа, то атрибут В находится в полной функциональной зависимости от А.

В рамках широкой классификации ключей можно определить несколько специализированных ключей. Например, сверхключ (superkey) <$I[]сверхключ (superkey)> — это ключ, который уникально идентифицирует каждую сущность, хранимую в отношении. Например, для отношения Служащий сверхключом является Таб_номер. Сверхключ функционально определяет все атрибуты сущности. Для отношения Служащий сверхключами могут быть: