四、带有EXISTS谓词的子查询.pptVIP

四、带有EXISTS谓词的子查询 不需要返回具体数据，而只关心是否有返回值，即返回逻辑真或假 例子 替换关系 一些带EXISTS或NOT EXISTS谓词的子查询不能被其他形式的子查询替换，但所有带IN谓词、比较运算符、ANY和ALL谓词的子查询都能用EXISTS谓词等价替换 全称量词 SQL语言中没有全称量词 (for all)，但可使用存在量词 进行转换后实现： 逻辑蕴函 SQL语言中的逻辑运算包括非(NOT)、与(AND)、或(OR) 而常用的逻辑运算还包括异或、等价、蕴涵等，SQL语言中没有逻辑蕴函(Implication)运算，但可利用谓词演算转换一个逻辑蕴函： 在蕴涵运算P?Q中，只有当前提为True并且结果为False的情况下逻辑蕴涵的结果为False，其余的情况下逻辑蕴涵的结果均为True。逻辑蕴涵运算的条件和结果： 例子 查询至少选修了学生95002号选修的全部课程的学生学号 该查询的逻辑蕴涵：查询学号为x的学生，对所有的课程y，只要学生95002号选修了y，则学生x也选修了y。 其语义为：不存在这样的课程y ，学生95002号选修了，而学生x 没选 例子 3.3.4 集合查询 SELECT 语句的查询结果是元组的集合，所以多个SELECT语句的查询结果可进行集合操作 集合操作运算符 并UNION, 交INTERSECT, 差MINUS(EXCEPT) 例子 查询有贷款帐户或有存款帐户的客户: (select customer-name from depositor) union (select customer-name from borrower); 查询同时有贷款帐户和存款帐户的客户: (select customer-name from depositor) intersect (select customer-name from borrower); 查询有存款帐户但没有贷款帐户的客户: (select customer-name from depositor) except (select customer-name from borrower); 说明 UNION将多个查询结果合并，并自动去掉重复元组。但系统要求参加UNION操作的各结果表的列数和对应数据类型必须相同 标准SQL中没有直接提供INTERSECT和EXCEPT操作，但可以用其他方法来实现 转换例子 例子 查询同时有贷款帐户和存款帐户的客户 查询有存款帐户但没有贷款帐户的客户 * * SELECT Sname FROM Student WHERE EXISTS (SELECT * FROM SC WHERE Sno = Student.Sno AND Cno = ‘1’); 例 查询所有选修了一号课程的学生姓名 （相关子查询） SELECT Sname FROM Student，SC WHERE SC.Sno = Student.Sno AND Cno = ‘1’); （可以用连接查询来实现） SELECT Sname FROM Student WHERE NOT EXISTS (SELECT * FROM SC WHERE Sno = Student.Sno AND Cno = ‘1’); 例 查询没有选修一号课程的学生姓名 （相关子查询） SELECT Sname FROM Student，SC WHERE SC.Sno = Student.Sno AND Cno != ‘1’); X （无法用简单的连接查询来实现） SELECT Sno, Sname, Sdept FROM Student WHERE Sdept IN (SELECT Sdept FROM Student WHERE Sname = ‘刘晨’); 例 查询与“刘晨”在同一个系学习的学生 SELECT Sno, Sname, Sdept FROM Student S1 WHERE EXISTS (SELECT * FROM Student S2 WHERE S2.Sdept = S1.Sdept AND S2.Sname = ‘刘晨’); （相关子查询） （不相关子查询） SELECT Sname FROM Student WHERE NOT EXISTS (SELECT * FROM Course WHERE NOT EXISTS (SELECT * FROM SC WHERE Sno