2014-02-09
311
Пусть
и 
- исходные отношения, имеющие подмножество А0 общих атрибутов (определенных на одном домене),
и 
- множества значений 
и 
общих атрибутов в картежах исходных отношений,
и 
- схемы этих отношений,
и 
- их кардинальные числа,
и 
- их степени.
Тогда
соединение - 
отношение, у которого:
, при этом
схема 
,
кардинальное число 
,
а степень 
.
Следовательно, кортежи результирующего отношения образуются всевозможными парными сочетаниями кортежей исходных отношений с равными значениями общих атрибутов.
Примечание: при отсутствии общих атрибутов соединение превращается в декартово произведение.
