带有EXISTS谓词的子查询

带有EXISTS谓词的子查询不返回任何数据，只产生逻辑真值“true”或逻辑假值“false”.

1、查询所有选修了1号课程的学生姓名。

本查询涉及Student和SC表。可以在Student中一次取每个元组的Sno值，用此值去检查SC表。若SC中存在这样的元组，其Sno值等于此Student.Sno值，并且其Cno='1',则取此Student.Sname送入结果表。

SELECT Sname FROM Student WHERE EXISTS(SELECT * FROM SC WHERE Sno=Student.Sno AND Cno='1')

使用存在量词EXISTS后，若内层查询结果非空，则外层的WHERE子句返回真值，否则返回假值。

由EXISTS引出的子查询，其目标列表达式通常都用*，因为带EXISTS的子查询只返回真值或假值，给出列名无实际意义。

本例中子查询的查询条件依赖于外层父查询的某个属性值（Student的Sno值），因此也是相关子查询。

这个相关子查询的处理过程是：首先取外层查询中（Student）表的第一个元组，根据他与内层查询相关的属性值（Sno值）处理内层查询。若WHERE子句返回值为真，则取外层查询中该元组的Sname放入结果表；然后再取（Student）表的下一个元组，重复这一过程，直至外层（Student）表全部检查完为止。