Править]Функциональная зависимость

Пусть дано отношение со схемой (заголовком) , и — некоторые подмножества множества атрибутов отношения . Множество функционально зависит от тогда и только тогда, когда каждое значение множества связано в точности с одним значением множества . Другими словами, если два кортежа совпадают по атрибутам , то они совпадают и по атрибутам .

В этом случае — детерминант, — зависимая часть.

Функциональная зависимость называется тривиальной, если зависимая часть является подмножеством детерминанта.