Изменения
→Реляционная полнота исчисления доменов
Выразим базис реляционной алгебры в терминах исчисления доменов:
'''Проекция $\pi_{A_1, ..., A_n}(R)$''' Выбираем только такие наборы значений $A_1$...$A_n$, которые есть для которых в исходном отношении Rесть кортеж, в котором атрибуты $A_1$...$A_n$ принимают значения $A_1$...$A_n$. Это важно, тк если опустить <code>where</code>, то получим декартово произведение доменов $A_1$, ..., $A_n$ <font color=blue>from</font> $R$ <font color=blue>where</font> $R$<font color=red>{</font>$A_1$ = $A_1$, ..., $A_n$ = $A_n$<font color=red>}</font>
'''Фильтр $σ_θ(R)$'''
Выбираем только такие наборы значений $A_1$...$A_n$, которые есть в исходном отношении R и удовлетворяют условию θ
$A_1$, ..., $A_n$ <font color=blue>from</font> $R$ <font color=blue>where</font> $R$<font color=red>{</font>$A_1$ = $A_1$, ..., $A_n$ = $A_n$<font color=red>}</font> ∧ $θ$
'''Переименовывание $ε_{A=expr}(R_1)$'''
Просто используем специальный синтаксис
..., $expr$ as $A$, ... <font color=blue>from</font> $R$ <font color=blue>where</font> $R${$A_1$ = $A_1$, ..., $A_n$ = $A_n$}
'''Объединение $R_1 ∪ R_2$'''
