对于SQL中EXISTS谓词的理解

在SQL语言中，EXISTS（存在）谓词是一个非常重要的查询关键词。
带有EXISTS谓词的子查询不返回任何数据，只产生逻辑真值“true”或逻辑假值“false”。
例如：

FROM student
WHERE exists
(
SELECT *
  FROM sc
  WHERE sc.sno=student.sno AND cno='1;
)
在这里插入代码片

本查询涉及表student和sc表。我们可以这样理解上面的SQL语句做的事情：在student表中从头到尾每次取一个元组出来，用这个元组的sno与sc表所有的元组做比较，如果比较条件成立（sc表中存在sno值等于student.sno中值并且其cno='1’的元组），即exists语句中的SQL语句有返回值过来，则EXISTS返回给上一级元组一个true值，则表示允许现在student表中的这个元组可以放入结果表中。

我是这样理解的：
一、写带有EXISTS查询的子句时，首先子查询中必须要有依赖父查询的条件，即我们单独把子查询的select语句提出来不能正常运行；
二、每次查询时父查询表中的一个元组对子查询所有的元组进行判定，如果为true则父查询中的这个元组允许放入结果表，否则进行父查询下一个元组的判定。