如何修改XSD的xs:assert以校验同类型元素值不重复？

针对connected_condition复杂类型的多子元素属性校验需求，将原断言替换为以下代码：

<xs:assert test="not(@annotation = annotation/@annotation) and count(distinct-values(annotation/@annotation)) = count(annotation/@annotation)"/>

断言逻辑说明 #

• 父元素与子元素属性不重复：not(@annotation = annotation/@annotation)
  XPath中当右侧为节点集时，=会判断左侧值是否匹配节点集中任意一个值，not()取反后确保父元素的annotation属性值与所有annotation子元素的对应属性值都无重复。
• 子元素间属性互不重复：count(distinct-values(annotation/@annotation)) = count(annotation/@annotation)
  通过distinct-values()去重后，比较去重后的属性值数量与子元素总数，相等则说明所有子元素的annotation属性值没有重复。

注意事项 #

• 若父元素的属性名不是annotation，请将代码中的@annotation替换为实际的父元素属性名称。
• 该断言依赖XSD 1.1支持的XPath 2.0特性，与你使用的XML 1.1环境兼容。

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