查询至少选修了学生200215122选修的全部课程的学生号码

最新推荐文章于 2021-04-12 11:20:36 发布

三千越甲可吞吴、

最新推荐文章于 2021-04-12 11:20:36 发布

阅读量4.1k

点赞数 2

分类专栏：数据库文章标签：数据库 exists 逻辑蕴含

本文链接：https://blog.csdn.net/qq_42717239/article/details/105455155

版权

数据库专栏收录该内容

8 篇文章 2 订阅

订阅专栏

知识点：用exists和not exists实现逻辑蕴含

select distinct Sno
from SC x
where not exists(select *
				 from SC y
				 where y.Sno='200215122' and not exists(select *
				 										from SC z
				 										where z.Sno=x.Sno and z.Cno=y.Cno));

理解：1->2->3
1、找到一类学生，最低条件为必须选修了学号为200215122学生的全部课程，此外，还可以选修其他课程
2、只要是学号为200215122学生选修的课，该类学生都选修了
3、在该类学生中，不存在这样的学生，对于一门课程，学号为200215122的学生选修了，而他没有选修（双重否定表示肯定）

还可以通过谓词逻辑的转换来理解