Отношение R(X,Y,...,Z) удовлетворяет зависимости соединения *(X,Y,...,Z)
в том и только в том случае, когда R восстанавливается без потерь путем
соединения своих проекций на X, Y, ..., Z.
Сейчас теорему Фейгина можно сформулировать в таком виде:
Отношение R(А,В,С) удовлетворяет зависимости соединения *(АВ,АС)
тогда и только тогда, когда оно удовлетворяет многозначным зависимостям
АВ и АС.
Зависимость соединения является обобщением понятия многозначной
зависимости. Более того, это наиболее общая форма зависимости.
Возвращаясь к отношению Поставщики-Детали-Проект, можно
обнаружить, что оно содержит зависимость соединения
ПДПрj*(ПД,jДПр,jПрП), которая не является ни функциональной, ни
многозначной зависимостью. Такое отношение рекомендуется
декомпозировать на проекции, заданные зависимостью соединения. Такой
процесс декомпозиции может повторяться до тех пор, пока все
результирующие отношения не будут находиться в пятой нормальной форме
(5НФ).
Отношение R находится в пятой нормальной форме в том и только в
том случае, когда любая зависимость соединения в R следует из
существования некоторого возможного ключа в R.
Менее строгое определение 5НФ:
Таблица находится в пятой нормальной форме (5НФ) тогда и только
тогда, когда в каждой ее полной декомпозиции все проекции содержат
возможный ключ. Таблица, не имеющая ни одной полной декомпозиции, также
находится в 5НФ.
Четвертая нормальная форма (4НФ) является частным случаем 5НФ, когда
полная декомпозиция должна быть соединением ровно двух проекций. Весьма
не просто подобрать реальную таблицу, которая находилась бы в 4НФ, но не
была бы в 5НФ.
Для заданного отношения R можно утверждать, что оно находится в 5НФ
при условии, что известны все потенциальные ключи и все зависимости