为何SQL中EXISTS与NOT EXISTS查询买自行车未买头盔客户结果不同？

核心逻辑差异 #

你的需求是筛选购买过自行车，且从未购买过头盔的客户，两个查询的逻辑完全不匹配：

• 正确的NOT EXISTS查询：先锁定买过自行车的客户，再排除所有有头盔购买记录的人，精准命中需求。
• 错误的EXISTS + NOT LIKE查询：锁定买过自行车的客户后，只要该客户有任意一条非头盔的购买记录（比如自行车本身）就会被选中，哪怕他同时买过头盔，也会被包含进结果。

具体查询逻辑拆解 #

正确查询（NOT EXISTS） #

SELECT DISTINCT(o.customerid) 
FROM salesordersexample.order_details od
JOIN salesordersexample.products p ON od.productnumber = p.productnumber
JOIN salesordersexample.categories c ON c.categoryid = p.categoryid
JOIN salesordersexample.orders o ON od.ordernumber = o.ordernumber 
WHERE NOT EXISTS
(
    SELECT DISTINCT(o2.customerid) 
    FROM salesordersexample.order_details od2
    JOIN salesordersexample.products p2 ON od2.productnumber = p2.productnumber
    JOIN salesordersexample.categories c2 ON c2.categoryid = p2.categoryid
    JOIN salesordersexample.orders o2 ON od2.ordernumber = o2.ordernumber 
    WHERE p2.productname LIKE '%Helmet%' AND o.customerid = o2.customerid
) 
AND p.productname ILIKE '%bike%';

这个查询的执行逻辑：

1. 通过外层关联和p.productname ILIKE '%bike%'，先筛选出所有买过自行车的客户。
2. 用NOT EXISTS子查询检查：该客户没有任何头盔购买记录，满足条件才保留。
   最终得到的就是完全符合需求的客户列表。

错误查询（EXISTS + NOT LIKE） #

SELECT DISTINCT(o.customerid) 
FROM salesordersexample.order_details od
JOIN salesordersexample.products p ON od.productnumber = p.productnumber
JOIN salesordersexample.categories c ON c.categoryid = p.categoryid
JOIN salesordersexample.orders o ON od.ordernumber = o.ordernumber 
WHERE EXISTS
(
    SELECT DISTINCT(o2.customerid) 
    FROM salesordersexample.order_details od2
    JOIN salesordersexample.products p2 ON od2.productnumber = p2.productnumber
    JOIN salesordersexample.categories c2 ON c2.categoryid = p2.categoryid
    JOIN salesordersexample.orders o2 ON od2.ordernumber = o2.ordernumber 
    WHERE p2.productname NOT LIKE '%Helmet%' AND o.customerid = o2.customerid
) 
AND p.productname ILIKE '%bike%';

这个查询的问题在于：
外层已经筛选出买过自行车的客户，而自行车本身就是NOT LIKE '%Helmet%'的商品，所以子查询的条件对所有买过自行车的客户都成立——哪怕这些客户同时买过头盔，也会被判定为符合条件，最终结果就混入了大量不符合需求的客户，导致数量错误。

总结 #

要筛选「从未发生过某类行为」的记录，NOT EXISTS是精准的逻辑，它检查的是不存在该行为的任何记录；而EXISTS + NOT 条件只能筛选「存在至少一次非该行为的记录」，无法排除「同时存在该行为和非该行为」的情况，因此不能满足你的需求。

内容的提问来源于stack exchange，提问作者miasekk