Информационное обеспечение систем управления

       

и F6 можно вывести остальные,


Из аксиом Fl, F2 и F6 можно вывести остальные, а значит, они образуют полное подмножество для F1-F6. Аксиомы Fl, F2 и F6 являются также независимыми: ни одна из этих аксиом не может быть получена из двух других. Иногда эти три аксиомы называются аксиомами Армстронга.

Пусть
 – множество F-зависимостей для отношения
. Замыкание
, обозначаемое
, - это наименьшее содержащее
 множество, такое, что при применении к нему аксиом Армстронга нельзя получить ни одной F-зависимости, не принадлежащей
. Так как
 должно быть конечно, то можно вычислить его, начиная с
 путем применения Fl, F2 и F6 и добавления полученных F-зависимостей к
 до тех пор, пока не перестанут получаться новые зависимости. Замыкание
 зависит от схемы
.

Из множества
 можно вывести F-зависимость  
, если
 принадлежит
. Так как аксиомы вывода порождают только функциональные зависимости, то
 влечет за собой
, если
 выводится из
.

Пример 2.5. Пусть
 – множество F-зависимостей на
.

Тогда:







В свете   новых знаний об F-зависимостях, следует уточнить понятия ключа и суперключа.

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

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

Суперключ – это любая совокупность атрибутов, содержащая ключ.

Нормализация – формальный метод анализа отношений на основе их первичного ключа (или потенциальных ключей) и существующих функциональных зависимостей [2, 7,10].

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

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


Содержание  Назад  Вперед