Пусть S множество функциональных зависимостей. В правило вывода неприводимого покрытия для S данное утверждение не входит.
- Среди приведенных - нет правильного.
- Привести функциональные зависимости к «справа одноэлементным».
- Для некоторой F функциональной зависимости из S, проверить если S эквивалентно {S\F}, то F можно исключить.
- Выбрать любое неприводимое множество S1 функциональных зависимостей на отношении R и постепенно расширять его до тех пор, пока не будет достигнуто S1 эквивалентно S.
- Для любого атрибута слева для некоторой функциональной зависимости из S, попробовать исключить его из ФЗ. Получим множество ФЗ S1. Проверим если S1 эквивалентно S, то данный атрибут можно исключить.
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.