使用JOIN时SUM函数引发money类型算术溢出错误的原因排查

现象说明 #

仅在使用JOIN关联两张表时，SUM(TableB.Value)会抛出溢出异常；但直接对TableB按AId分组求和时却正常运行。两张表关系：TableB通过AId字段关联TableA，TableB.Value的数据类型为money。

触发溢出的SQL语句 #

-- 执行此语句抛出溢出异常
select sum(TableB.Value) 
from TableA
     join TableB on TableA.Id = TableB.AId
group by TableA.Id

对比用的正常SQL语句 #

-- 此语句可正常执行，无溢出错误
select sum(TableB.Value)
from TableB
group by AId

已知可通过将TableB.Value转换为decimal(19,4)避免异常，但需先明确问题根源。

更新发现 #

TableB中存在大量AId为NULL的行，按NULL分组求和会触发溢出异常。而使用JOIN时，这些AId为NULL的行意外被纳入计算逻辑；过滤掉AId为NULL的行后，JOIN查询即可正常运行：

select sum(TableB.Value) 
from TableA
     join (select * from TableB 
           where AId is not null) v
     on TableA.Id = v.AId
group by TableA.Id

原因解释 #

问题核心在于JOIN与直接分组时，SQL优化器的执行逻辑差异：

• 直接对TableB按AId分组时，AId为NULL的行虽会形成单独分组，但如果该分组求和结果超出money类型最大值（922,337,203,685,477.5807），却未触发溢出——这是因为优化器可能对GROUP BY NULL的结果做了逻辑裁剪，未实际执行超大分组的求和计算。
• 而JOIN场景下，优化器可能调整了执行顺序：先对TableB所有行（含AId为NULL的）按TableA.Id分组（NULL被当作有效分组参与求和），再关联TableA。此时超大NULL分组的求和结果直接超出money类型上限，触发溢出。
• 过滤掉AId为NULL的行后，这个超大分组被排除，求和结果落在money类型范围内，因此不再报错。

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