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

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

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