1.(NOT) EXISTS解决的问题：集合基数测试（集合是否为空；集合是否存在重复元组）

 

2.EXISTS or NOT EXISTS 子查询语法

　　（1）[ not ]  Exists (子查询)

　　（2）语义：查询结果中有无元组存在

 

3.举例

　　（1）检索选修了赵星老师主讲课程的所有同学的姓名

　　　　

　　（2）

 

　　（3）

 

　　（4）

 

　　（5）