带有exists谓词的子查询

带有exists谓词的子查询

1.概念：EXISTS代表存在量词，带有exist关键字的子查询不返回任何的数据，只产生逻辑真值true，或者逻辑假值false。
2. 查询过程：将父查询的值依次代入子查询中进行比较，若满足条件，即为逻辑真，则将此结果送入结果表中显示。
3. 等价形式：一般可以用连接查询进行替换。
4. 优点：查询效率一般高于连接查询，因为连接查询需要先生成一个虚拟表， 然后筛选。
5. 缺点：查询语句较为复杂，没有连接查询简洁。
6. 全称量词与存在量词的替换：可以通过集合的角度推到表达式，然后查询语句。