ВВЕДЕНИЕ В СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ


5НФ (Пятая Нормальная Форма) - часть 2


Согласно определению зависимости соединения, теорема Фейджина может быть переформулирована следующим образом:

Теорема Фейджина (другая формулировка). Отношение

удовлетворяет зависимости соединения
тогда и только тогда, когда имеется многозначная зависимость
.

Т.к. теорема Фейджина является взаимно обратной, то ее можно взять в качестве определения многозначной зависимости. Таким образом, многозначная зависимость является частным случаем зависимости соединения, т.е., если в отношении имеется многозначная зависимость, то имеется и зависимость соединения. Обратное, конечно, неверно.

Определение 6. Зависимость соединения

называется нетривиальной зависимостью соединения, если выполняется два условия:

  • Одно из множеств атрибутов
    не содержит потенциального ключа отношения
    .

  • Ни одно из множеств атрибутов не совпадает со всем множеством атрибутов отношения
    .

Для удобства работы сформулируем это определение так же и в отрицательной форме:

Определение 7. Зависимость соединения

называется тривиальной зависимостью соединения, если выполняется одно из условий:

  • Либо все множества атрибутов
    содержат потенциальный ключ отношения
    .
  • Либо одно из множеств атрибутов совпадает со всем множеством атрибутов отношения
    .

Определение 8. Отношение

находится в пятой нормальной форме (5НФ) тогда и только тогда, когда любая имеющаяся зависимость соединения является тривиальной.

Определения 5НФ может стать более понятным, если сформулировать его в отрицательной форме:

Определение 9. Отношение

не находится в 5НФ, если в отношении найдется нетривиальная зависимость соединения.

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

:




Начало  Назад  Вперед



Книжный магазин