PostgreSQL实现关系代数除查询返回空结果问题排查

你当前的查询逻辑存在两个核心问题，导致结果为空：

• 集合运算的关联维度错误：内层select branch_name from account没有按当前遍历的账号做过滤，返回的是全表所有网点，和外层当前行所属的账号无关。
• EXCEPT的集合顺序写反：你要判断的是city表的所有网点，当前账号都有开户记录，而不是「全表所有网点都等于当前行的网点」——对于任意单条账户记录，它只对应一个网点，全量网点减去单个网点必然不为空，因此所有行都会被NOT EXISTS过滤，最终返回空结果。

关系代数中集合除运算对应的标准SQL实现是双重NOT EXISTS逻辑，核心思路是：筛选出不存在「city表中存在该账号未开户网点」的账号，再关联取出这些账号的全部账户记录。

SELECT *
FROM account
WHERE account_number IN (
    SELECT DISTINCT a1.account_number
    FROM account a1
    WHERE NOT EXISTS (
        -- 找出当前账号没开过户的city表网点，如果不存在这样的网点，说明该账号满足要求
        SELECT 1 FROM city c
        WHERE NOT EXISTS (
            SELECT 1 FROM account a2
            WHERE a2.account_number = a1.account_number
              AND a2.branch_name = c.branch_name
        )
    )
);

如果觉得双重NOT EXISTS可读性差，也可以用分组统计的写法，逻辑更直观：

SELECT *
FROM account
WHERE account_number IN (
    SELECT a.account_number
    FROM account a
    JOIN city c ON a.branch_name = c.branch_name
    GROUP BY a.account_number
    -- 该账号在city表包含的网点中的开户数，等于city表总网点数，说明所有网点都开了户
    HAVING COUNT(DISTINCT a.branch_name) = (SELECT COUNT(1) FROM city)
);

以上两个语句在你提供的测试数据上运行，都会正确返回A-000826对应的两条账户记录，和示例预期结果一致。

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