Четвертая нормальная форма (4нф), пятая нормальная форма (5нф)

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

Каждой нормальной форме соответствует некоторый определенный набор ограничений и отношения находятся в некоторой НФ, если удовлетворяют свойственному ей набору ограничений.

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

В отношении R (А,В,С) существует многозначная зависимость R.А ->> R.В только в том случае, если множество значений В, соответствующее паре значений А и С, зависит только от А и не зависеть от С.

Например, отношение: (№ зачетки, Группа, Дисциплина). Перечень дисциплин однозначно определяется Группой. Существует 2 многозначные зависимости:

Группа ->>Дисциплина Группа ->> № зачетки (каждой группе соответствует перечень дисциплин, а группа определяет список студентов)

Можно произвести декомпозицию исходного отношения:

(№ зачетки, Группа) и (Группа, Дисциплина)

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

Отношение R(А,В,С…) удовлетворяет зависимости соединения (А,В,С…) в том и только в том случае, когда R восстанавливается без потерь путем соединения своих проекций на А,В,С…. А,В,С… - наборы атрибутов отношения R.

Например: R1 (Преподаватель, Кафедра, Дисциплина)

(каждый преподаватель может работать на нескольких кафедрах и вести несколько дисциплин, поэтому РК этого отношения – все атрибуты, отсутствуют многозначные зависимости, отношение в 4НФ).

Чтобы привести к 5НФ, надо представить его в виде 3 отношений:

R2 (Преподаватель, Кафедра) R3 (Преподаватель, Дисциплина) R4 (Кафедра, Дисциплина)

19