72. Пятая нормальная форма. Примеры.

Из определения ЗС следует, что из всех возможных форм проекционно–соединительной процедуры нормализации. ЗС является наиболее общей формой зависимости. Вероятно, это означает что для тех отношений, которые могут быть подвергнуты n–декомпозируемости (без потерь) не существует более высокой степени зависимости, которая является обобщением ЗС, но существуют только частные случаи зависимостей.

Отсюда следует четвертый (пятый) этап процедуры нормализации. Т.е. необходимо отыскать такие ЗС которые не являются многозначными и ФЗ и провести декомпозицию на основе ЗС. Такой процесс может оказаться многоэтапным. Отсюда вытекает определение 5 НФ.

Отношение R находится в 5 ФН тогда и только тогда когда каждая ЗС в отношении R подразумевается потенциальным ключом. Отношения в 5 НФ часто называют проекционно–соединительной НФ. Фраза «ЗС подразумевается потенциальным ключом» означает, что любая зависимость обязательно должна быть основана на функциональных ключах. Чтобы разъяснить понятие ЗС рассмотрим отношение поставщиков S#, SNAME.

S(S#, SNAME, STATUS, CITY)

Это отношение удовлетворяет нескольким ЗС

*({S#, SNAME, STATUS},{S#, CITY})

Т.е. отношение S равносильно соединению его проекций и по {S#, SNAME, STATUS} и по {S#, CITY}.

Существование данной ЗС следует из того что S# является потенциальным ключом. Однако отношение S удовлетворяет также и ЗС из трех проекций *({S#, SNAME},{S#, STATUS},{S#, CITY})

Эта ЗС следует из того, что оба атрибута S#, SNAME являются потенциальными ключами. В общем случае, Фейган показал, что существует алгоритм, с помощью которого для заданной ЗС и множества потенциальных ключей, можно проверить будет ли данная зависимость подразумеваться этими потенциальными ключами. Хотя на практике это очевидно. Т.о. для произвольного отношения R можно утверждать, что оно находится в 5 НФ при условии, что известны все потенциальные ключи и все ЗС подразумеваемые этими потенциальными ключами.

Однако в общем случае обнаружить все ЗС совсем не просто, так как если МЗ и ФЗ семантически отражают реальные ограничения, то ЗС отражают скорее виртуальные или логические ограничения. Следовательно, этап процедуры нормализации от 4 к 5 НФ не имеют однозначного алгоритма. Замечание. Как следует из определения 5 НФ, 5 НФ является высшей формой отношения если речь идет о проек.–соед. теории организации. Высшая НФ означает что отношение в 5 НФ абсолютно застраховано от наличия, каких либо аномалий обновления или точнее это отношение не может быть освобождено от иных аномалий, которые могли бы быть исключены с помощью декомпозиции на проекции. Действительно если отношение находится в 5 НФ, то единственными ЗС будут только те ЗС, которые подразумеваются потенциальным ключом. Это значит, что единственной истинной будет декомпозиция, основанная на этих потенциальных ключах. Отношение S находится в 5 НФ и теоретически его можно декомпозировать на отношения определяющие данное ЗС. Однако каждая из проекции заведомо будет содержать один из потенциальных ключей.