SQL Server中NOT EXISTS实现除法查询的逻辑疑问

核心误区：关联子查询 vs 独立子查询 #

你单独执行的子查询和原查询里的内层子查询完全不是一回事——你执行的是无关联的独立子查询，而原查询里的是关联子查询，会针对外层的每个BILL记录单独计算结果，不是只返回一个固定的空集。

原查询的逐行执行逻辑 #

原查询的本质是：找出所有账单，不存在任何一款新加坡商品是该账单没买过的（等价于“该账单买了所有新加坡商品”）。我们逐个看每个账单的计算过程：

1. 账单A：

   • 内层子查询要找「新加坡商品中，账单A没买过的」。新加坡商品是ID1（Singapore）、ID3（Singapor），而RECEIPT里A买了ID1和ID3，所以这个子查询返回空集。
   • NOT EXISTS(空集)的结果是TRUE，所以A被选中。

2. 账单B：

   • 内层子查询找「新加坡商品中，账单B没买过的」。B只买了ID1，没买ID3，所以子查询返回ID3这条记录。
   • NOT EXISTS(非空集)的结果是FALSE，所以B被排除。

3. 账单C：

   • 内层子查询找「新加坡商品中，账单C没买过的」。C只买了ID3，没买ID1，所以子查询返回ID1这条记录。
   • NOT EXISTS(非空集)的结果是FALSE，所以C被排除。

你单独执行的子查询为什么是空集 #

你执行的语句是找「没有被任何账单购买过的新加坡商品」：

SELECT * FROM PRODUCT P
WHERE COUNTRY='Singagpore' and not exists(
SELECT * FROM RECEIPT R
WHERE  P.ID=R.IDPRO)

但ID1被账单A买了，ID3被账单A和C买了，所以确实没有符合条件的商品，返回空集。但这个逻辑和原查询无关——原查询是针对单个账单检查“该账单没买的新加坡商品”，而不是“所有账单都没买的新加坡商品”。

双重NOT EXISTS实现除法查询的逻辑 #

这是关系型数据库里实现除法查询的经典写法：

• 需求是「找出所有包含Y集合全部元素的X集合记录」（这里X是账单，Y是新加坡商品）
• 转化为逻辑就是：对于X中的每个记录，不存在Y中的元素，是X没有关联的
• 用双重NOT EXISTS就是把这个逻辑直接翻译成SQL，外层NOT EXISTS确保“没有遗漏的Y元素”，内层NOT EXISTS检查“当前X是否没关联该Y元素”。

内容的提问来源于stack exchange，提问作者Nguyễn Duy San