Четвертая нормальная форма

Определение

Отношение R находится в 4НФ тогда и только тогда, когда в случае существования многозначной зависимости A ®® B все атрибуты отношения R функционально зависят от A.

В нашем примере отношение CDS не находится в 4НФ, так как в нем есть многозначная зависимость, которая не является функциональной.

Примечание: при проектировании с использованием IDEF1x такая ситуация может возникнуть в случае, например, когда определены три сущности – КУРС, СТУДЕНТ, ДЕНЬ ЗАНЯТИЙ, и между сущностями КУРС и СТУДЕНТ, КУРС и ДЕНЬ ЗАНЯТИЙ существует связь типа N: N.

Эти связи могут быть разрешены двумя способами:

1. Так как предполагается, что занятия по курсу обязательно посещаются студентами, можно ввести общую дополнительную сущность ЗАНЯТИЕ, для которой не будет выполняться 4НФ.

2. Если все-таки необходимо, чтобы отношения удовлетворяли 4НФ, тогда каждая неопределенная связь должна разрешаться самостоятельно. В этом случае согласование данных, заносимых в отношения КУРС СТУДЕНТА и ЗАНЯТИЕ ПО КУРСУ должны согласовываться с помощью триггеров и хранимых процедур, чтобы не получилось так, что студент изучает некоторый курс, для которого не назначены дни занятий.