Полная функциональная зависимость

Атрибут Е сущности В полностью функционально зависит от ряда атрибутов А сущности Е, если и только если В функционально зависит от А и не зависит ни от какого подряда А.

Существуют следующие виды нормальных форм:

1 Первая нормальная форма (1NF). Сущность Е находится в первой нормальной форме, если и только если все атрибуты содержат только атомарные значения. Среди атрибутов не должно встречаться повторяющихся групп, т. е. нескольких значений для каждого экземпляра.

2 Вторая нормальная форма (2NF). Сущность Е находится во второй нормальной форме, если она находится в первой нормальной форме, и каждый не ключевой атрибут полностью зависит от первичного ключа, т. е. не существует зависимостей от части ключа.

3 Третья нормальная форма (3NF). Сущность Е находится в третьей нормальной форме, если она находится во второй нормальной форме, и не ключевые атрибуты сущности Е зависят от других атрибутов Е.

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

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

В модели каждая сущность или атрибут идентифицируется с помощью имени. В Erwin поддерживает корректность имен следующим образом:

- отмечает повторное использование имени сущности и атрибута;

- не позволяет внести в сущность более одного внешнего ключа;

- запрещает присвоение неуникальных имен атрибутов внутри одной модели, соблюдая правило «в одном месте - один факт».

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

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

Для приведения БД к третьей нормальной форме необходимо обеспечить отсутствие транзитивных зависимостей не ключевых атрибутов. Получим БД в третьей нормальной форме, так как транзитивных зависимостей не ключевых атрибутов нет. Из этого следует, что полученная логическая модель базы данных не изменится (рисунок 6).