Найдите неприводимое покрытие множества функциональных зависимостей S={AB–>D, B–>C, AE–>B, A–>D, D–>EF}, заданных для переменной-отношения R(A, B, C, D, E, F).
(min покрытие == ФЗ (функциональные зависимости) явл. неприводимым)
Множество ФЗ явл. неприводимым (min покрытие) тогда и только тогда, когда обладает след. свойствами:
Детерминант - левая часть. Зависимая часть - правая.
- Для любой ФЗ X->Y, Y - один элемент.
- Ни одну ФЗ нельзя удалить без изменения замыкания. (Пробуем удалить и смотрим на замыкание, поменялось?)
- Ни один атрибут не может быть удален из детирменанта без изменения замыкания
