Перенормализованные» модели данных.

Следующим шагом по сравнению с третьей нормальной формой является нормальная форма Бойса – Кодда (НФБК).

Отношение находится в нормальной форме Бойса – Кодда, если каждый детерминант является возможным ключом.

Некоторые авторы, например сам Кодд, а следом за ним и Дейт [1], рассматривали эту нормальную форму как модификацию определения IIIНФ. Однако, в [3] приводится пример отношения, которое находится в IIIНФ, но не находится в НФБК. В настоящее время принято выделять ее как самостоятельный этап декомпозиции. Во многих практически важных случаях, построение набора отношений в НФБК означает, что проектирование почти закончено – такая модель данных практически свободна от аномалий. Достаточно часто (исключения будут рассмотрены ниже) отношение, приведенное к НФБК, получает сразу и пятую нормальную форму.

Доказажем, что отношение, не находящееся в нормальной форме Бойса – Кодда, не находится и в пятой нормальной форме. Обозначим рассматриваемое отношение как Y. Пусть K – набор атрибутов этого отношения, связанный полной функциональной зависимостью с другим набором атрибутов J. Как и прежде, атрибуты, не вошедшие в K или J, обозначим как H. Согласно теореме Хита, такая функциональная зависимость влечет тождество:

Y = proj H,J (Y) join proj J,K (Y)

В правой части тождества проекции не имеют общего ключа – кандидата, так как в данном случае J не является детерминантом H. Следовательно, Y не находится в пятой нормальной форме.

Дата добавления: 2015-07-19