Изменения
→Идентификаторы всех студентов
===Примеры запросов===
=====Идентификаторы всех студентов=====
Запишем запрос для получения идентификаторов всех студентов. Можно представлять это так: единственная свободная переменная SId пробегает все возможные значения из домена (все возможные идентификаторы студентов), а в результирующее отношение попадают только те её значения, для которых реально существовал такой студент.
SId <font color=blue>where</font> S<font color=red>{</font>SId = SId<font color=red>}</font>
=====Идентификаторы студентов, не сдавших курс с CId=10=====
SId <font color=blue>where</font> ¬∃Points (Points ≥ 60 ∧ Points<font color=red>{</font>SId = SId, Points = Points, CId = 10<font color=red>}</font>)
