SELECT SN
FROM S
WHERE NOT EXISTS(SELECT *
FROM C
WHERE NOT EXISTS(SELECT *
FROM SC
WHERE SNO = S.SNO AND CNO = C.CNO))
今天在看数据库的时候遇到这个问题
想了很久,脑子越想越乱。。。
连续两个NOT EXISTS,怎么就出来了选修了全部课程的学生呢?
然后翻到大神的文章,感谢!
现在懂了
---------------------------------------------------原文如下------------------------------------------------------------------
首先头脑中有三点概念:
1. EXISTS 子查询找到的提交
NOT EXISTS 子查询中 找不到的提交
说明:不要去翻译为存在和不存在,把脑袋搞晕。
2. 建立程序循环的概念,这是一个动态的查询过程。如 FOR循环 。
3. Exists执行的流程Exists首先执行外层查询,再执行内存查询,与IN相反。流程为首先取出外层中的第一元组,再执行内层查询,
将外层表的第一元组代入,若内层查询为真,即有结果时。返回外层表中的第一元 组,接着取出第二元组,执行相同的算法。一直到扫描完外层整表 。
for(int i =0; i<>EOFout;i++)
{
for (int j = 0 ; j<EOFint,j++)
}
然后再来看一个例子: 三张表 学生表student (Sno,Sname), 课程表course (Cno,Cname) 选课表SC(Sno,Cno)
要求查询出 :选修了全部课程的学生姓名
我的思路:
首先学生的选课信息存在于SC表中, 要想知道某个学生是否选修了全部课程,至少我们需要知道一共有
几门课程,这是首要的条件。其次,学生选修了与否,我们又要扫描SC全表,统计出选修了所有课程的
学生号,最后在STUDENT表中根据学生号打出姓名 。
语句如下: (已测试)
select Sname from student
where Sno IN
(select Sno from SC
group by Sno //根据Sno分组,统计每个学生选修了几门课程。如果等于course的总数,就是我们要找的Sno
having count(*) = (select count(*) from course )) //统计course中共有几门课程
另一种思路:
引入:将题目换为 查找学号为 00003 没有选修的科目
思路:我们可以将已知学号代入,把每一个科目代入(循环),这将形成1*count(*)种组合。
将这组成作为条件,一一与SC表种进行比对,找不到匹配的我们提交 。
select Cname from course where
not exists //找不到的组合,提交course
(select * from SC where course.cno = SC.cno and sno = ''00003'')
//在SC中匹配
换个题目: 查找没有 没有选修科目的学生姓名
思路:学号未知 , 科目未知,说明有两个未知变量。应该有两个EXISTS。我们可以扫描
student 和 course共有 s * c 中组合,将这些组合与SC的每一项进行匹配,注意s*c组合已经包含所
有可能。如果全部找到 ,就说明已经选修了全部课程。找不到就说明有课程没选修 。再将没选修的的提交给上一exists 循环 。若上一exists 不存在的再提交给外循环。
select Sname from student
where NOT exists //
(select * from course
where NOT exists //不存在的提交给course
(select * from SC where
Sno = student.sno and cno = Course.Cno)) // 代入两个未知变量
回头看,就是我们第一个引出的题目: 选修了全部课程的学生姓名
最后详细回答你的问题:数据库SQL语句中 查询选修了全部课程的学生的学号和姓
查询选修了全部课程的学生姓名。
SELECT Sname
FROM Student
WHERE NOT EXISTS
(SELECT *
FROM Course
WHERE NOT EXISTS
(SELECT *
FROM SC
WHERE Sno= Student.Sno
AND Cno= Course.Cno);
理解如下: 查询选修了全部课程的学生姓名。
不用管怎么样,第一个select 必定是在 student 表里选 sname 既:
SELECT Sname
FROM Student
加上条件即: where
条件是什么呢? 条件就是: 查询选修了全部课程的
因为没有(任意一个)谓词,只能用 EXISTS 或者 NOT EXISTS 来表示。这点理解吧?
所以要把条件翻译成 : 不存在一门课程这个学生没有选修.
where后面就是 不存在(NOT EXISTS) (
一门课程这个学生没有选修
)
接下来就是把Course表中的课程依次拿出来找出没有选修的
怎么找呢? 因为 NOT EXISTS 子查询中找不到的提交
另外你要明白 NOT EXISTS 查询都是相关查询
所以只要把 在最后一个select 中
WHERE Sno= Student.Sno AND Cno= Course.Cno);
就是将这个同学通过 SC 表 和 Crouse的 课程连接一遍,找到连接不上的,即: 没有选修的, 这样就找到了一门课这个学生没有选修, 存在没有选修的课,那么该学生被pass掉了,一次进行一个同学的判断 。
若你学过程序编程,可以看下面的内容, 若没有则可忽略。
上述是理解是数据库系统内部的实现,可以用for循环表示
for(i=1; i<student.length( 学生的总人数); i++){
for(i=j;j<Crouse.length(总的课门数); j++){
条件就是:
没有一门课没有选修
}
}
最后你找记住
1. 第一个select 就是 你要选的就是 学生
SELECT Sname
FROM Student
2. 第二个 select 就是 课程
3. 第三个select 就是 学生和课程发生关系的表 SC选修表
让他们连接起来
固定的模式 1 你要的结果的表 学生
2 满足条件的表 课程表
3 产生关系的表 选修表
where 通过选修表把他们连接起来
============================
查询select----存在量词查询
exists代表存在量词ョ,该查询结果没有值,只有逻辑值真true和逻辑假false两个值。
ex41:查询所有选修了001课程的学生名单
select sname
from student a
where exists (
select *
from sc b
where a.sno=b.sno and cno='001')
ex42:查询没有选修了001课程的学生名单
select sname
from student a
where not exists (
select *
from sc b
where a.sno=b.sno and cno='001')
ex43:查询选修了所有课程的学生名单。
由于SQL中没有全称量词,可以这样理解:查询这样的学生,没有一门课程他没有选
select sname
from student a
where not exists (
select *
from course b
where not exists (
select *
from sc c
where a.sno=c.sno and c.cno=b.cno))
注意:SQL没有蕴涵谓词,可以使用等价变换进行转换
p→q ≡ ┑p∨q
ex43:查询至少选修了学生95002选修的全部课程的学生名单。
将查询进行变换:
p表示的谓词:95002选修了课程y
q表示的谓词:学生x选修了课程y
该查询转换为:( y)p→q
进一步转换:( y)p→q ≡
┑(ョy( ┑(p→q))) ≡ ┑(ョy( ┑(┑p∨q)))
≡ ┑ョy(p∧q) 德模根定律
它所表达的含义为:不存在这样的课程y,95002选修了y而x没有选,SQL语句如下:
select sname,sno
from student a
where sno <> '95002' and not exists (
select *
from sc b
where sno='95002' and not exists (
select *
from sc c
where a.sno=c.sno and c.cno=b.cno))
Student:学生表
Course:课程表
SC:学生选课表
SELECT Sname FROM Student
## 第一层子查询
WHERE NOT EXISTS(
SELECT * FROM Course
## 第二层子查询
WHERE NOT EXISTS(
SELECT * FROM SC
WHERE SC.Sno = Student.Sno AND SC.Cno = Course.Cno
)
);
可以看到SQL语句中用了两次EXISTS子查询,造成了理解的困难。
使用 EXISTS 关键字引入一个子查询时,就相当于进行一次存在测试。外部查询的 WHERE 子句测试子查询返回的行是否存在。子查询实际上不产生任何数据;它只返回 TRUE 或 FALSE 值。
所以,我们可以将子查询转为如下的代码去理解:
SELECT XXX FROM TABLE WHERE EXISTS YYY; =>
if (YYY)
return SELECT(XXX);
NOT EXISTS 反过来理解就好了。
所以,查询选修了全部课程的学生姓名的SQL语句理解,我们可以从最里层往外去剖析:
查询选课表中与学生表中的学号和课程表中的课程号相等的数据,通俗的含义是:查询学生表中每个学生对于课程表中的课程的选课数据,这样查询的意义在于,万一选课表中有的学生不在学生表中或者有的课程不在课程表中呢?所以现在我们真正得到了每个学生的选课数据。
SELECT * FROM SC
WHERE SC.Sno = Student.Sno AND SC.Cno = Course.Cno
扩大代码往外看,灵活地把两层 NOT EXISTS 子查询理解为找不到或不存在。
SELECT Sname FROM Student
SELECT Sname FROM Student
## 第一层子查询
WHERE NOT EXISTS(
SELECT * FROM Course
## 第二层子查询
WHERE NOT EXISTS(
SELECT * FROM SC
WHERE SC.Sno = Student.Sno AND SC.Cno = Course.Cno
)
);
逐层翻译成人话就是:
1:从学生表查出学生姓名
4、5:找不到课程
8、9:不在学生选课表中
连起来就是,查出那些,不存在课程不在学生选课表中的学生的名字。
————————————————
版权声明:本文为CSDN博主「J.Feng」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/JF_2020/article/details/127826293
EXISTS:查询有结果则返回真值,查询为空则返回false。
NOT EXISTS:查询有结果返回false,查询为空返回true。
Exists执行的流程Exists首先执行外层查询,再执行内存查询,与IN相反。
假设:
课程总共有 语文,数学,英语三门课程。
现在有学生:张三:选修了语文,数学,没有选择英语。
李四:三门课全都选修了。
开始查询:
一、首先从Student表中选出 张三 所在元组(也就是张三所在行),接着依次从Course表取出三门课程,
1、首先取出语文课满足"Sno=Student.Sno AND Cno=Course.Cno"条件,即查询到了结果,则第2个NOT EXISTS返回结果false,第1个WHERE收到false,不执行任何操作。
2、接着判断数学,同样满足,第一个WHERE不执行任何操作。
3、最后拿出英语,"SELECT * FROM SC WHERE Sno=Student.Sno AND Cno=Course.Cno"语句查询不到结果,则第2个NOT EXISTS返回ture,第1个WHERE收到true,
则将结果(也就是英语课程)放入结果表,也就是"SELECT * FROM Course"结果不为空, 第一个NOT EXISTS返回false,那么张三就不会被放进第一个查询的结果表,即张三没有被选中。
二、从Student表中选出 李四 所在元组,接着依次从Course表取出三门课程,
因为李四三门课全都选修了,取出的三门课都满足"Sno=Student.Sno AND Cno=Course.Cno"条件,即查询到了结果,则第2个NOT EXISTS都返回结果false,第1个WHERE收到false,都不执行任何操作。
最后循环结束时,"SELECT * FROM Course"没有任何结果,即没有一门课被加入第二个查询结果表中,结果为空,则第一个NOT EXISTS返回true,所以李四被放进第一个查询的结果表。得到选修全部课程的学生-李四。
主要思想:将“选修了所有课程的学生”转化为“没有一门课程不选修的学生”。查询到该学生存在没有选修的课程,
则该学生不会被放入结果集中。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)