Базы данных

Функциональные зависимости, полученные после применения правил вывода


Правило декомпозиции позволяет удалять атрибуты из правой части функйио- нальной зависимости; зависимость FD12 на 5.6 была получена путем удаления атрибута city из правой части FD4. Правило объединения позволяет комбинировать две функциональные зависимости с одинаковой левой частью; применение этого правила к FD2 и FD3 приводит к зависимости FD13. Правило псевдо- транзитивности является комбинацией правил расширения и транзитивности; по правилу присоединения — если X -> Y, то WX -> WY и если WY -> Z , то по правилу транзитивности — WX -> Z. В результате применения правила псевдотранзитивности функциональные зависимости FD6 и FD7 были объединены в функциональную зависимость FD14.

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

Комментарии закрыты