Реляционная алгебра: операции над множествами

В этом разделе будут описаны операции над множествами в рамках реляционной алгебры. В соответствии с определением, для каждой операции указывается способ построения заголовка, тела отношения, а так же условий применимости, если такие есть.

Простые операции

Из теории множеств а реляционную алгебру естественным образом переходят операции:

• [math]R_1 \cup R_2[/math] — объединение;
• [math]R_1 \cap R_2[/math] — пересечение;
• [math]R_1 \setminus R_2[/math] — разность.

Эти операции по определению применимы только к отношениям с одинаковыми заголовками. В результате получается отношение с таким же заголовком и телом, полученным в соответствии с множественной операцией.

Примеры

TODO: примеры и иллюстрации