Q-соединение
Пусть
и 
- исходные отношения, которые не имеют общих атрибутов, но имеют сравнимые атрибуты 
и 
,
и 
- схемы этих отношений,
и 
- их кардинальные числа,
и 
- их степени.
- множество бинарных операций для сравнимых атрибутов.
Тогда
Q-соединение 
- отношение, все кортежи которого удовлетворяют условию 
, причем у результирующего отношения:
схема 
(объединение схем),
кардинальное число 
,
а степень 
.