数据库有查询有四种运算:选择、投影、连接、除运算;而NOT EXISTS关键字则是基于除运算的查询。
例如:
SC表(Sno是学生号,Cno是课程号)
+-----------+-----+-------+
| Sno | Cno | Grade |
+-----------+-----+-------+
| 201215121 | 1 | 92 |
| 201215121 | 2 | 85 |
| 201215121 | 3 | 88 |
| 201215122 | 2 | 90 |
| 201215122 | 3 | 80 |
+-----------+-----+-------+
Student表
+-----------+--------+------+------+-------+
| Sno | Sname | Ssex | Sage | Sdept |
+-----------+--------+------+------+-------+
| 201215121 | 李勇 | 男 | 20 | CS |
| 201215122 | 刘晨 | 女 | 19 | CS |
| 201215123 | 王敏 | 女 | 18 | MA |
| 201215125 | 张立 | 男 | 19 | IS |
+-----------+--------+------+------+-------+
Course表
+-----+--------------+------+---------+
| Cno | Cname | Cpno | Ccredit |
+-----+--------------+------+---------+
| 1 | 数据库 | 5 | 4 |
| 2 | 数学 | NULL | 2 |
| 3 | 信息系统 | 1 | 4 |
| 4 | 操作系统 | 6 | 3 |
| 5 | 数据结构 | 7 | 4 |
| 6 | 数据处理 | NULL | 2 |
| 7 | PASCAL语言 | 6 | 4 |
+-----+--------------+------+---------+
一. 查询选修了全部课程的学生的姓名。
此时,查询涉及到三个表。查询方式如下:
select Sname
from Student
where not exists // (1)没有一门课程他没选的 (对于某个Sname)
(
select *
from Course
where not exists // (2)一门课程他没选的。(对于某个Cno)
(
select *
from SC
where Sno=Student.Sno and Cno=Course.Cno
)
);
因为,题目的意思也就是:
没有
一门课程他没有选的。
可以将这个句子看成两部分,所以:
最外层查询:
没有 就是代表不存在,也就是说,对于Student,就是为了寻找符合 <没有> 这个条件的Sname;好的,这个语句的一部分工作完成了,接下来写子语句的时候就不再考虑 <没有> 条件。
第一层子查询:
现在开始考虑 <一门课程他没选的> , 也就是说,现在的工作是:子查询试图努力找出一门他没选的课程;即是,对于某个Cno ,不存在 .... (然后开始第二层子查询)。
第二层子查询:
这个时候,又是对第一层查询的否定了,这时候意思是:
对于从第二层查询迭代来的Cno , 看有没有与内层Cno相等的;且,Sno=Student.Sno。
Sno=Student.Sno作用:
图.1 Sno=Student.Sno作用
二.查询至少选修了学生201215122选修的全部课程的学生号码。
此时,查询只涉及SC表。
即是:对于符合条件的y,不存在一门课程,201215122选了,而y学生没有选。
select DISTINCT Sno
from SC s1
where not exists // 不存在
(
select *
from SC s2
where s2.Sno='201215122' and not exists // 201215122选了,y学生没有选(对于被20121522选了的Cno)
(
select *
from SC s3
where s1.Sno=s3.Sno and s3.Cno=s2.Cno
)
);
此处的s1.Sno=s3.Sno 的作用和图.1一样。