德哥发表了一篇文章DBA挑战AI: 一条SQL解数独，
其中最后一个SQL在PostgreSQL 15上能正确执行，但在PostgreSQL 17.2上报错，84: ERROR: wrong varnullingrels (b 3) (expected (b)) for Var 1/1，这里84是sql最后一行，并不是出错的位置，我在网上搜索这个错误，有下面两个有用的信息。
-
https://www.postgresql.org/message-id/1948671.1686748004%40sss.pgh.pa.us 这个网页提到，2023年就有相关的错误。
-
https://github.com/citusdata/citus/issues/7899 提出这个问题的人说
The query executes successfully if:
Use INNER JOIN instead of LEFT OUTER JOIN
ranged_partition table is not distributed
Use PG15 & Citus12.1.6
这提供了修改的思路，我在代码中找到了LEFT，代码片段如下。
sql
SELECT
board,
-- 初始化行掩码：确保 SUM 结果被强制转为 int
(SELECT array_agg(m) FROM (
SELECT COALESCE(SUM(1 << (val - 1)), 0)::int as m
FROM generate_series(0, 8) r
LEFT JOIN LATERAL (SELECT substring(board, r*9 + i, 1) as ch FROM generate_series(1, 9) i) s ON ch <> '.'
CROSS JOIN LATERAL (SELECT (ch::text)::int as val) v
GROUP BY r ORDER BY r
) s) as rows
FROM sudoku_puzzles WHERE id = 4将LEFT改为INNER，果真不报错了，也能算出结果，但有一个漏洞，如果某行全空，left join能保留右侧为NULL的结果，inner join则不能。
将ch为'.'替换为'0'，然后将COALESCE(SUM(1 << (val - 1)), 0)::int改为SUM(case when val>0 then 1 << (val - 1)else 0 end)就可以了。
经验算，结果正确，放到PostgreSQL 15上也能正确执行，效率相同。
后来试验其他版本，发现17.4已经修复了这个bug