Введение в системы управления базами данных
возможно пересекающимися) подмножествами множества атрибутов
Определение 5
. Пусть
, 
- произвольными ( возможно пересекающимися) подмножествами множества атрибутов отношения 
удовлетворяет зависимости соединения
тогда и только тогда, когда оно равносильно соединению всех своих проекций с подмножествами атрибутов 
, …, 
Можно предположить, что отношение 
Утверждать, что это именно так мы пока не можем, т.к. определение зависимости соединения должно выполняться для любого состояния отношения 
Покажем, что зависимость соединения является обобщением понятия многозначной зависимости. Действительно, согласно теореме Фейджина, отношение 
и 
. Согласно определению зависимости соединения, теорема Фейджина может быть переформулирована следующим образом:
