Зависимости соединения.

Определение 5. Пусть является отношением, а , , …, - произвольными (возможно пересекающимися) подмножествами множества атрибутов отношения . Тогда отношение удовлетворяет зависимости соединения

тогда и только тогда, когда оно равносильно соединению всех своих проекций с подмножествами атрибутов , , …, , т.е.

.

Определение 6. Зависимость соединения называется нетривиальной зависимостью соединения, если выполняется два условия:

· Одно из множеств атрибутов не содержит потенциального ключа отношения .

· Ни одно из множеств атрибутов не совпадает со всем множеством атрибутов отношения .

Для удобства работы сформулируем это определение так же и в отрицательной форме:

Определение 7. Зависимость соединения называется тривиальной зависимостью соединения, если выполняется одно из условий:

· Либо все множества атрибутов содержат потенциальный ключ отношения .

· Либо одно из множеств атрибутов совпадает со всем множеством атрибутов отношения .