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

时间:2012-02-15 12:16:57

标签: xml xsd non-deterministic

我遇到了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和案例。

现在我已经创建了一个处理这个的模式:

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

我尝试了对结构进行了一些更改,以解决问题,但我没有得到一个“好的”解决方案。

2 个答案:

答案 0 :(得分:2)

这不是XSD 1.0可以处理的。 XSD模型具有确定性,正如您所知,您的语言不具有确定性。

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

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

答案 1 :(得分:1)

您的XML架构不确定的原因是,在将其应用于XML文档时,它无法决定您对arrivalDate和departureDate的哪些定义。您的思维方式是第一个<choice>指令允许您在这些元素的一组定义之间进行选择,然后是presentee元素,或者没有presentee元素的另一个定义。不幸的是,XML Schema没有执行一些预测。

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

W3C XML Schema在以下几个方面很糟糕:无序内容和跨节点限制。像Kevin建议的那样,XML Schema 1.1可能有一个答案。我还没有用过它。要检查的其他选项是RelaxNG,它比XML Schema或Schematron更灵活,更强大,它允许这种验证需要比结构和简单的类型检查更深入。