Вторая нормальная форма

Первая нормальная форма

Нормальные формы отношений

Функциональные зависимости

Пусть А и В набор атрибутов. Говорят, что В функционально зависит от А, если для каждого значения А существует только одно связанное с ним значение В.

Изображение: А®В или

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

Пример:

Номер сотрудника является уникальным. С ним в отношении может появиться только определенная фамилия. Отсюда получаем функциональную зависимость:

Сном®Сфам

Каждый сотрудник является работником только одной лаборатории. Тогда если в отношении появляется комбинация 315-4КТ, то вместе с 315 никакого другого значения Лном появиться не может. Или в каждой лаборатории только один телефон. Отсюда получаем следующие функциональные зависимости:

Сном®Лном Тном®Лном

Сном®Тном Лном®Тном

Поскольку значение атрибута Вклад однозначно может быть определено, если заданы атрибуты Сном, Проект и Квартал, то

Сном, Проект, Квартал®Вклад

Полученные функциональные зависимости изображены на рис. 6.1 с помощью диаграммы функциональных зависимостей

Рис. 6.1 Диаграмма функциональных зависимостей.

Атрибут называется простым, если значение его атомарно, т.е. неделимо (пример простых атрибутов: табельный номер сотрудника, фамилия сотрудника, оклад). Атрибут называется сложным, если его значение представляет собой объединение значений различных атрибутов (на Пример: атрибут Адрес [индекс, город, улица, дом, квартира]). Отношение называется отношением в первой нормальной форме, если все его атрибуты простые. Отношение «начальник отдела» находится в первой нормальной форме.

Полная функциональная зависимость. Пусть А – это некоторый атрибут, Х – это набор атрибутов. Говорят, что А функционально полно зависит от Х, если Х ® А, Y А, где Y любое подмножество Х. Набор атрибутов Х называют детерминантом отношения. Отношение находится во второй нормальной форме, если оно находится в первой нормальной форме, и каждый неключевой атрибут функционально полно зависит от возможного ключа. Так, отношение с зависимостью Сном, Лном, Тном®Сном не находится во второй нормальной форме.