数据库not exists 运算符

写在前边

u1s1，这个符号真挺屎的吧，看起来简洁，但是给阅读带来很多障碍，要不是学校数据库课将这个，还考这个，真不想看这个。
这里的图片和例子都是来自b站up-四姨夫-的视频BV19K411x7hS中的，感谢，让我数据库也是混到了90。

exists

exists用于判断查询子句是否有记录 若有一条或多条记录存在，则返回true，否则返回false 只要找到一个符合条件的元组，则直接返回true，具有短路效果

not exists

用于判断查询子句是否有记录 若有一个或多个记录存在，则返回false，否则返回true 需要遍历全部的元组，若全不符合条件，才返回true，若有一个或多个符合条件，则返回true

一个经典的例子

数据库的查询语句的执行过程 1. 找到from后的表 2. 对表中的所有元组进行遍历，判断where是否成立，选中成立的元祖 3. 进行select

#查询选修了所有课程的学生对于上边这个两个notexists的语句notexists，不存在，所有都不满足条件，查询结构为空，返回true，否则返回selectSnamefromStudentwherenotexists(select*fromCoursewherenotexists(select*fromSCwhereSno=Student.SnoandCno=Course.Cno));这样一个三重嵌套查询，相当于三次for循环 最外层，遍历Student表中的所有元组 中间层，遍历Course表中的所有元组 最内层，遍历SC表中的所有元组 对与1Course SC表这个过程，11SC111，这个就满足条件，则内层的notexists返回false12SC121，不满足122，满足，内层的notexists返回false13SC131，不满足132，不满足133，满足，内层的notexists返回false三个都是false，则外层的notexists返回true若内层的notexists，其子查询为空，即一个都不满足，则返回true，（有一个学生有一门课没选） 对于外层，notexists，有一个true，则直接返回false，表示这个学生不符合要求