XML Schema 内容模型不是确定性的

问题描述 投票:0回答:3

我在使用 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 才可能出现。

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

<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>

我尝试了对结构的几次更改来处理问题,但我没有得到“好的”解决方案。

xml xsd non-deterministic
3个回答
4
投票

您的 XML 模式不确定的原因是,当将其应用到 XML 文档时,它无法决定您指的是arrivalDate和departmentDate的定义中的哪一个。您的思维方式是,第一个

<choice>
指令让您可以在这些元素的一组定义(后跟演示者元素)或不带演示者元素的另一个定义之间进行选择。不幸的是,XML Schema 不执行某些前瞻操作。

解析后,XML 事件将一一呈现给验证器。因此,arrivalDate 被赋予您的模式,现在它必须知道该元素是否有效,但是......它无法弄清楚这些到达日期定义中的哪一个适用。如果它可以将这个决定推迟到稍后解析后续元素时,那么它可以,就像它如何通过丢失某些子元素来决定元素无效一样。但考虑到它们是分开的,这是不可能的。

W3C XML Schema 在以下几个方面存在缺陷:无序内容和跨节点限制。正如 Kevin 所建议的,XML Schema 1.1 可能对此有答案。我没用过它。其他要检查的选项是 RelaxNG,它比 XML Schema 更灵活、更强大,或者 Schematron,它允许进行比结构和简单类型检查更深入的验证。


2
投票

这不是 XSD 1.0 可以处理的。 XSD 模型是确定性的,正如您所意识到的,您的语言不是确定性的。

您可以使用 union 来获得可以是日期或某些特定字符串值的类型,但 XSD 中没有任何内容可以让您指定当到达/出发不仅仅是日期时必须存在稍后的元素。

我不知道 XSD 1.1 是否适合您,但它有断言,这可能会对您有所帮助。


0
投票

尝试 RNG 模式。他们通常以非常简单的方式解决特色问题。 https://relaxng.org/

© www.soinside.com 2019 - 2024. All rights reserved.