欢迎各位兄弟 发布技术文章
这里的技术是共享的
我们先介绍下使用的3个数据表:
student数据表:
course数据表:
sc数据表:
EXISTS代表存在量词∃。带有EXISTS谓词的子查询不返回任何数据,只产生逻辑真值“true”或者逻辑假值“false”。
一个例子1.1:
要求:查询选修了课程”操作系统“的同学
SQL语句:
使用存在量词EXISTS后,若内层查询结果为非空,则外层的WHERE子句返回值为真,否则返回值为假。
在本例中,首先分析最内层的语句:
本例中的子查询的查询条件依赖于外层父查询的某个属性值(本例中的是Student的Sno值),这个相关子查询的处理过程是:
首先取外层查询中(student)表的第一个元组,根据它与内层查询相关的属性值(Sno值)处理内层查询,若外层的WHERE返回为真,则取外层查询中该元组的Sname放入结果表;
然后再取(student)表的下一组,重复这一过程,直至外层(Student)表全部检查完毕。
查询结果表:
与EXISTS谓词相对的是NOT EXISTS谓词。使用存在量词NOT EXISTS后,若对应查询结果为空,则外层的WHERE子语句返回值为真值,否则返回假值。
例子2.1:
要求:查询没有选修课程”操作系统“的同学
SQL语句:
使用NOT EXISTS之后,若内层查询结果为非空,则对应的NOT EXISTS不成立,所以对应的WHERE语句也不成立。
在例子1.1中李勇同学对应的记录符合内层的select语句的,所以返回该记录数据,但是对应的NOT EXISTS不成立,WHERE语句也不成立,表示这不是我们要查询的数据。
查询结果表:
例子2.2(这是一个用NOT EXISTS表示全称量词的例子):
要求:查询选修了全部课程的学生姓名。
SQL语句:
这个sql语句可以分为3层,最外层语句,最内层语句,中间层语句。
我们很关心最外层语句,因为结果表中的数据都是最外层的查询的表中的数据,我们更关心最内层的数据,因为最内层的数据包含了全部的判断语句,决定了student表中的那一条记录是我们查询的记录。
我们由内而外进行分析:
最外层的student表中的第一条记录是李勇同学对应的记录,然后中间层的course表的第一条记录是数据库对应的记录,然后对该数据进行判断(最内层的WHERE语句),结果返回真,则内层的NOT EXISTS为假,
然后继续对course表中的下一条记录进行判断,返现NOT EXISTS的值也为假,直到遍历完course表中的所有的数据,内层的NOT EXISTS的值一直都是假,所以中间层的WHERE语句的值也一直都是假。
对应student的李勇记录,course表中的所有的记录对应的中间层的返回值为假,所以最外层的NOT EXISTS对应的值为真,最外层的WHERE的值也为真,则李勇对应的记录符合查询条件,装入结果表中。
然后继续对student表中的下一条记录进行判断,直达student表中的所有数据都遍历完毕。
查询结果表:
有一个查询如下:
1 | SELECT c.CustomerId, CompanyName |
2 | FROM Customers c |
3 | WHERE EXISTS( |
4 | SELECT OrderID FROM Orders o |
5 | WHERE o.CustomerID = cu.CustomerID) |
这里面的EXISTS是如何运作呢?子查询返回的是OrderId字段,可是外面的查询要找的是CustomerID和CompanyName字段,这两个字段肯定不在OrderID里面啊,这是如何匹配的呢?
EXISTS用于检查子查询是否至少会返回一行数据,该子查询实际上并不返回任何数据,而是返回值True或False。
EXISTS 指定一个子查询,检测行的存在。语法:EXISTS subquery。参数 subquery 是一个受限的 SELECT 语句 (不允许有 COMPUTE 子句和 INTO 关键字)。结果类型为 Boolean,如果子查询包含行,则返回 TRUE。
这个例子在子查询中指定 NULL,并返回结果集,通过使用 EXISTS 仍取值为 TRUE。
1 | SELECT CategoryName |
2 | FROM Categories |
3 | WHERE EXISTS ( SELECT NULL ) |
4 | ORDER BY CategoryName ASC |
这个例子比较了两个语义类似的查询。第一个查询使用 EXISTS 而第二个查询使用 IN。注意两个查询返回相同的信息。
1 | SELECT DISTINCT pub_name |
2 | FROM publishers |
3 | WHERE EXISTS |
4 | ( SELECT * |
5 | FROM titles |
6 | WHERE pub_id = publishers.pub_id |
7 | AND type = 'business' ) |
1 | SELECT distinct pub_name |
2 | FROM publishers |
3 | WHERE pub_id IN |
4 | ( SELECT pub_id |
5 | FROM titles |
6 | WHERE type = 'business' ) |
本示例显示查找与出版商住在同一城市中的作者的两种查询方法:第一种方法使用 = ANY,第二种方法使用 EXISTS。注意这两种方法返回相同的信息。
1 | SELECT au_lname, au_fname |
2 | FROM authors |
3 | WHERE exists |
4 | ( SELECT * |
5 | FROM publishers |
6 | WHERE authors.city = publishers.city) |
1 | SELECT au_lname, au_fname |
2 | FROM authors |
3 | WHERE city = ANY |
4 | ( SELECT city |
5 | FROM publishers) |
本示例所示查询查找由位于以字母 B 开头的城市中的任一出版商出版的书名:
1 | SELECT title |
2 | FROM titles |
3 | WHERE EXISTS |
4 | ( SELECT * |
5 | FROM publishers |
6 | WHERE pub_id = titles.pub_id |
7 | AND city LIKE 'B%' ) |
1 | SELECT title |
2 | FROM titles |
3 | WHERE pub_id IN |
4 | ( SELECT pub_id |
5 | FROM publishers |
6 | WHERE city LIKE 'B%' ) |
NOT EXISTS 的作用与 EXISTS 正相反。如果子查询没有返回行,则满足 NOT EXISTS 中的 WHERE 子句。本示例查找不出版商业书籍的出版商的名称:
1 | SELECT pub_name |
2 | FROM publishers |
3 | WHERE NOT EXISTS |
4 | ( SELECT * |
5 | FROM titles |
6 | WHERE pub_id = publishers.pub_id |
7 | AND type = 'business' ) |
8 | ORDER BY pub_name |
又比如以下 SQL 语句:
1 | select distinct 姓名 from xs |
2 | where not exists ( |
3 | select * from kc |
4 | where not exists ( |
5 | select * from xs_kc |
6 | where 学号=xs.学号 and 课程号=kc.课程号 |
7 | ) |
把最外层的查询xs里的数据一行一行的做里层的子查询。
中间的 exists 语句只做出对上一层的返回 true 或 false,因为查询的条件都在 where 学号=xs.学号 and 课程号=kc.课程号这句话里。每一个 exists 都会有一行值。它只是告诉一层,最外层的查询条件在这里成立或都不成立,返回的时候值也一样回返回上去。直到最高层的时候如果是 true(真)就返回到结果集。为 false(假)丢弃。
1 | where not exists |
2 | select * from xs_kc |
3 | where 学号=xs.学号 and 课程号=kc.课程号 |
这个 exists 就是告诉上一层,这一行语句在我这里不成立。因为他不是最高层,所以还要继续向上返回。
select distinct 姓名 from xs where not exists (这里的 exists 语句收到上一个为 false 的值。他在判断一下,结果就是为 true(成立),由于是最高层所以就会把这行的结果(这里指的是查询条件)返回到结果集。
几个重要的点: