sql语言exists语句的使用

《sql语言exists语句的使用》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、数据库技术与应用袁宝库yuanbaoku@bupt.edu.cn带有EXISTS谓词的子查询(续）1.EXISTS谓词存在量词带有EXISTS谓词的子查询不返回任何数据，只产生逻辑真值“true”或逻辑假值“false”。若内层查询结果非空，则外层的WHERE子句返回真值若内层查询结果为空，则外层的WHERE子句返回假值由EXISTS引出的子查询，其目标列表达式通常都用*，因为带EXISTS的子查询只返回真值或假值，给出列名无实际意义2.NOTEXISTS谓词若内层查询结果非空，则外层的WHERE子句返回假值若内层查询结果为空，则外层的WHERE子句返回真值带有EXISTS谓词的子查询

2、(续）查询所有选修了1号课程的学生姓名。思路分析：本查询涉及Student和SC关系在Student中依次取每个元组的Sno值，用此值去检查SC关系若SC中存在这样的元组，其Sno值等于此Student.Sno值，并且其Cno='1'，则取此Student.Sname送入结果关系带有EXISTS谓词的子查询(续）用嵌套查询SELECTSnameFROMStudentWHEREEXISTS(SELECT*FROMSCWHERESno=Student.SnoANDCno='1')；带有EXISTS谓词的子查询(续）查询没有选修1号课程的学生姓名。SELECTSnameFROMStudentW

3、HERENOTEXISTS(SELECT*FROMSCWHERESno=Student.SnoANDCno='1')；带有EXISTS谓词的子查询(续）不同形式的查询间的替换一些带EXISTS或NOTEXISTS谓词的子查询不能被其他形式的子查询等价替换所有带IN谓词、比较运算符、ANY和ALL谓词的子查询都能用带EXISTS谓词的子查询等价替换用EXISTS/NOTEXISTS实现全称量词(难点)SQL语言中没有全称量词（Forall）可以把带有全称量词的谓词转换为等价的带有存在量词的谓词：(x)P≡(x(P))带有EXISTS谓词的子查询(续）例：查询与“刘晨”在同一个系学

4、习的学生。可以用带EXISTS谓词的子查询替换：SELECTSno，Sname，SdeptFROMStudentS1WHEREEXISTS(SELECT*FROMStudentS2WHERES2.Sdept=S1.SdeptANDS2.Sname=‘刘晨’)；带有EXISTS谓词的子查询(续）查询选修了全部课程的学生姓名。SELECTSnameFROMStudentWHERENOTEXISTS（SELECT*FROMCourseWHERENOTEXISTS(SELECT*FROMSCWHERESno=Student.SnoANDCno=Course.Cno））；带有EXISTS谓词的子查

5、询(续）用EXISTS/NOTEXISTS实现逻辑蕴函(难点)SQL语言中没有蕴函(Implication)逻辑运算可以利用谓词演算将逻辑蕴函谓词等价转换为：pq≡p∨q带有EXISTS谓词的子查询(续）[例47]查询至少选修了学生200215122选修的全部课程的学生号码。解题思路：用逻辑蕴函表达：查询学号为x的学生，对所有的课程y，只要200215122学生选修了课程y，则x也选修了y。形式化表示：用P表示谓词“学生200215122选修了课程y”用q表示谓词“学生x选修了课程y”则上述查询为:(y)pq带有EXISTS谓词的子查询(续）等价变换：(y)pq≡(y(

6、(pq))≡(y((p∨q)))≡y(p∧q)变换后语义：不存在这样的课程y，学生200215122选修了y，而学生x没有选。带有EXISTS谓词的子查询(续）用NOTEXISTS谓词表示：SELECTDISTINCTSnoFROMSCSCXWHERENOTEXISTS(SELECT*FROMSCSCYWHERESCY.Sno='200215122'ANDNOTEXISTS(SELECT*FROMSCSCZWHERESCZ.Sno=SCX.SnoANDSCZ.Cno=SCY.Cno))；