4.3.3. Усиленная третья нормальная форма схем отношений (нормальная форма Бойса – Кодда) Если третья нормальная форма схем отношений не содержит непол-
ных и транзитивных зависимостей любых атрибутов от ключей, то она
называется усиленной третьей нормальной формой (УТНФ).
Приведенное определение УТНФ эквивалентно следующему опреде-
лению, в котором не используются такие понятия, как ключ, первичные
и непервичные атрибуты, полная и транзитивная зависимости.
Усиленной третьей нормальной формой схемы отношения R =
= (U, F) называется либо данная схема, если она нормализована и для
любого набора атрибутов A ⊂ U верно, что если какой-либо атрибут
x ∈ U \ A зависит функционально от А, то и все атрибуты отношения
функционально зависят от А; либо декомпозиция схемы R, каждая под-
схема которой удовлетворяет этим требованиям, обладающая свойством
соединения без потерь.
Таким образом, R находится в УТНФ тогда и только тогда, когда для
любой зависимости (X → Y) и X ⊉ Y выполняется Х +
= U. Очевидно, что
если отношение находится в УТНФ, то оно находится и в ТНФ, обрат-
ное, вообще говоря, не верно. УТНФ называют также нормальной фор-
