XML Schema 内容模型是不确定的

Question

我在使用 xml 模式时遇到了问题。

首先我想给大家展示一下xml的可能情况:

1.

<arrivalDate>01.01.2012</arrivalDate>

2.

<arrivalDate>01.01.2012</arrivalDate>
<departureDate>04.01.2012</departureDate>

3.

<arrivalDate>01.01.2012</arrivalDate>
<presentee>
    <firstName>User</firstName>
</presentee>

4.

<arrivalDate>01.01.2012</arrivalDate>
<departureDate>04.01.2012</departureDate>
<presentee>
    <firstName>User</firstName>
</presentee>

5.

<arrivalDate>later</arrivalDate>
<presentee>
    <firstName>User</firstName>
</presentee>

6.

<arrivalDate>later</arrivalDate>
<departureDate>5</departureDate> <!-- 1 till 5 extra days -->
<presentee>
    <firstName>User</firstName>
</presentee>

情况 5 和 6 只有在设置了 presentee 时才有可能。

现在我已经创建了一个架构来处理这个问题:

<xs:choice>
    <xs:sequence>
        <xs:choice>
            <xs:sequence>
                <xs:element name="arrivalDate" type="date" />
                <xs:element name="departureDate" type="date" minOccurs="0" maxOccurs="1" />
            </xs:sequence>
            <xs:sequence>
                <xs:element name="arrivalDate" type="xs:string" fixed="later" />
                <xs:element name="departureDate" minOccurs="0" maxOccurs="1">
                    <xs:simpleType>
                        <xs:restriction base="xs:integer">
                            <xs:minInclusive value="1" />
                            <xs:maxInclusive value="5" />
                        </xs:restriction>
                    </xs:simpleType>
                </xs:element>
            </xs:sequence>
        </xs:choice>
        <xs:element name="presentee" minOccurs="1" maxOccurs="1">
            <xs:complexType>
                <xs:sequence>
                    <xs:element name="title" type="title"/>
                    <xs:element name="firstName" type="name" />
                    <xs:element name="lastName" type="name" />
                </xs:sequence>
            </xs:complexType>
        </xs:element>
    </xs:sequence>
    <xs:sequence>
        <xs:element name="arrivalDate" type="date" />
        <xs:element name="departureDate" type="date" minOccurs="0" maxOccurs="1" />
    </xs:sequence>
</xs:choice>

我尝试对结构进行多项更改以解决问题，但我没有得到“不错”的解决方案。

Answer 1

您的 XML 架构不确定的原因是，将其应用于 XML 文档时，它无法确定您指的是 arrivalDate 和 departmentDate 的哪个定义。你的思维方式是第一个<choice>指令使您可以选择这些元素的一组定义，后跟一个 presentee 元素，或者没有 presentee 元素的另一组定义。不幸的是，XML Schema 不执行某些先行操作。

解析后，XML 事件将一个一个地呈现给验证器。所以 arrivalDate 已提供给您的模式，现在它必须知道该元素是否有效，但是......它无法确定这些到达日期定义中的哪一个适用。如果它可以将决定推迟到它解析后续元素时它可以，比如它可能如何通过缺少某些子元素来决定一个元素无效。但考虑到它们是分开的，这不可能以这种方式实现。

W3C XML Schema 有两点不好:无序内容和跨节点限制。正如 Kevin 所建议的那样，XML Schema 1.1 可能对此有一个答案。我没有用过它。其他要检查的选项是 RelaxNG，它比 XML Schema 或 Schematron 更灵活、更强大，它允许进行这种需要比结构和简单类型检查更深入的验证。