XSD 1.1 结构强制执行唯一 ID（如有必要）？

Question

我是否需要 XSD 1.1 来在具有如下文件/记录结构的单个 XML 文件中强制执行 ID 唯一性：

<?xml version="1.1" encoding="UTF-8"?>

<file>

<record id="1" status="ok">
    <info1></info1>
    <info2></info2>
    <!-- etc... -->
</record>

<record id="2" status="ok">
    <info1></info1>
    <info2></info2>
    <!-- etc... -->
</record>

<record id="1" status="duplicate_deprecated">
    <info1></info1>
    <info2></info2>
    <!-- etc... -->
</record>

我还想允许某些重复的 ID 在它们与例如组合的条件下。一个属性，意思是“删除/停止使用此版本的记录，用具有相同 ID 的其他记录替换此（现在）已弃用的重复项”（在示例中，记录 1）。

这对于 XML 模式 1.0 是否可行，还是需要 XSD 1.1 断言（等等）？

需要什么样的通用 XML 实例结构才能使这个断言起作用？我知道 XSD 1.1 断言需要在密切相关的元素/属性上。

可能相关：

• Asserting element Id uniqueness globally with XML 1.1 schema
• XSD unique elements and attributes

Answer 1

是的，这需要 XSD 1.1。不幸的是，您可以在 xs:unique / xs:key 上使用的 XPath 表达式不包含谓词（即使在 XSD 1.1 中），因此只能使用断言来完成。

断言唯一性的典型方式是

test="count(PATH) = count(distinct-values(PATH))"

不幸的是，这并没有给出任何关于有问题的重复项是什么的诊断。一些处理器可能会为您提供更好的诊断

test="every $M in PATH, $N in PATH satisfies ($M is $N or $M ne $N)"

但这可能效率要低得多。

应在包含所有要测试唯一性的值的最内层元素上指定断言。