是《数据库系统基础(第6版)》里的一个案例(P150):Q3:对于部门编号为5的部门所负责的所有项目,列出为这些项目工作的雇员的姓名。答案是:{ e.Lname, e.Fname| EMPLOYEE(e) AND (
(∨​x) (NOT (PROJECT(x)) 
OR NOT (x.Dnum=5)
OR (
(Ew) (WORKS_ON(w) AND w.Essn=e.Ssn AND x.Pnumber=w.Pno)
))}不解