Введение в системы управления базами данных
то любой атрибут отношения
Определение 1
. Пусть
функционально зависимо от множества атрибутов 
функционально определяет 
для любых кортежей 
следует что 
, значения атрибутов 
). Символически функциональная зависимость записывается
Множество атрибутов 
детерминантом функциональной зависимости, а множество атрибутов 
зависимой частью.
Замечание. Если атрибуты 
, то любой атрибут отношения 
.
