![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Полная функциональная зависимость
Атрибут Е сущности В полностью функционально зависит от ряда атрибутов А сущности Е, если и только если В функционально зависит от А и не зависит ни от какого подряда А. Существуют следующие виды нормальных форм: 1 Первая нормальная форма (1NF). Сущность Е находится в первой нормальной форме, если и только если все атрибуты содержат только атомарные значения. Среди атрибутов не должно встречаться повторяющихся групп, т. е. нескольких значений для каждого экземпляра. 2 Вторая нормальная форма (2NF). Сущность Е находится во второй нормальной форме, если она находится в первой нормальной форме, и каждый не ключевой атрибут полностью зависит от первичного ключа, т. е. не существует зависимостей от части ключа. 3 Третья нормальная форма (3NF). Сущность Е находится в третьей нормальной форме, если она находится во второй нормальной форме, и не ключевые атрибуты сущности Е зависят от других атрибутов Е. После третьей нормальной формы существуют нормальная форма Бойсса-Кодда, четвертая и пятая нормальные формы. На практике ограничиваются приведением к третьей нормальной форме. Часто после проведения нормализации все взаимосвязи данных становятся правильно определены, модель данных становится легче поддерживать. Однако нормализация не ведет к повышению производительности системы в целом, поэтому при создании физической модели в целях повышения производительности приходится сознательно отходить от нормальных форм, чтобы использовать возможности конкретного компьютера. Такой процесс называется денормализацией. Erwin обеспечивает только поддержку нормализации, но не содержит в себе алгоритмов, автоматически преобразующих модель данных из одной формы в другую. Erwin поддерживает первую нормальную форму. В модели каждая сущность или атрибут идентифицируется с помощью имени. В Erwin поддерживает корректность имен следующим образом: - отмечает повторное использование имени сущности и атрибута; - не позволяет внести в сущность более одного внешнего ключа; - запрещает присвоение неуникальных имен атрибутов внутри одной модели, соблюдая правило «в одном месте - один факт». Теперь нормализуем полученную базу данных до третьей нормальной формы. Для приведения базы данных в первую нормальную форму необходимо выполнить условие, при котором все атрибуты содержат атомарные значения. Рассматривая все сущности БД можно убедиться, что все атрибуты содержат атомарные значения и, следовательно, БД находится в первой нормальной форме. Проверим соответствие БД второй нормальной форме. Все не ключевые атрибуты полностью должны зависеть от первичного ключа. Это условие выполняется для всех сущностей БД, следовательно, делаем вывод о том, что она находится уже и во второй нормальной форме. Для приведения БД к третьей нормальной форме необходимо обеспечить отсутствие транзитивных зависимостей не ключевых атрибутов. Получим БД в третьей нормальной форме, так как транзитивных зависимостей не ключевых атрибутов нет. Из этого следует, что полученная логическая модель базы данных не изменится (рисунок 6).
|