数据库系统概论第四版chp32.pptVIP

带有EXISTS谓词的子查询(续） 不同形式的查询间的替换 一些带EXISTS或NOT EXISTS谓词的子查询不能被其他形式的子查询等价替换 所有带IN谓词、比较运算符、ANY和ALL谓词的子查询都能用带EXISTS谓词的子查询等价替换 用EXISTS/NOT EXISTS实现全称量词(难点) SQL语言中没有全称量词? （For all） 可以把带有全称量词的谓词转换为等价的带有存在量词的谓词： (?x)P ≡ ? (? x(? P)) An Introduction to Database System 带有EXISTS谓词的子查询(续） 例：[例39]查询与“刘晨”在同一个系学习的学生。 可以用带EXISTS谓词的子查询替换： SELECT Sno，Sname，Sdept FROM Student S1 WHERE EXISTS 　 (SELECT * FROM Student S2 WHERE S2.Sdept = S1.Sdept AND S2.Sname = ‘刘晨’)； An Introduction to D