Пусть S множество функциональных зависимостей. В правило вывода неприводимого покрытия для S данное утверждение не входит.

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

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.