Пример:
S<font color=red>{</font>FirstName = <font color=green>'Иван'</font>, LastName = <font color=green>'Иванов'}`Отношение {Атрибут1 = Значение1,Атрибут2 </font><font color= Значение2,...red>}`</font>
Как мы будем записывать запросы?===Примеры запросов===
Опишем переменные
`
<переменные> where <логическое выражение>
`
В логические выражения могут входить условие принадлежности, логические связки, кванторы и отрицания.
==Реляционная полнота--------------------ПроекцияA1, ..., An from R where R{A1исчисления доменов=A1, ..., An = An}
Фильтр====Проекция $\pi_{A_1, ..., A_n}(R)$====A1 $A_1$, ..., An $A_n$ <font color=blue>from </font> $R $ <font color=blue>where </font> $R$<font color=red>{A1</font>$A_1$ =A1$A_1$, ..., An $A_n$ = $A_n$<font color= Anred>} ∧ θ</font>
Переименовывание====Фильтр $σ_θ(R)$====expr as A $A_1$, ..., $A_n$ <font color=blue>from </font> $R $ <font color=blue>where </font> $R$<font color=red>{A1</font>$A_1$ =A1$A_1$, ..., An $A_n$ = $A_n$<font color= Anred>}</font> ∧ $θ$
Объединение====Переименовывание $ε_{A=expr}(R_1)$====A1 expr as A <font color=blue>from</font> $R$ <font color=blue>where</font> $R${$A_1$ = $A_1$, ..., An where R1{Ai=Ai} ∨ R2{Ai$A_n$ =Ai$A_n$}
Разность====Объединение $R_1 ∪ R_2$====A1 $A_1$, ..., An $A_n$ <font color=blue>where R1</font> $R_1$<font color=red>{Ai</font>$A_i$ = $A_i$<font color=Aired>} ∧ ¬R2</font> ∨ $R_2$<font color=red>{Ai</font>$A_i$ = $A_i$<font color=Aired>}</font>
Декартово произведение====Разность $R_1 ∖ R_2$====A1 $A_1$, ..., An, B1, ..., Bm $A_n$ <font color=blue>where R1</font> $R_1$<font color=red>{Ai</font>$A_i$ = $A_i$<font color=Aired>} </font> ∧ R2$¬R_2$<font color=red>{Bj</font>$A_i$ = $A_i$<font color=Bjred>}</font>
====Декартово произведение $R_1 × R_2$==== $A_1$, ..., $A_n$, $B_1$, ..., $B_m$ <font color=blue>where</font> $R_1$<font color=red>{</font>$A_i$ = $A_i$<font color=red>}</font> ∧ $R_2$<font color=red>{</font>$B_j$ = $B_j$<font color=red>}</font> ====Естественное соединение$R_1 ⋈ R_2$====A1 $A_1$, ..., An$A_n$, B1$B_1$, ..., Bm$B_m$, C1$C_1$, ..., Cl $C_l$ where R1$R_1$<font color=red>{Ai</font>$A_i$ =Ai$A_i$, Bj$B_j$ = $B_j$<font color=Bjred>} </font> ∧ R2$R_2$<font color=red>{Ck</font>$C_k$ =Ck$C_k$, Bj$B_j$ = $B_j$<font color=Bjred>} -</font> Исчисление доменов реляционно полно
