2015-03-07
367
Определение 4. Атрибут Ak транзитивно зависит от множества атрибутов 
, если существует множество, состоящее из атрибутов 
, каждый из которых функционально зависит от , такое, что Ak функционально зависит от .
Определение 5. (3NF) Файл с первичным ключом находится в третьей нормальной форме, если он находится в первой нормальной форме, и для любого 
функциональная зависимость атрибута Ak от атрибутов не является транзитивной.
Произвольный ключ отношения можно выделить как первичный. Если с помощью выделения любого ключа как первичного мы получаем отношение, находящееся в третьей нормальной форме, то заданное отношение называется находящимся в нормальной форме Бойса-Кодда. В частности, отношение будет находиться в нормальной форме Бойса-Кодда, если оно допускает единственный ключ.
