Минимальное множество функциональных зависимостей
После того как
было определено множество функциональных
зависимостей для отношения, необходимо
определить минимальное множество
функциональных зависимостей. Для этого
необходимо воспользоваться эквивалентностью
множеств функциональных зависимостей.
Множество функциональных зависимостей
Y покрывается множеством функциональных
зависимостей X, если каждая функциональная
зависимость во множестве У может быть
выведена из X.
Множество
функциональных зависимостей X является
минимальным, если оно удовлетворяет
следующим ус ловили.
1. Каждая зависимость
в X имеет единственный атрибут в правой
части.
2. Ни одну зависимость
А—>В в X нельзя заменить зависимостью
С—>В, где С является собственным
подмножеством А, и получить в результате
множество зависимостей, эквивалентное
X.
3. Из множества X
нельзя удалить ни одной зависимости и
получить в результате множество
зависимостей, эквивалентное X.
