Информационное обеспечение систем управления

       

в этих последовательностях могут менять


1.     ВРЕМЯ функционально зависит от РЕЙСА.

2.     РЕЙС функционально зависит от {ПИЛОТ, ДАТА, ВРЕМЯ}.

3.     ПИЛОТ функционально зависит от {РЕЙС, ДАТА}. Порядок в этих последовательностях могут менять и говорить, что РЕЙС, ДАТА функционально определяют ПИЛОТ, или символически:

{РЕЙС, ДАТА}
в этих последовательностях могут менять
ПИЛОТ.

Пусть r – отношение со схемой
в этих последовательностях могут менять
,
в этих последовательностях могут менять
 и
в этих последовательностях могут менять
 – подмножества
в этих последовательностях могут менять
. Отношение
в этих последовательностях могут менять
 удовлетворяет функциональной зависимости
в этих последовательностях могут менять
, если

в этих последовательностях могут менять
, то
в этих последовательностях могут менять


для любых кортежей
в этих последовательностях могут менять
 и
в этих последовательностях могут менять
 в
в этих последовательностях могут менять
.

В F-зависимости
в этих последовательностях могут менять
подмножество
в этих последовательностях могут менять
 называется левой частью, a
в этих последовательностях могут менять
– правой частью.


Содержание раздела