Выявление зависимостей между атрибутами

Построение информационно-вычислительных сетей коллективного пользования

Данная модель строится с точки зрения обработки информации и принятия решений по её обработки, хранению и передачи. [12]

Выявление зависимостей между атрибутами необходимо для выполнения проектирования БД методом нормальных форм, рассматриваемого далее.

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

Пример. Пусть задано отношение R со схемой R ( AL1, А», А3) и числовыми значениями, приведенными в таблице :

Таблица 1

В R существуют функциональные зависимости:

А1→А2 и А2→А3

Анализируя это отношение, можно увидеть, что в нем существуют еще зависимости:

А1→А3, А1А2→А3, А1А2А3→А1А2

А1А2→А2А3 и т.п.

В то же время в отношении нет других функциональных зависимостей, что во введенных нами обозначениях можно отразить следующим образом:

А2 − →А1, А3 − →А1 и т.д.

Отсутствие зависимости А1 от А2 (А →А1) объясняется тем, что одному и тому же значению атрибута А2(21) соответствуют разные значения атрибута А1 (12 и 17). Другими словами, имеет место многозначность, а не функциональность.

Существуют 8 основных аксиом вывода: рефлексивности, пополнения, транзитивности, расширения, продолжения, продолжения, псевдотранзитивности, объединения и декомпозиции.

Пример. Выявим зависимости между атрибутами отношения ПРЕПОДАВАТЕЛЬ (рис.1.), приведенного на рисунке. При этом учтем следующее условие, которое выполняется в данном отношении: один преподаватель в одной группе может проводить один вид занятий.

ФИО→Должн.

Стаж→Д.Стаж

Оклад→Должн

ФИО,Предм.Группа→ВидЗан Рис.1.

Нами не были выделены зависимости между атрибутами ФИО, Предм и Группа, поскольку они образуют составной ключ и не учитываются в процессе нормализации исходного отношения.