Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Править]Неприводимые множества зависимостей



Пусть и — некоторые множества функциональных зависимостей.

· Если любая функциональная зависимость из входит и в , то называют покрытием множества функциональных зависимостей .

· Если — покрытие для , а — для (то есть ), то такие множества называются эквивалентными.

· Множество функциональных зависимостей называется неприводимым тогда и только тогда, когда выполняются следующие условия:

· В каждой функциональной зависимости зависимая часть содержит только один элемент;

· Детерминант каждой функциональной зависимости является неприводимым (ни один атрибут не может быть удален из детерминанта без изменения замыкания );

· Ни одну функциональную зависимость из нельзя исключить без изменения замыкания .

· Для любого множества функциональных зависимостей существует по крайней мере одно эквивалентное множество, которое является неприводимым. Такое эквивалентное множество называется неприводимым покрытием.





Дата публикования: 2015-10-09; Прочитано: 169 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2025 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.005 с)...