第3章凝结关系数据库标准语言.ppt

[例47] 查询至少选修了学生95002选修的全部课程的学生号码 查询学号为x的学生，对所有的课程y，只要95002学生选修了课程y，则x也选修了y 形式化表示： 用p表示谓词 “学生95002选修了课程y” 用q表示谓词 “学生x选修了课程y” 等价变换 不存在这样的课程y，学生95002选修了y，而学生x没有选 查询至少选修了学生95002选修的全部课程的学生号码 SELECT DISTINCT Sno FROM SC SCX WHERE NOT EXISTS (SELECT * FROM SC SCY WHERE SCY.Sno = 95002 AND NOT EXISTS (SELECT * FROM SC SCZ WHERE SCZ.Sno=SCX.Sno AND SCZ.Cno=SCY.Cno)) 综合练习 对第