Базы данных: конспект лекций

ОглавлениеДобавить в закладки К обложке

r1(S1) →× Pr2(S2) ≔ (r1 × Pr2) ∪ [(r1 \ (r1 × Pr2) [S1]) × {∅(S2)}];

2) операция правого внешнего соединения определяется подобным образом операции левого внешнего соединения и имеет следующий вид:

r1(S1) →× Pr2(S2) ≔ (r1 × Pr2) ∪ [(r2 \ (r1 × Pr2) [S2]) × {∅(S1)}];

Эти две производные операции имеют всего два свойства, достойные упоминания.

1. Свойство коммутативности:

1) для операции левого внешнего соединения:

r1(S1) →× Pr2(S2) ≠ r2(S2) →× Pr1(S1);

2) для операции правого внешнего соединения:

r1(S1) ←× Pr2(S2) ≠ r2(S2) ←× Pr1(S1)

Итак, мы видим, что свойство коммутативности не выполняется для этих операций в общем виде, но при этом операции левого и правого внешнего соединения взаимно обратны друг другу, т. е. выполняется:

1) для операции левого внешнего соединения:

r1(S1) →× Pr2(S2) = r2(S2) →× Pr1(S1);

2) для операции правого внешнего соединения:

r1(S1) ←× Pr2(S2) = r2(S2) ←× Pr1(S1).

2. Основным свойством операций левого и правого внешнего соединения является то, что они позволяют восстановить исходное отношение-операнд по конечному результату той или иной операции соединения, т. е. выполняются:

1) для операции левого внешнего соединения:

r1(S1) = (r1 →× Pr2) [S1];

2) для операции правого внешнего соединения:

r2(S2) = (r1 ←× Pr2) [S2].

Таким образом, мы видим, что первое исходное отношение-операнд можно восстановить из результата операции левого правого соединения, а если конкретнее, то применением к результату этого соединения (r1 × r2) унарной операции проекции на схему S1, [S1].


Логин
Пароль
Запомнить меня