T-SQL语言讲义.ppt

带有EXISTS谓词的子查询(续) [例15]：查询与“张红”在同一个系学习的学生。可以用带EXISTS谓词的子查询替换： SELECT Sno,Sname,Sdept FROM Student S1 WHERE EXISTS (SELECT * FROM Student S2 WHERE S2.Sdept = S1.Sdept AND S2.Sname =张红) 带有EXISTS谓词的子查询(不讲) 5.用EXISTS/NOT EXISTS实现全称量词(难点) SQL语言中没有全称量词? （For all） 可以把带有全称量词的谓词转换为等价的带有存在量词的谓词： (?x)P ≡ ? (? x(? P)) 带有EXISTS谓词的子查询(续) [例16] 查询选修了全部课程的学生姓名。 SELECT Sname FROM Student WHERE NOT EXISTS (SELECT * FROM Course WHERE NOT EXISTS (SELECT * FROM SC WHERE SC.Sno= Student.Sno AND Cno= Course.Cno)) 带有EXISTS谓词的子查询(不讲) 6. 用EXISTS/NOT EXISTS实现逻辑蕴函(难点) SQL语言中没有蕴函(Implication)逻辑运算 可以利用谓词演算将逻辑蕴函谓词等价转换为： p ? q ≡ ? p∨q 带有EXISTS谓词的子查询(续） [例17] 查询至少选修了学修的全部课程的学生号码。 解题思路： 用逻辑蕴函表达：查询学号为x的学生，对所有的课程y，只生选修了课程y，则x也选修了y。 形式化表示： 用P表示谓词 “学修了课程y” 用q表示谓词 “学生x选修了课程y” 则上述查询为: (?y) p ? q 带有EXISTS谓词的子查询(续） 等价变换： (?y)p ? q ≡ ? (?y (?(p ? q )) ≡ ? (?y (?(? p∨ q) ≡ ? ?y(p∧?q) 变换后语义：不存在这样的课程y，学修了y，而学生x没有选。 带有EXISTS谓词的子查询(续）? 用NOT EXISTS谓词表示： SELECT DISTINCT Sno FROM SC SCX WHERE NOT EXISTS (SELECT * FROM SC SCY WHERE SCY.Sno = AND NOT EXISTS (SELECT * FROM SC SCZ WHERE SCZ.Sno=SCX.Sno AND SCZ.Cno=SCY.Cno)) ★集合查询 标准SQL直接支持的集合操作种类 并操作(UNION) 一般商用数据库支持的集合操作种类 并操作(UNION) 交操作(INTERSECT) 差操作(MINUS) 1． 并操作 形式 查询块 UNION 查询块 参加UNION操作的各结果表的列数必须相同；对应项的数据类型也必须相同 并操作（续） [例18] 查询计算机科学系的学生及年龄不大于19岁的学生的学号和姓名。 方法一： SELECT SNO,SNAME FROM Student WHERE Sdept= CS UNION SELECT SNO,SNAME FROM Student WHERE Sage=19 并操作（续） 方法二： SELECT SNO,SNAME FROM Student WHERE