Cách tạo lược đồ cho danh sách các nút XML không theo thứ tự, với các ràng buộc xuất hiện

Question

Với bố cục XML như thế này, tôi đang cố gắng tạo lược đồ XSD để xác nhận hợp lệ nó.

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

Những yêu cầu như sau:

• ChildA, ChildB và ChildC có thể xảy ra trong bất kỳ thứ tự. (<xs:sequence> không phù hợp)
• ChildA là bắt buộc nhưng có thể xảy ra nhiều lần.
• ChildB là tùy chọn và có thể xảy ra nhiều lần.
• ChildC là tùy chọn và có thể xảy ra chỉ một lần.

Kỹ thuật tôi thường sử dụng để tạo ra một danh sách có thứ tự các nút là sử dụng một <xs:choice maxOccurs="unbounded"> với mỗi nút có thể có trong danh sách, tuy nhiên, tôi không thể để tạo ra các hạn chế về ChildA và maxOccurs="1" contraint trên ChildC. (Số lần xuất hiện của sự lựa chọn được ưu tiên hơn so với các lần xuất hiện của các phần tử ở đây).

<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

Cập nhật: Trong XSD 1.1m một số khó khăn về all -groups đã được dỡ bỏ. Xem câu trả lời here và here.

Không đơn giản nhưng dường như có thể thực hiện được. Một phần khó khăn ở đây là các định nghĩa lược đồ phải được xác định. Cách tiếp cận tôi sử dụng là hình dung vấn đề bằng cách vẽ một automata hữu hạn của nó và sau đó viết một biểu thức chính quy tương ứng với automata đó. Nó không phải là ở tất cả các phức tạp như nó có thể âm thanh. Tuy nhiên, việc sử dụng một số hệ thống xác nhận khác sẽ có khả năng cung cấp câu trả lời đơn giản hơn.

Tôi đã thực hiện một số thử nghiệm nhưng bỏ lỡ một số trường hợp đặc biệt thật dễ dàng. Vui lòng nhận xét nếu bạn phát hiện ra lỗi.

... và đây là mã:

<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

Tôi chỉ đọc relax-NG shortcut syntax.

Tôi đoán điều này sẽ được ngưng tụ vào trong cú pháp nhỏ gọn thư giãn-ng của sau:

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

Đó chắc chắn là khá.

Answer 3

này nên làm những gì mà bạn chỉ định:

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