Условное соединение общего вида |c для отношений R и S выражается так:
Условие c обычно относится как к атрибутам R, так и к атрибутам S. Например, операция соединения может использоваться для формирования запроса названий тех стран, количество жителей которых превышает численность населения Мексики (см. таблицу 3.5).
1. R = ?Name, Pop(Country).
2. S = R. (S – полная копия отношения R).
3. Построим векторное произведение R x S. Схема отношения R x S выглядит так:
4. Применим условие: количество жителей страны в отношении S превышает численность населения Мексики.
.