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

Схема может находится в 3НФ, но в некоторых случаях все еще отмечаются нежелательные аномалии.

Рассм. пример схемы отношения: R(#D,#Pr, Post), где D- детали, Pr - проекты, Post – поставщики. Ключевые атрибуты: D, Pr

В проекте используются несколько деталей. Каждая деталь поставляется одним поставщиком для одного проекта, т.е. каждый поставщик обслуживает один проект и каждый проект обеспечивается несколькими поставщиками. Это соответствует функциональным зависимостям: D, Pr ---> Post (Pr,Post--->D); Post ---> Pr (D--->Pr).

Отношение находится в 3НФ, т.к. в нем отсутствуют неполные ФЗ и транзитивные ФЗ. Тем не менее есть аномалии. Сведения о том, что поставщик поставляет детали для определенного проекта не может быть записан в базу данных, пока детали не начнут использоваться в проекте (аномалии включения). Если детали использованы, то данные о поставщиках удаляются (аномалии удаления). Если меняются сведения о поставщике, то необходим просмотр всех кортежей БД (аномалии обновления). Декомпозиция: R1(Post,Pr) и R2(Post, D) {R1(Pr, D), R2(Post, Pr)}

В данной схеме отношения мы имеем зависимость ключевого атрибута от неключевого (проекта от поставщика).

Опр.1. Отношение нах. в НФ Бойса-Кодда, если оно нах. в 3НФ и в нем отсутствуют зав. ключевых атрибутов от неключевых.

Существует и альтернативное определение определение НФБК без ссылок на 2 и 3НФ и понятие неполной и транзитивной функциональой зависимости. В определении используетсчя понятие детерминанты. Детерминанта - это левая, определяющая часть функциональной зависимости.

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

Опр.3(формальное) Схема отношения R с зависимостями F находится в НФБК, если всякий раз, когда в R имеет место зависимость X--->A и А не принадлежит X, то X включает некоторый ключ R.

Иными словами, допускаются только такие ФЗ, в которых ключ функционально определяет один или несколько атрибутов.

Определение НФБК включает более общий случай, с условиями: 1) Отношение имеет два или более потенциальных ключей; 2) Два ключа являются сложными; 3) Они перекрываются и имеют по крайней мере один общий атрибут