Аксиомы вывода функциональных зависимостей

Для отношения

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

Требуется выявить семейство F-зависимостей

, которому удовлетворяют все допустимые состояния. Чтобы найти , необходимы семантические знания об отношении . Поэтому можно считать семейство F-зависимостей заданным в схеме отношения. В этом случае любое отношение  должно удовлетворять всем F-зависимостям из . Не всегда ясно, что является первичным: множество допустимых состояний отношения, которое определяет F-зависимости, или F-зависимости накладывают ограничения на схему отношения [10].

Множество функциональных зависимостей, применимых к отношению

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

Если известны некоторые F-зависимости из

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

Множество F-зависимостей

 влечет за собой зависимость, если каждое отношение, удовлетворяющее всем зависимостям в F, удовлетворяет также зависимости.

Аксиома вывода – это правило, устанавливающее, что если отношение удовлетворяет определенным F-зависимостям, то оно должно удовлетворять и некоторым другим F-зависимостям.

Сформулировано шесть аксиом вывода F-зависимостей [10]. В этих формулировках используется обозначение r для отношения на

 и , ,  и  – для подмножеств .

Fl. Рефлексивность.

.

F2. Пополнение.

 влечет за собой .

F3. Аддитивность.

 и  влечет за собой .

F4. Проективность.

влечет за собой.

F5. Транзитивность.

 и  влечет за собой .

F6. Псевдотранзитивность.

  и  влечет за собой .

Некоторые аксиомы вывода могут быть получены из других. Например, транзитивность F5 является частным случаем псевдотранзитивности F6 при

.

Приведенная система аксиом F1-F6 является полной. Это означает, что каждая F-зависимость, которая следует из множества Р, может быть выведена путем одно- или многократного применения к F этих аксиом.

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

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

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

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

Тогда:







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

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

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

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

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

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

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



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

В теории реляционных баз данных разработано несколько нормальных форм (НФ), которые подчиняются правилу вложенности (рис. 2.25).

-я нормальная форма не обладает некоторыми недостатками, свойственным -й нормальной форме. Общий смысл дополнительного условия, налагаемого на -ю нормальную форму по отношению к -й нормальной форме, состоит в исключении этих недостатков.

При реализации реляционной БД важно понимать, что только удовлетворение требований первой нормальной формы (1НФ) обязательно для создания отношений приемлемого качества. Все остальные формы могут использоваться по желанию проектировщика. Однако чтобы избежать аномалий обновления, описываемых ниже, нормализацию рекомендуется проводить как минимум до 3НФ.


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

---

---