В определение неприводимого множества функциональных зависимостей S данное утверждение не входит.
- Замыкание S совпадает с самим S.
- Левая часть (детерминант) любой функциональной зависимости из S неприводима слева.
- Правая – зависимая часть любой функциональной зависимости из S содержит только один атрибут.
- Ни одна из функциональных зависимостей из S не может быть опущена из S, так что замыкание S не измениться.
- Ни один атрибут не может быть опущен из детерминанта любой функциональной зависимости из S без изменения замыкания S.
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.