不明确的 XML 架构

Question

我正在尝试为类似于以下内容的 XML 生成一个非常简单的 XML 模式：

<messages>
  <item>
    <important_tag></important_tag>
  </item>
  <item>
    <important_tag></important_tag>
    <tag2></tag2>
  </item>
  <item>
    <tag2></tag2>
    <tag3></tag3>
  </item>
</messages>

这个想法是 将有一个特定的定义，并且它可能会或可能不会出现在 下<项目>。 它也可能出现多次。 此外，在 之前或之后可能还有其他我无法提前命名的标签。

我想给一个具体的定义。 例如，定义它必须包含的属性。 我的意思是 if important_tag 存在，它必须符合我的定义。 任何其他标签不必符合任何定义。

我尝试使用以下方案：

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="messages">
    <xs:complexType>
      <xs:sequence>
        <xs:element ref="item" maxOccurs="unbounded"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
  <xs:element name="item">
    <xs:complexType>
      <xs:sequence>
        <xs:element ref="important_tag" minOccurs="0"/>
        <xs:any minOccurs="0"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
  <xs:element name="important_tag">
    <xs:complexType>
      <xs:simpleContent>
        ... specific definitions for important_tag ...
      </xs:simpleContent>
    </xs:complexType>
  </xs:element>
</xs:schema>

这会导致错误，指出该架构不明确。

确切的错误消息是：

cos-nonambig: '<xs:element ref="important_tag">' makes the content model non-deterministic against '<xs:any>'. Possible causes: name equality, overlapping occurrence or substitution groups.

我正在使用 Altova 的 XML Spy。

我该如何解决这个问题？

谢谢， 达纳

Answer 1

MSDN 上有一篇很棒的文章讨论了设计可扩展架构，您可以在此处找到该文章，我建议您仔细阅读所有内容，但具体到您的观点，它解释了为什么您在“使用 XML 架构设计可版本化的 XML 格式”下的第 2 点中收到此错误（您可以搜索“非-确定性”并直接到达那里。

基本上，一旦您有了 xs:any 元素，验证器就无法假设有关其他同级元素的任何信息，因此 - 您很可能有一个不需要这些强制属性的 important_tag 定义，因此这些元素无法验证

Answer 2

关于错误：该错误消息提到的一行不在您包含的 xsd 中，但其中的这两行不明确：

<xs:element ref="important_tag" minOccurs="0"/>
<xs:any minOccurs="0"/>

显示歧义的最简单示例是如果只有一个 ：

  <important_tag></important_tag>

问题是它可以被解释为一个“important_tag”和零个“any”标签（这就是您想要的），但它也可以被解释为零个“important_tag”和一个“any”标签。 这是因为“any”标签可以匹配任何标签，包括“important_tag”。

我读到，下一版本的 XML Schema 使您能够说出您的意思：除了 important_tag 之外的任何标记。

以两种不同方式匹配 XML 类似于以两种不同方式匹配“a”的正则表达式“a*a*”（第一个“a”；或第二个“a”）。 这种歧义过去在 DTD 的 XML 规范中被称为“非确定性”，但 XML 模式规范将其称为“唯一粒子属性规则”(UPA)，这意味着您应该能够辨别模式的哪个部分获得每个部分XML 文档的。

Answer 3

根据您的要求（例如“任何其他标签不必符合任何定义。”）， Schematron基于规则（“这必须是真的”，“那必须是假”）的 可能是比 W3C Schema 更好的解决方案，W3C Schema 更“一切都必须是这样的”。