Question

鉴于像这样的XML布局，我正在尝试创建一个XSD架构来验证它。

<RootNode>
  <ChildA />
  <ChildC />
  <ChildB />
  <ChildB />
  <ChildA />
</RootNode>

要求如下：

ChildA，ChildB和ChildC可能以任何顺序出现。（<xs:sequence>不合适）
ChildA 强制，但可能会多次出现。
ChildB是可选的，可能会多次出现。
ChildC是可选的，可能只会。

我通常用来创建无序节点列表的技术是对列表中的每个可能节点使用<xs:choice maxOccurs="unbounded">，但是，我无法在ChildA上创建minOccurs="1"约束{Child}的maxOccurs="1"禁令。（选择的出现次数优先于这里的要素）。

<xs:element name="RootNode">
  <xs:complexType>
    <xs:choice minOccurs="1" maxOccurs="unbounded">
      <xs:element name="ChildA" minOccurs="1"/>
      <xs:element name="ChildB" />
      <xs:element name="ChildC" maxOccurs="1"/>
    </xs:choice>
  </xs:complexType>
</xs:element>

Answer 1

更新：在XSD 1.1m中，all - 组的一些限制已被取消。查看答案here和here。

不是一个简单但似乎可行。这里的困难部分是模式定义必须是确定性的。我使用的方法是通过绘制它的有限状态自动机来可视化问题，然后编写与自动机相对应的正则表达式。它听起来并不复杂。尽管如此，使用其他一些验证系统可能会提供更简单的答案。

我做了一些测试，但遗漏了一些特殊情况很容易。如果您发现错误，请发表评论。

......这是代码：

<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema" >

    <!-- Schema for elements ChildA, ChildB and ChildC
        The requirements are as follows:
            * ChildA, ChildB and ChildC may occur in any order.
            * ChildA is mandatory but may occur multiple times.
            * ChildB is optional and may occur multiple times.
            * ChildC is optional and may occur once only.
    -->

    <xsd:element name="root">
        <xsd:complexType>
            <xsd:sequence>
                <xsd:element name="ABC-container" type="ABC" maxOccurs="unbounded"/>
            </xsd:sequence>
        </xsd:complexType>
    </xsd:element>

    <xsd:complexType name="ABC">
        <xsd:sequence>
            <xsd:element name="ChildB" type="xsd:string" minOccurs="0" maxOccurs="unbounded"/>
            <xsd:choice>
                <xsd:sequence maxOccurs="1">
                    <xsd:element name="ChildC" type="xsd:string"/>
                    <xsd:element name="ChildB" type="xsd:string" minOccurs="0" maxOccurs="unbounded"/>
                    <xsd:element name="ChildA" type="xsd:string"/>
                    <xsd:sequence minOccurs="0" maxOccurs="unbounded">
                        <xsd:element name="ChildA" type="xsd:string" minOccurs="0"/>
                        <xsd:element name="ChildB" type="xsd:string" minOccurs="0"/>
                    </xsd:sequence>
                </xsd:sequence>
                <xsd:sequence maxOccurs="1">
                    <xsd:element name="ChildA" type="xsd:string" minOccurs="1"/>
                    <xsd:sequence minOccurs="0" maxOccurs="unbounded">
                        <xsd:element name="ChildA" type="xsd:string" minOccurs="0"/>
                        <xsd:element name="ChildB" type="xsd:string" minOccurs="0"/>
                    </xsd:sequence>
                    <xsd:sequence minOccurs="0" maxOccurs="1">
                        <xsd:element name="ChildC" type="xsd:string"/>
                        <xsd:sequence minOccurs="0" maxOccurs="unbounded">
                            <xsd:element name="ChildA" type="xsd:string" minOccurs="0"/>
                            <xsd:element name="ChildB" type="xsd:string" minOccurs="0"/>
                        </xsd:sequence>
                    </xsd:sequence>
                </xsd:sequence>
            </xsd:choice>
        </xsd:sequence>
    </xsd:complexType>

</xsd:schema>

Answer 2

这应该按照您的指定进行：

<xs:element name="RootNode">   
  <xs:complexType>     
    <xs:all>       
      <xs:element name="ChildA" minOccurs="1"/>      
      <xs:element name="ChildB" />       
      <xs:element name="ChildC" minOccurs="0" maxOccurs="1"/>     
    </xs:all>   
  </xs:complexType> 
</xs:element>

Answer 3

我刚读完relax-NG shortcut syntax。

我猜这将在relax-ng的紧凑语法中浓缩为以下内容：

head = element root { ChildA & ChildC? & ChildB* }

这肯定很漂亮。

如何使用出现约束为无序的XML节点列表创建模式

3 个答案: