Пятая нормальная форма

Отношение находится в пятой нормальной форме (5НФ), или, иначе, в проекционно-соединительной нормальной форме, тогда и только тогда, когда каждая нетривиальная зависимость соединения определяется потенциальным ключом (ключами) этого отношения.

Под зависимостью соединения понимается следующее: пусть имеется переменная отношения R, а {A, B, C, …, Z} – подмножества атрибутов этого отношения. Тогда переменная R удовлетворяет зависимости соединения, если любое допустимое значение переменной отношения R эквивалентно соединению ее проекций по подмножествам A, B, C, …, Z множества ее атрибутов.

При этом существенно, что эта зависимость должна удовлетворяться в любой момент времени, для любого значения атрибутов, то есть, для любого отношения, являющегося значением переменной отношения R.

Тривиальная зависимость соединения – это такая зависимость соединения, в которой одно из подмножеств атрибутов A, B, C, …, Z включает в себя все атрибуты исходного отношения.

Зависимость соединения является более общим случаем многозначной зависимости, в то время, как многозначная зависимость является более общим случаем функциональной зависимости. Таким образом, можно сказать, что 5НФ – это наивысшая нормальная форма.

Существует также шестая нормальная форма (6НФ), но она определена для так называемых темпоральных баз данных, которые в настоящем курсе не рассматриваются, соответственно, обсуждение этой нормальной формы также излишне.

4.2 Модель «сущность-связь».