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

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

Фамилия > Пол