[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联系起来
	)
)