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

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

Определение четвертой нормальной формы (4НФ) звучит следующим образом: отношение находится в 4НФ, если оно находится в НФБК, но в нем отсутствуют многозначные зависимости, которые не являются функциональными. По другому определению 4НФ требуется, чтобы в отношении для любой нетривиальной многозначной зависимости, т.е. Х®®У (X®®0 или Х®®U—Х—Y являются тривиальными), Х обязательно содержал первичный ключ отношения.

Следующее разложение приводит исходное отношение «ПРЕПОДАВАТЕЛЬ» в четвертую нормальную форму:

R1 (ИД#, ДЕТИ)

R2 (ИД#, КУРСЫ)

R3 (ИД#, ДОЛЖНОСТЬ)

 

Четвертая нормальная форма показывает, что отношение может находиться в НФБК и, тем не менее, могут существовать некоторые аномалии, особенно при обновлениях. Например, если у преподавателя появится еще один ребенок, в исходное отношение необходимо добавить не один кортеж, а столько, сколько профессор читает курсов. (Аналогичная ситуация возникает при появлении нового курса, читаемого профессором.) Эти многочисленные модификации необходимы для сохранения независимости между всеми возможными значениями атрибутов. В отношении, приведенном к 4НФ при появлении нового ребенка или курса достаточно добавить один кортеж в отношения, соответственно R1 или R2.

 

Тот факт, что отношение может быть восстановлено без потерь соединением некоторых его проекций, известен как зависимость по соединению. Говорят, что отношение находится в пятой нормальной форме (5НФ) тогда и только тогда, когда любая зависимость по соединению в R определяется возможными ключами R. Другими словами, каждая проекция R содержит не менее одного возможного ключа и, по крайней мере, один непервичный атрибут. Различие 5НФ и 4НФ можно показать на примере, представленном на рисунке 8.4, где присутствуют отношения R1, R2, R3, и R4. Все атрибуты всех отношений являются первичными.