Четвертая нормальная форма
Известно, что каждое отношение r(R), удовлетворяющее MV-зависимости Х
Y, разлагается без потерь на отношения со схемами ХY и XZ, где Z=R-(XY). Однако в случае если X
Y – единственная зависимость в R, то R находится в ЗНФ. Таким образом, ЗНФ не определяет все возможные декомпозиции.
MV-зависимость Х
Y называется тривиальной. Для произвольной схемы R, содержащей ХY, если любое отношение r(R) удовлетворяет X
Y [10].
Пусть F – множество F- и MV-зависимостей над U. Схема отношения R
U находится в четвертой нормальной форме (4НФ) относительно F, если для каждой MV-зависимости X
Y, выводимой из F a приложимой к R, либо MV-зависимость тривиальна либо X является суперключом для R [10].
Схема базы данных R находится в четвертой нормальной форме относительно F, если каждая входящая в нее схема отношения находится в четвертой нормальной форме относительно F.
Множество F из F-зависимостей и MV-зависимостей, аналогично тому как это делается для построения схем баз данных в ЗНФ, может быть использовано для построения декомпозиций схемы отношения R, находящихся в 4НФ. Для этого, начав с R, ищем выводимую из F нетривиальную MV-зависимость Х
Y , для которой X не является ключом R. Далее R разлагаем на два отношения R1=(X, Y) и R2=(X, Z), где Z=R-(XY). MV-зависимость Х
Y теперь тривиальна в R1 и неприложима к R2. Процесс декомпозиции повторяем для той из схем R1 и R2, которая не находится в 4НФ относительно F. Поскольку используемые MV-зависимости не являются тривиальными, обе возникающие реляционные схемы содержат меньше атрибутов, чем исходные. Таким образом, процесс декомпозиции неизбежно закончится.
Содержание Назад Вперед
