Нормальная форма Бойса-Кодда (НФБК)

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

НФБК учитывает функциональные зависимости от всех потенциальных ключей, а не только от первичных ключей.

Отношение находится в НФБК тогда и только тогда, когда каждый его детерминант является потенциальным ключом.

Для отношения с единственным потенциальным ключом его 3НФ и НФБК являются эквивалентными.

Для проверки принадлежности отношения к НФБК необходимо найти все его детерминанты и убедиться в том, что они являются потенциальными ключами. (Детерминантом является один или несколько атрибутов, от которых полностью функционально зависит другой атрибут).

Рассмотрим отношения FIRST и SECOND, которые не находятся в 3НФ. (В них существует функциональная зависимость CITY → STATUS, что вызывает транзитивную зависимость SNo → STATUS через атрибут CITY).

Эти отношения не находятся так же и в НФБК. Отношение FIRST содержит три детерминанта: SNo, CITY и (SNo, PNo)

SNo → CITY (SNo не является потенциальным ключом)

CITY → STATUS (CITY не является потенциальным ключом)

SNo, PNo → QTY (SNo, PNo является потенциальным (первичным) ключом).

С другой стороны, три результирующих отношения Sp, SC и CS находятся и в 3НФ и в НФБК, поскольку в каждом из них имеется единственный потенциальный ключ, являющийся единственным детерминантом для данного отношения.

Рассмотрим другой пример. Пусть имеется отношение S (табл. 17) с атрибутами (SNo, SNAME, CITY , STATUS), в котором атрибуты SNo и SNAME являются его потенциальными ключами, т.е. каждый поставщик имеет уникальный номер и уникальное имя.

Таблица 17 Отношение S

Поставщик Название Рейтинг Город

Так же предположим, что атрибуты STATUS и CITY являются независимыми, т.е. функциональная зависимость CITY → STATUS больше не имеет место.

Потенциальными ключами в таком отношении являются SNo и SNAME и существуют функциональные зависимости.

SNo → SNAME

SNAME → SNo

SNo → STATUS

SNo → CITY

SNAME → STATUS

SNAME → CITY

Отношения находятся в НФБК, так как оба детерминанта (SNo и SNAME) являются потенциальными ключами этого отношения.

Отношение SSP (табл. 18) с атрибутами (SNo, SNAME, PNo, QTY) не находится в НФБК, так как оно содержит два детерминанта SNo и SNAME, которые не являются его потенциальными ключами (SNo → SNAME; SNAME → SNo). Детерминант (SNo, PNo) является потенциальным ключом.

Таблица 18. Отношение SSP

Поставщик Название Детали Количество

Тем не менее отношение SSP находится в 3НФ (нет транзитивных зависимостей).

Чтобы достичь НФБК необходимо отношение SSP разбить на два отношения:

SS (SNo, SNAME)

SP (SNo, PNo, QTY)

Дата добавления: 2014-02-28; просмотров: 324; Нарушение авторских прав

Мы поможем в написании ваших работ!