Q-соединение

Пусть

и - исходные отношения, которые не имеют общих атрибутов, но имеют сравнимые атрибуты и ,

и - схемы этих отношений,

и - их кардинальные числа,

и - их степени.

- множество бинарных операций для сравнимых атрибутов.

Тогда

Q-соединение - отношение, все кортежи которого удовлетворяют условию , причем у результирующего отношения:

схема (объединение схем),

кардинальное число ,

а степень .