Третья нормальная форма. Определение 4. Атрибут Ak транзитивно зависит от множества атрибутов , если существует множество, состоящее из атрибутов

Определение 4. Атрибут A_k транзитивно зависит от множества атрибутов , если существует множество, состоящее из атрибутов , каждый из которых функционально зависит от , такое, что A_k функционально зависит от .

Определение 5. (3NF) Файл с первичным ключом находится в третьей нормальной форме, если он находится в первой нормальной форме, и для любого функциональная зависимость атрибута A_k от атрибутов не является транзитивной.

Произвольный ключ отношения можно выделить как первичный. Если с помощью выделения любого ключа как первичного мы получаем отношение, находящееся в третьей нормальной форме, то заданное отношение называется находящимся в нормальной форме Бойса-Кодда. В частности, отношение будет находиться в нормальной форме Бойса-Кодда, если оно допускает единственный ключ.