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

       

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


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

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

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

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

Тогда:

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


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


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


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

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

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

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

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

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

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


Содержание раздела