sql语言exists语句的使用.pptVIP

数据库技术与应用 袁宝库 yuanbaoku@bupt.edu.cn 带有 EXISTS 谓词的子查询 ( 续） ? 1. EXISTS 谓词 ? 存在量词 ? ? 带有 EXISTS 谓词的子查询不返回任何数据，只产生逻辑真 值“ true” 或逻辑假值“ false” 。 ? 若内层查询结果非空，则外层的 WHERE 子句返回真值 ? 若内层查询结果为空，则外层的 WHERE 子句返回假值 由 EXISTS 引出的子查询，其目标列表达式通常都用 * ，因 为带 EXISTS 的子查询只返回真值或假值，给出列名无实际 意义 ? 2. NOT EXISTS 谓词 ? ? 若内层查询结果非空，则外层的 WHERE 子句返回假值 ? 若内层查询结果为空，则外层的 WHERE 子句返回真值 带有 EXISTS 谓词的子查询 ( 续） 查询所有选修了 1 号课程的学生姓名。 思路分析： ? 本查询涉及 Student 和 SC 关系 在 Student 中依次取每个元组的 Sno 值，用此值去检查 SC 关 系 若 SC 中存在这样的元组，其 Sno 值等于此 Student.Sno 值， 并且其 Cno= 1 ，则取此 Student.Sname 送入结果关系 ? ? 带有 EXISTS 谓词的子查询 ( 续） ? 用嵌套查询 SELECT Sname FROM Student WHERE EXISTS (SELECT * FROM SC WHERE Sno= Student.Sno AND Cno= 1 ) ； 带有 EXISTS 谓词的子查询 ( 续） 查询没有选修 1 号课程的学生姓名。 SELECT Sname FROM Student WHERE NOT EXISTS (SELECT * FROM SC WHERE Sno = Student. Sno AND Cno=1) ； 带有 EXISTS 谓词的子查询 ( 续） ? 不同形式的查询间的替换 ? 一些带 EXISTS 或 NOT EXISTS 谓词的子查询不能被其他形式 的子查询等价替换 所有带 IN 谓词、比较运算符、 ANY 和 ALL 谓词的子查询都能用 带 EXISTS 谓词的子查询等价替换 ? ? 用 EXISTS/NOT EXISTS 实现全称量词 ( 难点 ) SQL 语言中没有全称量词 ? （ For all ） 可以把带有全称量词的谓词转换为等价的带有存在量词的谓词： ( ? x)P ≡ ? ( ? x( ? P)) 带有 EXISTS 谓词的子查询 ( 续） 例：查询与“刘晨”在同一个系学习的学生。 可以用带 EXISTS 谓词的子查询替换： SELECT Sno ， Sname ， Sdept FROM Student S1 WHERE EXISTS (SELECT * FROM Student S2 WHERE S2.Sdept = S1.Sdept AND S2.Sname = ‘ 刘晨 ) ； 带有 EXISTS 谓词的子查询 ( 续） 查询选修了全部课程的学生姓名。 SELECT Sname FROM Student WHERE NOT EXISTS （ SELECT * FROM Course WHERE NOT EXISTS (SELECT * FROM SC WHERE Sno= Student.Sno AND Cno= Course.Cno ） ）； 带有 EXISTS 谓词的子查询 ( 续） 用 EXISTS/NOT EXISTS 实现逻辑蕴函 ( 难点 ) ? SQL 语言中没有蕴函 (Implication) 逻辑运算 ? 可以利用谓词演算将逻辑蕴函谓词等价转换为： p ? q ≡ ? p ∨ q 带有 EXISTS 谓词的子查询 ( 续） [ 例 47] 查询至少选修了学生 200215122 选修的全部课程 的学生号码。 解题思路： ? 用逻辑蕴函表达：查询学号为 x 的学生，对所有的课程 y ，只 要 200215122 学生选修了课程 y ，则 x 也选修了 y 。 形式化表示： 用 P 表示谓词 “学生 200215122 选修了课程 y” 用 q 表示谓词 “学生 x 选修了课程 y” 则上述查询为 : ( ? y) p ? q ?