Теорема фейджина (другая формулировка)

Теорема Фейджина (другая формулировка)

. Отношение тогда и только тогда, когда имеется многозначная зависимость

Т.к. теорема Фейджина является взаимно обратной, то ее можно взять в качестве определения многозначной зависимости. Таким образом, многозначная зависимость является частным случаем зависимости соединения, т.е., если в отношении имеется многозначная зависимость, то имеется и зависимость соединения. Обратное, конечно, неверно.