调用XQuery更新函数报错：若有更新子表达式则全部需为更新

问题场景 #

XML文档记录物体移动轨迹，每条观测数据包含目标经纬度、观测传感器经纬度及时间戳。需要通过取整经纬度模糊目标位置，编写的f:fuzzPoint更新函数调用时触发错误："If any subexpression is updating, then all must be updating"，Oxygen XML提示函数参数需为更新类型。

错误原因 #

当前代码在构造新<Observation>元素时，同时混合了更新函数调用（f:fuzzPoint）和普通节点引用（如$obs/Observer-Latitude），违反了XQuery Update的核心规则：如果元素构造的子表达式包含更新操作，所有子表达式都必须是更新操作。此外，f:fuzzPoint作为更新函数直接修改传入节点，这种方式无法在元素构造逻辑中正常工作。

修改方案 #

将f:fuzzPoint改为非更新函数，让它返回处理后的经纬度元素节点，而非直接修改原节点。主逻辑通过构造完整的新节点替换原节点，确保所有子表达式都是节点构造操作，无内嵌更新调用。

修改后的完整代码 #

declare namespace f = "function";

declare variable $Track-History := doc('Track-History.xml');
declare variable $track-history-points := (for $i in $Track-History//Observation return [$i/Target-Latitude, $i/Target-Longitude]);
declare variable $AOR := (); (: 后续可替换为实际的多边形点序列 :)

declare function f:isInside($points, $polygon) as xs:boolean
{
    true()
};

declare function f:fuzzPoint($lat as element(), $long as element()) as element()*
{
    element {name($lat)} {round(number(data($lat)))},
    element {name($long)} {round(number(data($long)))}
};

if (f:isInside($track-history-points, $AOR)) then
    for $obs in $Track-History//Observation return
      replace node $obs with
      <Observation>
            {f:fuzzPoint($obs/Target-Latitude, $obs/Target-Longitude)}
            {$obs/Observer-Latitude}
            {$obs/Observer-Longitude}
            {$obs/DateTime}
       </Observation>
else
   replace node $Track-History/* with
      <Track-History/>

关键改动说明 #

• 移除f:fuzzPoint的updating关键字，添加返回类型element()*，明确返回处理后的经纬度元素序列。
• f:fuzzPoint不再执行replace node操作，而是直接构造并返回取整后的新元素，这样可以安全地在新<Observation>元素的构造逻辑中调用。
• 主逻辑保持replace node的整体更新操作，但内部仅包含节点构造和函数返回的节点引用，符合XQuery Update的规则。

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