Функциональная зависимость между атрибутами отношения
Пусть R – таблица, а A и B – произвольные подмножества ее полей. Тогда B функционально зависит от A и пишут A > B, если каждое значение множества A связано только с одним значением множества B.
Фамилия > Пол