Таким образом, с помощью унарной операции проекции, мы выделили все соединимые кортежи левого исходного отношения-операнда r
(S
). Результат обозначили r
(S
) для удобства применения;
3) r
(S
) ? r
(S
) \ r
(S
);
Здесь r
(S
) — все кортежи левого исходного отношения-операнда, а r
(S
) – его же кортежи, только соединимые. Таким образом, при помощи бинарной операции разности, в отношении r
(S
) у нас получились все несоединимые кортежи левого отношения-операнда;
4) r
(S
)? {?(S
)};
{?(S
)} — это новое отношение со схемой (S
), содержащее всего один кортеж, причем составленный из Null-значений. Для удобства мы обозначили это отношение r
(S
);
5) r
(S
? S
) ? r
(S
) ? r
(S
);
Здесь мы взяли полученные в пункте три, несоединимые кортежи левого отношения-операнда (r
(S
)) и дополнили их на схеме второго отношения-операнда S
Null-значениями, т. е. декартово умножили отношение, состоящее из этих самых несоединимых кортежей на отношение r
(S
), определенное в пункте четыре;
6) r
(S1) ??
r
(S
) ? (r
?
r
) ? r