第3章的关系数据库标准语言SQL.pptVIP

带有EXISTS谓词的子查询(续） [例47] 查询至少选修了学生95002选修的全部课程的学生号码。 解题思路： 用逻辑蕴函表达：查询学号为x的学生，对所有的课程y，只要95002学生选修了课程y，则x也选修了y。 形式化表示： 用P表示谓词 “学生95002选修了课程y” 用q表示谓词 “学生x选修了课程y” 则上述查询为: (?y) p ? q * 信息工程学院.计算机系 带有EXISTS谓词的子查询(续） 等价变换： (?y)p ? q ≡ ? (?y (?(p ? q )) ≡ ? (?y (?(? p∨ q) ≡ ? ?y(p∧?q) 变换后语义：不存在这样的课程y，学生95002选修了y，而学生x没有选。 * 信息工程学院.计算机系 带有EXISTS谓词的子查询(续）? 用NOT EXISTS谓词表示： SELECT DISTINCT Sno FROM SC SCX WHERE NOT EXISTS (SELECT * FROM SC SCY WHERE SCY.Sno = 95002 AND