以初学者的角度理解:SQL实现关系除法
以初学者的角度理解:SQL实现关系除法
相信各位在学习SQL的时候,由于没有一家SQL语言提供除法命令而只能自己写一个。而网上大多就是四步骤加一个模板:
select distinct A.X
from A A1
where not exists(
select B.Y
from B
where not exists(
select *
from A A2
where A1.X = A2.X
and A2.Y = B.Y
)
)
那四个步骤又写的过于抽象~,看得一头雾水。因此笔者希望从一个初学者的角度,讲解一下关系除法的实现过程,帮助大家理解。
例子
我们举一个实例来讲解~
我们用一张SC表和Course表,其中:
SC表:
Course表:
而我们想要做的是:
查询选修了全部课程的学生姓名。
很明显我们需要做除法:
select distinct SC1.Sno
from SC SC1
where not exists(
select Course.Cno
from Course
where not exists(
select *
from SC SC2
where SC1.Sno = SC2.Sno
and SC2.Cno = Course.Cno
)
)
接下来讲解这段语句的整个过程~
具体讲解
我们先看看这两句SQL
select distinct SC1.Sno
from SC SC1
这一段,产生的结果应该是:
接下来到下一句:
where not exists()
这句话的意思很简单,就是我即将进行括号中写好的查询语句,如果查询结果为空,返回true
,否则返回false
。
这时候,我们开始where
语句,此时SC1.Sno
的值会被挨个放进where
中进行处理。
此时:
接下来进入not exists
的部分。
select Course.Cno
from Course
跟上面一样,先看看它执行出来什么效果:
接下来到下一句:
where not exists()
此时:
接下来进入下一个not exists
的部分。
select *
from SC SC2
where SC1.Sno = SC2.Sno
and SC2.Cno = Course.Cno
我们的SC表是这样子的:
我们看看当select
完之后,where
在干嘛:
where SC1.Sno = SC2.Sno
and SC2.Cno = Course.Cno
这句话的意思是:
当
SC1.Sno
与本关系中的Sno
相等且Course.Cno
与本关系中Cno
的值相等
那回头看看,我们进行的步骤,我们发现到这一步的时候,SC1.Sno = 20110001
,而Course.Cno = 001
。换言之,我们要找到符合这两个条件的元组。
不难找到:
因此
select *
from SC SC2
where SC1.Sno = SC2.Sno
and SC2.Cno = Course.Cno
返回结果集:
20110001 001 89
这时候,我们看回上一层结构:
select Course.Cno
from Course
where not exists(...)
我们成功返回了not exists
部分的结果集,因此where
处得到的结果是false
,因此Course.Cno = 001
不被加入这层结构产生的结果集。所以指针往下,Course.Cno
的数据变更:
Coures.Cno = 002
于是我们再次进入该语句:
select *
from SC SC2
where SC1.Sno = SC2.Sno
and SC2.Cno = Course.Cno
此时SC1.Sno = 20110001
,而Course.Cno = 002
。
返回结果集:
20110001 002 78
这时候,我们看回上一层结构:
select Course.Cno
from Course
where not exists(...)
我们成功返回了not exists
部分的结果集,因此where
处得到的结果是false
,因此Course.Cno = 002
不被加入这层结构产生的结果集。所以指针往下,Course.Cno
的数据变更:
Coures.Cno = 003
于是我们再次进入该语句:
select *
from SC SC2
where SC1.Sno = SC2.Sno
and SC2.Cno = Course.Cno
此时SC1.Sno = 20110001
,而Course.Cno = 003
。
返回结果集:
20110001 003 89
这时候,我们看回上一层结构:
select Course.Cno
from Course
where not exists(...)
我们成功返回了not exists
部分的结果集,因此where
处得到的结果是false
,因此Course.Cno = 002
不被加入这层结构产生的结果集。所以指针往下,Course.Cno
的数据变更:
Coures.Cno = 004
重复上述的操作,不再赘述。
我们发现,由于20110001
这位同学刚刚好都把课选了。每次我们都能从SC表中找到数据,因此
select Course.Cno
from Course
where not exists(...)
该段语句最终的结果是一个空集,没有一个数据被放进了结果集。
这时候我们再回到上一层结构:
select distinct SC1.Sno
from SC SC1
where not exists(...)
该处的not exists
中的查询语句返回的是空集,所以它返回的是true
。
也就是说,where
处得到的结果是true
。
也就是说,Sno = 20110001
被加入结果集。
我们继续分析,想要Sno
不被加入结果集:
select Course.Cno
from Course
where not exists(...)
这段语句就需要返回结果集。
也就是说这段语句not exists部分至少有一个返回true。
那么这段语句:
select *
from SC SC2
where SC1.Sno = SC2.Sno
and SC2.Cno = Course.Cno
只要元祖没有被找到(即有一门课该学生没有选),它就返回空集。
接下来一系列的连锁反应:
select Course.Cno
from Course
where not exists(...)
返回一个非空结果集
select distinct SC1.Sno
from SC SC1
where not exists(...)
由于返回的是true,所以该学生的学号不被加入结果集。
总结一下
select distinct A.X
from A A1
where not exists(
select B.Y
from B
where not exists(
select *
from A A2
where A1.X = A2.X
and A2.Y = B.Y
)
)
实际上,直观来看:
select distinct A.X
from A A1
where not exists()
这一段相当于按X分组。
select B.Y
from B
where not exists(
select *
from A A2
where A1.X = A2.X
and A2.Y = B.Y
)
这段就是分组来看,去确定在一组中,是不是有某一个数据没有没有在B.Y
中,如果有,返回没有在B.Y
中的结果
如果的确有一个数据没在其中,由于它是嵌套在not exists中的,只要它返回没有在B.Y
中的结果不是空集,就说明该组不合要求,不加入结果集。如果是空集,说明符合要求,加入结果集。
瞎说一下
我知道非常绕,静下心按流程走一走,还是看不懂可以留言喔~
以初学者的角度理解:SQL实现关系除法的更多相关文章
- 转:如何学习SQL(第二部分:从关系角度理解SQL)
转自:http://blog.163.com/mig3719@126/blog/static/285720652010950825538/ 6. 从关系角度理解SQL 6.1. 关系和表 众所周知,我 ...
- 0419如何利用关系角度看待SQL
转自http://www.open-open.com/solution/view/1389339225820 十步完全理解SQL 1. SQL 是一种声明式语言 首先要把这个概念记在脑中:“声明” ...
- 【转载】十步完全理解SQL
很多程序员视 SQL 为洪水猛兽.SQL 是一种为数不多的声明性语言,它的运行方式完全不同于我们所熟知的命令行语言.面向对象的程序语言.甚至是函数语言(尽管有些人认为 SQL 语言也是一种函数式语言) ...
- 转载文章----十步完全理解SQL
转载地址:http://blog.jobbole.com/55086/ 很多程序员视 SQL 为洪水猛兽.SQL 是一种为数不多的声明性语言,它的运行方式完全不同于我们所熟知的命令行语言.面向对象的程 ...
- 十步完全理解SQL
转载于:http://blog.jobbole.com/55086/ 很多程序员视 SQL 为洪水猛兽.SQL 是一种为数不多的声明性语言,它的运行方式完全不同于我们所熟知的命令行语言.面向对象的程序 ...
- [转]十步完全理解SQL
原文地址:http://blog.jobbole.com/55086/ 很多程序员视 SQL 为洪水猛兽.SQL 是一种为数不多的声明性语言,它的运行方式完全不同于我们所熟知的命令行语言.面向对象的程 ...
- 十步完全理解 SQL(转载)
英文出处:Lukas Eder. 很多程序员视 SQL 为洪水猛兽.SQL 是一种为数不多的声明性语言,它的运行方式完全不同于我们所熟知的命令行语言.面向对象的程序语言.甚至是函数语言(尽管有些人认为 ...
- 经典:十步完全理解 SQL
经典:十步完全理解 SQL 来源:伯乐在线 链接:http://blog.jobbole.com/55086/ 很多程序员视 SQL 为洪水猛兽.SQL 是一种为数不多的声明性语言,它的运行方式完 ...
- 简单十步让你全面理解SQL
很多程序员认为SQL是一头难以驯服的野兽.它是为数不多的声明性语言之一,也因为这样,其展示了完全不同于其他的表现形式.命令式语言. 面向对象语言甚至函数式编程语言(虽然有些人觉得SQL 还是有些类似功 ...
随机推荐
- JS设置GridView中的RadioButton只能选中一个
//JS&JQuery $(document).ready(function () { //点击跳转链接返回浏览器历史的上一个页面 $("#btnBack").click( ...
- mybatis学习——properties属性实现引用配置文件
Mybatis核心配置文件中有很多的配置项,配置文档的顶层结构如下: *注意:配置项的顺序不能颠倒,如果颠倒了它们的顺序,在MyBatis的自启动阶段会发生异常,导致程序无法运行. propertie ...
- .NET平台系列27:在 Linux 上安装 .NET Core/.NET5/.NET6
系列目录 [已更新最新开发文章,点击查看详细] .NET 在不同的 Linux 发行版上可用. 大多数 Linux 平台和发行版每年都有一个主要版本,并提供用于安装 .NET 的包管理器. 本 ...
- 『动善时』JMeter基础 — 44、JMeter对数据库的更新操作
目录 1.执行一条insert语句 2.insert语句实现参数化 3.一次执行多条insert语句 4.使用Beanshell生成加密数据示例 (1)测试计划内包含的元件 (2)JDBC连接配置组件 ...
- Django(65)jwt认证原理
前言 带着问题学习是最有目的性的,我们先提出以下几个问题,看看通过这篇博客的讲解,能解决问题吗? 什么是JWT? 为什么要用JWT?它有什么优势? JWT的认证流程是怎样的? JWT的工作原理? 我们 ...
- Django(68)drf分页器的使用
前言 当后台返回的数据过多时,我们就要配置分页器,比如一页最多只能展示10条等等,drf中默认配置了3个分页面 PageNumberPagination:基础分页器,性能略差 LimitOffsetP ...
- Vue——v-for动态绑定id的问题
问题:在Vue中,会遇到许多个多选框,倘若数量很庞大那么一个一个input框.label节点寻找,这样操作很繁琐. 直接上解决方案吧: html页面: <ul v-for="(item ...
- 【题解】Luogu p3047 [USACO12FEB]附近的牛Nearby Cows 树型dp
题目描述 Farmer John has noticed that his cows often move between nearby fields. Taking this into accoun ...
- Golang去除字符串前后空格
Golang去除字符串前后空格 实现Demo package main import "fmt" func DeletePreAndSufSpace(str string) str ...
- 20204107 孙嘉临 《PYTHON程序设计》实验四报告
课程:<Python程序设计>班级: 2041姓名: 孙嘉临学号: 20204107实验教师:王志强实验日期:2020年6月29日必修/选修: 公选课 ##作为一个轻度游戏玩家,当然是要写 ...