Курсовая работа по дисциплине "Базы данных"
Проверка отношений на завершающей фазе их проектирования
жүктеу/скачать 0,72 Mb. Pdf көрінісі
|
DB teory
- Бұл бет үшін навигация:
- 1.5.2. Формальные алгоритмы нормализации
- Определение 1.
- Определение 2.
| Проверка отношений на завершающей фазе их проектирования.
1. Составляются списки ФЗ для каждого отношения. Эти списки проверяются по двум направлениям: а. одна и та же ФЗ не должна появляться более чем в одном отношении; б. итоговый набор ФЗ должен в точности совпадать с набором из минимального покрытия (или может быть выведен из него). 2. Осуществляется проверка на присутствие избыточных отношений. Отношение является избыточным, если: а. все атрибуты в избыточном отношении могут быть найдены в одном другом отношении проектного набора; б. все атрибуты в избыточном отношении могут быть найдены в отношении, полученным из других отношении с помощью серии JOIN-операции (соединения). Если устанавливается избыточность отношения, его следует исключить из проектированного набора. Пример избыточности вида 2 а: R1 (А, В) R2 (В, С, Y, Z) R3 (А, В, К): R1 – избыточно, так как все его атрибуты входят в отношение R3. Пример избыточности вида 2 б: R1 (А, С, X) R3 (D, К, F) R5 (D, E, G, Н) R7 (А, В, D) R8 (А, В, Е, G): отношение R8 избыточно, так как может быть получено из объединения отношений R7 и R5 R7 INNER JOIN R5 = R(A,B,D,E,G,H) 1.5.2. Формальные алгоритмы нормализации Если модель предметной области достаточно сложная, то переход от концептуальной модели к логической проще выполнить с использованием математического аппарата нормальных форм. Формальные методы построения минимального покрытия множества ФЗ основываются на понятиях замыкания множества атрибутов относительно множества ФЗ, эквивалентности множеств и кольцевых покрытиях множества ФЗ. Определение 1. Замыканием F + множества функциональных зависимостей F, определенных на множестве атрибутов U, называется множество всех ФЗ, которые могут быть получены из F с помощью аксиом вывода. Определение 2. Замыканием X относительно F , называется множество A всех атрибутов из U (A U), таких, что, зависимость X A может быть выведена из F. Обозначение жүктеу/скачать 0,72 Mb. Достарыңызбен бөлісу:
|