Изменения
→Идентификаторы студентов, не сдавших курс с CId=10
=====Идентификаторы студентов, не сдавших курс с 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>)
