[SQL]除法双not exists语句的理解

89 阅读 0 评论 59 点赞

我是靠谱客的博主威武蛋挞，最近开发中收集的这篇文章主要介绍[SQL]除法双not exists语句的理解，觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

在关系代数中的除法的含义：

有两个关系R(X, Y)，S(Y, Z)，除法就是计算X的值是否满足R的Y是否包含S中Y的所有值。

sql中的exists运算符：

用于判断括号里的查询子句是否有记录，返回的是True或者False，如果是True，那么父查询里就会包含这条查询对应的值。

-- 代码示例
select c
from A
where exists(select * from B where A.c=B.c)

这条语句在执行时，它会从A表一行一行看下去，看B表里有没有c等于当前查询行的c，如果有，结果就包含当前查询的c。

使用双not exists运算符实现除法运算：
在sql语句中可以使用双重否定（也就是两个not exists来实现），意思就是不存在一个Y在S中没有对应的Y值。

-- 除法通用模板
select distinct R1.X	-- 选择R里的X
from R R1
where not exists(	-- 不存在这个X对应的Y值
select S.Y
from S
where not exists(	-- 这个Y值在S中没有对应的值
select *
from R R2
where R2.Y=S.Y and R1.X=R2.X	-- 这句比较关键，把R和S联系起来
)
)