relational-database - 在元组微积分 DBMS 中使用通用量词

Question

询问

在这个查询中，为什么指定要排除的元组而不是要包含的元组？
我们可以编写与 -> {e.lname, e.fname|Employee(e) AND ∀x((Project(x) AND x.dnum=5) AND (∃w(WORKS_ON(w) AND w. Essn=e.Ssn AND x.Pnumber=w.Pno))}