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

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

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

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

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

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

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

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

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