XSD: выбор, основанный на состоянии элемента

Question

Я пытаюсь придумать XSD для этого вида XML:

<root> 
    <valid> 
    <a>1</a> 
    <b>foo</b> 
    <c>bar</c> 
    </valid> 
    <valid> 
    <a>2</a> 
    <c>bar</c> 
    <d1>baz</d1> 
    </valid> 
    <valid> 
    <a>3</a> 
    <c>bar</c> 
    <d2>baz-restricted</d2> 
    <e>qux</e> 
    </valid> 
</root> 

Во всех элементах названных valid, каждый ребенок-элемент является обязательным.

Я знаю, что мне нужно сделать xs:choice условным значением a, так как ниже XSD является двусмысленным при втором появлении c.

Как это можно сделать в XSD, поддерживаемом .NET 4.x?

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified"> 
    <xs:element name="root"> 
    <xs:complexType> 
     <xs:sequence> 
     <xs:element name="valid"> 
      <xs:complexType> 
      <xs:sequence> 
       <xs:element name="a" minOccurs="1" maxOccurs="1"/> 
       <xs:choice> 
       <xs:sequence> 
        <xs:element name="b" minOccurs="1" maxOccurs="1"/> 
        <xs:element name="c" minOccurs="1" maxOccurs="1"/> 
       </xs:sequence> 
       <xs:sequence> 
        <xs:element name="c" minOccurs="1" maxOccurs="1"/> 
        <xs:element name="d1" minOccurs="1" maxOccurs="1"/> 
       </xs:sequence> 
       <xs:sequence> 
        <xs:element name="c" minOccurs="1" maxOccurs="1"/> 
        <xs:element name="d2" minOccurs="1" maxOccurs="1"/> 
        <xs:element name="e" minOccurs="1" maxOccurs="1"/> 
       </xs:sequence> 
       </xs:choice> 
      </xs:sequence> 
      </xs:complexType> 
     </xs:element> 
     </xs:sequence> 
    </xs:complexType> 
    </xs:element> 
</xs:schema> 

(я знаю XSD вложенной может быть лучше использовать пользовательские типы. В случае необходимости, я могу сделать это на заказ, просто дайте мне знать, если это на самом деле, необходимое для решения, и я буду).

Answer 1

Во всех элементах с именем valid каждый дочерний элемент является обязательным.

В XSD 1.0 вы не можете иметь одноименные элементы родства, имеющие разные типы.

Вы можете использовать условное присвоение типа в XSD 1.1, чтобы сделать это, кроме ...

Как это может быть сделано в XSD поддерживается .NET 4.x

.. .Microsoft не поддерживает XSD 1.1. Вместо этого вы можете использовать Saxon для .NET.

Если вы не можете переключиться на саксонскую или другую среду, где поддерживается XSD 1.1, либо ослабьте свои ограничения проверки, либо укажите разные версии valid разных имен, чтобы отразить их разные типы.