Множество функциональных зависимостей называется неприводимым тогда и только тогда, когда
правая часть каждой функциональной зависимости из множества S содержит только один атрибут | левая часть каждой функциональной зависимости из множества S является неприводимой | правая часть каждой функциональной зависимости из множества S содержит несколько атрибутов |
ни одна функциональная зависимость из множества S не может быть удалена из множества S без преобразования множества S в некоторое иное множество, не эквивалентное множеству S | левая часть каждой функциональной зависимости из множества S содержит несколько атрибутов | левая и правая части каждой функциональной зависимости содержат несколько атрибутов |
правая часть каждой функциональной зависимости из множества S является неприводимой |