462
правки
Изменения
→Отличия от реляционной алгебры
Соответсвующий запрос в терминах исчисления кортежей (S {{---}} Students, G {{---}} Groups):
<font color = blue>select</font> S<font color = grey>.</font>SId <font color = blue>from</font> S <font color = blue>where $\exists$</font>G <font color = grey>(</font>S<font color = grey>.</font>GId <font color = grey>=</font> G<font color = grey>.</font>GId <font color = blue>∧</font> G<font color = grey>.</font>Name <font color = grey>=</font> <font color = green>'M34371'</font><font color = grey>)</font>
То есть, не указываем, как конкретно собираемся исполнять запрос, а описали, какие студенты нас интересуют.
