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