1.EXISTS
EXISTS代表存在量词∃。带有EXISTS谓词的子查询不返回任何数据,只产生逻辑真值“true”或者逻辑假值“false”。
如果子查询中有数据就返回为true,没有数据就返回为false,举例:
select s.sid from student s where exists (select * from sc c where s.sid = c.sid);
子查询中使用父查询中的字段,先从取外层查询的表中的一条字段,进入内层查询,循环完内层的表后或者查找到条件符合的返回true,取父查询的下一条字段,再进入内层循环中查找,直到外层查询中的字段循环完毕。相当于两层for循环。
2.NOT EXISTS
与EXISTS谓词相对的是NOT EXISTS谓词。使用存在量词NOT EXISTS后,若对应查询结果为空,则外层的WHERE子语句返回值为真值,否则返回假值。
SELECT Sname FROM student
WHERE NOT EXISTS
(SELECT * FROM sc,course WHERE Sno=student.Sno AND sc.Cno=course.Cno AND course.Cname="操作系统")
3.理解
使用EXISTS和NOT EXISTS的时候,父查询中只有一个表,子查询中可以有多个表,如果外层循环有多个表,条件控制不好的话,输出的内容和自己预想的会有差错;其次是为了限制查询到自己想要的结果,在子查询中使用父查询中的字段,不然和没有使用这两个存在量词没有区别。