分组聚合后更新必须显式开启事务并使用高隔离级别，避免竞态条件；需清洗分组字段防隐式转换；禁用UPDATE中嵌套GROUP BY子查询，改用CTE预计算；避免事务内混合DDL；确保锁覆盖所有相关行。
分组聚合前必须显式开启事务
不加事务的 GROUP BY 查询本身是只读操作，不会出错，但一旦你紧接着要基于聚合结果做更新（比如“查出每个部门平均薪资，再把低于均值的员工薪资上调10%”），中间就存在竞态窗口。数据库不会自动帮你锁住聚合所依赖的原始行。
常见错误现象：UPDATE 执行后发现部分员工被漏调、重复调，或和 SELECT AVG() 结果对不上。
- 必须用
BEGIN TRANSACTION或START TRANSACTION显式开启，不能依赖 autocommit=1 下的单语句隔离 - 读已提交（
READ COMMITTED）隔离级别不够——其他事务可能在你SELECT和UPDATE之间改了数据 - 推荐用
REPEATABLE READ（MySQL）或SERIALIZABLE（PostgreSQL/SQL Server），但要注意锁范围扩大带来的阻塞风险
GROUP BY + UPDATE 要避免隐式类型转换导致分组失效
当分组字段含 NULL、字符串前后空格、大小写混用，或数值与字符串混比较时，GROUP BY 可能意外拆分本应合并的组，后续更新就会漏掉目标行。
使用场景：清洗用户表按 country_code 分组统计后批量修正地址格式；或按 status（varchar）分组但实际存了 'active ' 和 'active' 两种值。
- 检查分组字段是否被隐式转换：
SELECT status, LENGTH(status), DUMP(status) FROM users GROUP BY status（Oracle）或SELECT status, LENGTH(TRIM(status)), BINARY status FROM users GROUP BY TRIM(LOWER(status)) - 聚合前统一清洗：
GROUP BY TRIM(LOWER(country_code))，且后续UPDATE的WHERE条件也用同样表达式 - 避免在
GROUP BY中直接用函数包裹字段，除非你确认索引还能命中（否则性能陡降）
UPDATE 关联子查询里嵌套 GROUP BY 容易锁表或超时
写成 UPDATE t1 SET x = (SELECT AVG(y) FROM t2 WHERE t2.id = t1.id GROUP BY t2.category) 这类结构，数据库可能为每一行都执行一次子查询，还可能对 t2 全表扫描+临时排序，导致锁等待甚至死锁。
性能影响：10万行主表，子查询每行扫1000行从表 → 实际扫描1亿行；GROUP BY 临时表没索引，ORDER BY 或 HAVING 会进一步拖慢。
- 改用 JOIN + CTE 预计算：
WITH avg_by_cat AS (SELECT category, AVG(y) AS avg_y FROM t2 GROUP BY category) UPDATE t1 SET x = avg_y FROM avg_by_cat WHERE t1.category = avg_by_cat.category - 确保
GROUP BY字段上有索引；如果只是求总数，优先用COUNT(*)而非COUNT(col)（后者跳过NULL） - PostgreSQL 中注意
UPDATE ... FROM语法不支持直接GROUP BY，必须先落 CTE 或临时表
事务中混合 DML 和 DDL 会破坏一致性
有人想“先建个临时表存聚合结果，再用它驱动更新”，于是在事务里写 CREATE TEMP TABLE tmp_avg AS SELECT ... GROUP BY。问题在于：某些数据库（如 MySQL 5.7）遇到 DDL 会隐式提交当前事务，前面的 SELECT 就不再受控。
错误现象：SELECT 读到旧数据 → DDL 提交 → 其他事务改了源表 → 后续 UPDATE 基于过期聚合值执行。
- 避免在事务中执行
CREATE、DROP、ALTER；临时表可用CREATE TEMPORARY TABLE（MySQL）或CREATE LOCAL TEMP TABLE（PostgreSQL），它们不触发隐式提交 - 更稳妥的做法是用 CTE 或子查询，不落地存储
- 如果必须建表，单独开事务处理建表+填充，再另起事务做更新，并用
SELECT FOR UPDATE锁住源表关键行
真正难的是判断哪些操作看似无害实则破坏原子性——比如一个 SELECT 加了 FOR UPDATE，但没覆盖所有参与聚合的行，或者锁粒度是页级而非行级，这些细节一漏，一致性就断在看不见的地方。
