Курсовая работа по дисциплине "Базы данных"


Проверка отношений на завершающей фазе их проектирования



Pdf көрінісі
бет5/28
Дата01.11.2022
өлшемі0,72 Mb.
#46817
1   2   3   4   5   6   7   8   9   ...   28
Байланысты:
DB teory

Проверка отношений на завершающей фазе их проектирования. 
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. 
Обозначение 


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   28




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет