ArangoDB v3.9.0中AQL更新语句计算结果异常问题咨询

问题场景 #

使用ArangoDB v3.9.0时，执行以下AQL语句后，所有文档的numberEmployeesAccumulated字段最终变为0，但注释掉UPDATE部分后，返回的计算结果是正确的（预期1057条记录有正确值）：

FOR n IN biz_scd_departments

LET childs = (
FOR m IN biz_scd_departments
FILTER n.department IN m.departmentIndexBoost
FILTER m.numberEmployees > 0
RETURN m.numberEmployees
)

LET nea = SUM(childs)

UPDATE { _key: n._key }
WITH { numberEmployeesAccumulated: nea }
IN biz_scd_departments

将查询修改为以下形式后，所有记录的numberEmployeesAccumulated均为正确值：

LET data = (
    FOR n IN biz_scd_departments
    
    LET childs = (
    FOR m IN biz_scd_departments
    FILTER n.department IN m.departmentIndexBoost
    FILTER m.numberEmployees > 0
    RETURN m.numberEmployees
    )
    
    LET nea = SUM(childs)
    RETURN { _key: n._key, nea: nea }
)

LET write = (
    FOR d IN data
    UPDATE { _key: d._key, numberEmployeesAccumulated: d.nea }
    IN biz_scd_departments 
)

return {}

疑问：为何第一个查询无法生成正确结果？是ArangoDB的Bug还是操作有误？

原因分析 #

第一个查询失效的核心原因是在遍历集合的同时执行更新操作，导致遍历过程中依赖的集合数据不是查询初始快照，而是实时修改后的状态：

• ArangoDB v3.9.0的AQL默认不采用快照隔离处理同查询内的同集合读写操作，读取操作会直接访问集合的当前状态。
• 第一个查询在遍历biz_scd_departments的同时执行UPDATE，即使修改的是不影响内层查询的numberEmployeesAccumulated字段，这种边遍历边修改的行为也会干扰游标遍历的一致性，导致内层子查询读取到异常数据，最终计算出错误的SUM结果（如0）。
• 修改后的查询先通过LET data基于集合初始快照完成所有计算逻辑，再批量执行UPDATE，彻底规避了读写冲突，因此能得到正确结果。

这不属于操作错误，而是ArangoDB v3.9.0版本中对同集合读写场景的处理特性，这类场景下推荐先完成计算再批量写入，避免边读边写同一集合。

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