嵌套查询

一个SELECT-FROM-WHERE语句称为一个查询块。

嵌套查询：将一个查询块嵌套在另一个查询块的WHERE子句或者HAVING短语的条件中的查询。

注：子查询的SELECT语句中不能使用ORDER BY子句，ORDER BY子句只能对最终查询结果排序。

 

1.带有IN谓词的子查询：

子查询往往是一个集合。

查询与jason在同一个系的学生：

SELECT Sno,Sname,Sdept FROM Student WHERE Sdept IN
(SELECT Sdept FROM Student WHERE Sname='jason');

子查询的查询条件不依赖于父查询，成称为不相关子查询。

子查询的查询条件依赖于父查询，成称为相关子查询。

 

查询选修了DB_Design的学生学好和姓名。

SELECT Sno,Sname FROM Student WHERE Sno IN
(SELECT Sno FROM SC WHERE Cno IN
(SELECT Cno FROM Course WHERE Cname='DB_Design')
);

 

2.带有比较运算符的子查询：

当用户确切知道内层查询返回的是单个值时，可以用>、<、=、>=、<=、!=(<>)等比较运算符。

 

SELECT Sno,Sname,Sdept FROM Student WHERE Sdept=
(SELECT Sdept FROM Student WHERE Sname='jason'); 
SELECT Sno,Cno FROM SC x WHERE Grade>=
(SELECT AVG(Grade) FROM SC y WHERE y.Sno=x.Sno);  (相关子查询)

 

3.带有ANY(SOME)或ALL谓词的子查询：

子查询返回单值时可以用比较运算符，但返回多值时要用ANY(有的系统用SOME)或ALL谓词修饰符。使用ANY或ALL也必须同时使用比较运算符。

>ANY   ：  大于子查询结果中的某个值

>ALL    ：  大于子查询结果中的所有值

=ANY   ：   等于子查询结果中的某个值

 

查询非计算机系中比计算机系任意一个学生年龄小的学生姓名和年龄。

SELECT Sname,Sage FROM Student
WHERE Sage<ANY(SELECT Sage FROM Student WHERE Sdept='CS') AND Sdept!='CS';
可使用聚集函数，且效率更高：
SELECT Sname,Sage FROM Student
WHERE Sage<
(SELECT MAX(Sage) FROM Student WHERE Sdept='CS')
AND Sdept!='CS';

 

 4.带有EXISTS谓词的子查询：

EXISTS代表存在量词∃。带有EXISTS谓词的子查询不返回任何数据，只产生逻辑值true或者false。

查询所有选修了1001课程的学生姓名。
SELECT Sname FROM Student WHERE EXISTS
(SELECT * FROM Sc WHERE Student.Sno=Sc.Sno AND Cno='1001');查询没有选修1001课程的学生姓名。
SELECT Sname FROM Student WHERE NOT EXISTS
(SELECT * FROM Sc WHERE Student.Sno=Sc.Sno AND Cno='1001');

 

一些带EXISTS或NOT EXISTS谓词的子查询不能被其他形式的子查询代替，但所有带IN谓词、比较运算符、ANY和ALL谓词的子查询都能用到EXISTS谓词的子查询代替。

 

 

SQL中没有全称量词，全称量词用存在量词表示。

●查询选修了全部课程的学生姓名。（有点绕）
SELECT Sname FROM Student WHERE NOT EXISTS(
SELECT * FROM Course WHERE NOT EXISTS(
SELECT * FROM Sc WHERE Student.Sno=Sc.Sno AND Course.Cno=Sc.Cno)); 
SQL中没有蕴含逻辑运算 p→q=¬p∨q
●查询至少选修了学生2016002选修的全部课程的学生号码。
 
SELECT DISTINCT Sno FROM SC SCX WHERE NOT EXISTS(
SELECT * FROM SC SCY WHERE SCY.Sno='2016002' AND NOT EXISTS (
SELECT * FROM SC SCZ WHERE SCZ.Sno=SCX.Sno AND SCZ.Cno=SCY.Cno));