. Отношение 5НФ, если в отношении найдется нетривиальная зависимость соединения.
Возвращаясь к примеру 3, становится понятно, что не зная ничего о том, какие потенциальные ключи имеются в отношении и как взаимосвязаны атрибуты, нельзя делать выводы о том, находится ли данное отношение в 5НФ (как, впрочем, и в других нормальных формах). По данному конкретному примеру можно только предположить, что отношение в примере 3 не находится в 5НФ. Предположим, что анализ предметной области позволил выявить следующие зависимости атрибутов в отношении (i) Отношение (ii) Имеется следующая зависимость (довольно странная, с практической точки зрения): если в отношении , , то отсюда следует, что в отношении .
Утверждение. Докажем, что при наличии ограничений (i) и (ii), отношение находится в 4НФ, но не в 5НФ.
Доказательство. Покажем, что отношение Покажем, что отношение не находится в 5НФ. Для этого нужно привести пример нетривиальной зависимости соединения. Естественным кандидатом на нее является , не совпадает с множеством всех атрибутов отношения Но является ли такая декомпозиция именно зависимостью соединения? Для этого нужно показать, что декомпозиция на три проекции и (именно здесь содержится ключевая тонкость, обычно пропускаемая при анализе конкретного состояния отношения Как и в предыдущих доказательствах, нужно доказать, что .
Включение .
Докажем включение Пусть кортеж содержится кортеж содержится кортеж содержится кортеж , атрибутов и содержит кортежи и содержится также и кортеж Утверждение доказано.