Базы данных. Лекция 11. Реляционная модель. Нормальные

Нормальная форма Бойса - Кодда
Отношение находится в нормальной
форме Бойса – Кодда когда оно
находится в третьей нормальной
форме и в нём отсутствуют
функциональные зависимости
атрибутов первичного ключа от
неключевых атрибутов.
Четвёртая нормальная форма
Отношение находится в четвёртой
нормальной форме если оно
находится в нормальной форме Бойса
– Кодда и не содержит нетривиальных
многозначных зависимостей, равно
как и нефункциональных
многозначных зависимостей .
Многозначная зависимость не всегда
является функциональной. Наличие в
отношении многозначных
зависимостей, не являющихся
функциональными зависимостями от
возможного ключа, приводит к
аномалиям обновления таких
отношений.
Пятая нормальная форма
Отношение находится в пятой
нормальной форме если оно
находится в четвёрнтой нормальной
форме и любая многозначная
зависимость соединения в ней
является тривиальной.
Пятая нормальная форма практически
не применяется из-за сложности
определения наличия зависимостей
«проекции – соединения», т.к.
утверждение о наличии такой
зависимости должно быть сделано для
всех возможных состояний базы
данных.