SQL 没有全称量词∀，但可以用命题逻辑的等价公式把带有全称量词的谓词转换为等价的带存在量词的谓词:(∀x) P=¬(∃x)(¬ P)
例：查询选修了所有课程的学生姓名（Sname）和所在系别编号（Dno）
由于没有全称量词，可将题目的意思转换成等价的用存在量词的形式：查询这样的学生，没有一门课程是他不选修的。其SQL语句为
select Sname,Dno
from Students
where not exists
(select *
from Courses
where not exists
(select *
from Reports
where Sno=Students.Sno
and Cno=Courses.Cno))
