![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Пусть и
— некоторые множества функциональных зависимостей.
· Если любая функциональная зависимость из входит и в
, то
называют покрытием множества функциональных зависимостей
.
· Если — покрытие для
, а
— для
(то есть
), то такие множества называются эквивалентными.
· Множество функциональных зависимостей называется неприводимым тогда и только тогда, когда выполняются следующие условия:
· В каждой функциональной зависимости зависимая часть содержит только один элемент;
· Детерминант каждой функциональной зависимости является неприводимым (ни один атрибут не может быть удален из детерминанта без изменения замыкания );
· Ни одну функциональную зависимость из нельзя исключить без изменения замыкания
.
· Для любого множества функциональных зависимостей существует по крайней мере одно эквивалентное множество, которое является неприводимым. Такое эквивалентное множество называется неприводимым покрытием.
Дата публикования: 2015-10-09; Прочитано: 169 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!