Примеры
1. Неприводимые наборы ФЗ.
Код_товара ® Наименование
Код_товара ® ЦВЕТ
Код_товара ® ВЕС
Код_товара ® ГОРОД
Ни одна из ФЗ не может быть опущена без изменения замыкания (т.е. без утраты некоторой информации).
2. ФЗ, которые не являются неприводимыми.
1. Код_товара ® (Наименование, ЦВЕТ) правая часть состоит из двух элементов
Код_товара ® ВЕС
Код_товара ® ГОРОД
2. (Код_товара, Наименование) ® ЦВЕТ эту зависимость можно упростить устранением Наименование в левой части без изменения замыкания.
Код_товара ® Наименование
Код_товара ® ВЕС
Код_товара ® ГОРОД
Теперь можно сделать утверждение, что для каждого множества ФЗ существует, по крайней мере, одно эквивалентное множество ФЗ, которое является неприводимым.
Пример.
Пусть дано отношение R с атрибутами А, В, С, D и следующими ФЗ:
А® BC
B ® C
A ® B
AB ® C
AC ® D
Найдем неприводимое множество ФЗ, эквивалентное данному множеству.
Прежде всего, следует переписать ФЗ таким образом, чтобы каждая из них имела одноэлементную правую часть.
А® B
A ® C
B ® C
A ® B
AB ® C
AC ® D
1. Одну зависимость А® B можно удалить.
2. Атрибут С может быть опущен в левой части зависимости AC ® D, поскольку дана зависимость A ® C и с помощью дополнения можно получить A ® АC, а так как дана AC ® D, то и с помощью транзитивности можно получить A ® D.
3. AB ® C можно исключить, поскольку дана зависимость A ® C, и с помощью дополнения имеем AB ® CВ, а с учетом декомпозиции - AB ® C.
4. A ® C подразумевает зависимости А® B и B ® C, так что она также может быть устранена.
В результате получим:
А® B
B ® C
A ® D
Таким образом, с тем же успехом в системе вместо исходного множества зависимостей S может быть использовано его неприводимое множество зависимостей.
Глава 4. Нормализация
Нормализация – это формальный метод анализа отношений на основе их первичных или потенциальных ключей и существующих функциональных зависимостей между атрибутами этих отношений.
В реляционной модели переменная-отношение, согласно определению, всегда нормализована, но не в достаточной степени, чтобы быть неуязвимой по отношению к аномалиям обновления. Поэтому в процессе нормализации к переменным отношений последовательно применяется ряд правил, чтобы вся база данных достигла желаемой степени нормализации.
Наиболее удобной формой демонстрации взаимосвязи между разными нормальными формами является схематическое изображение процесса нормализации.
В настоящее время пятую нормальную форму (5НФ) можно считать "окончательной" формой, и поэтому графическая картина взаимосвязи форм будет иметь следующий вид:
Рис. 4.1. Взаимосвязи между отдельными нормальными формами
Как видно из рисунка 4.1, все отношения находятся в первой нормализованной форме (1НФ). Некоторые 1НФ отношения находятся в 2НФ и некоторые 2НФ в 3НФ и т.д. При проектировании БД производится перевод отношений из одной НФ в другую, более желательную нормальную форму. Процедура перевода отношений к более желательным формам должна быть обратима, т.е. выполнение обратного преобразования должно проходить без потерь, т.к. в процессе нормализации информация не должна утрачиваться.