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