в этих последовательностях могут менять
1. ВРЕМЯ функционально зависит от РЕЙСА.
2. РЕЙС функционально зависит от {ПИЛОТ, ДАТА, ВРЕМЯ}.
3. ПИЛОТ функционально зависит от {РЕЙС, ДАТА}. Порядок в этих последовательностях могут менять и говорить, что РЕЙС, ДАТА функционально определяют ПИЛОТ, или символически:
{РЕЙС, ДАТА}ПИЛОТ.
Пусть r – отношение со схемой , и – подмножества . Отношение удовлетворяет функциональной зависимости , если
, то
для любых кортежей и в .
В F-зависимости подмножество называется левой частью, a – правой частью.