XML Schema可以指定共现约束吗？

Question

XML Schema文档是否可以指定必须同时出现两个项目？

例如，有两个可选元素，它们要么都存在，要么都不存在。

a b? c d? e      # giving only {ace, abcde}
                 # instead of all combinations: {ace, acde, abce, abcde}

<element name="root">
  <complexType>
    <sequence>
      <element ref="a"/>
      <element ref="b" minOccurs="0"/>
      <element ref="c"/>
      <element ref="d" minOccurs="0"/>
      <element ref="e"/>
    <sequence>
  <complexType>
<element>

另一个例子：有两个重复的元素，并且不管第一个元素发生多少次，第二个元素也发生多次：

a b^n c d^n e  # where ^n is a superscript denoting number of repeats
               # giving {ace, abcde, abbcdde, abbbcddde, ...}
               # but no other combinations

<element name="root">
  <complexType>
    <sequence>
      <element ref="a"/>
      <element ref="b" minOccurs="0" maxOccurs="unbounded"/>
      <element ref="c"/>
      <element ref="d" minOccurs="0" maxOccurs="unbounded"/>
      <element ref="e"/>
    <sequence>
  <complexType>
<element>

XML Schema规范中的身份约束中可能有某些内容，但这似乎是要获取具有特定特征的一个实例，而不是确保两个实例具有相同的特征。

Answer 1

共存是现有的1.0 Schema规范无法解决的问题之一。 这是Schematron发布的原因之一。 基于断言的验证可以处理这种情况，以及可以通过XPath Express表达的其他任何情况，都非常容易。

此外，在1.1 Schema 规范中有断言功能，但是我还不知道处理器对1.1的广泛支持。

基于断言的验证的典型示例通常围绕信用卡交易，例如：

<card>
  <number>1111-1111-1111</number>
  <type>mastercard</type>
</card>

在这里，我们要确保万事达卡号码以“ 1”开头，签证以“ 2”开头（当然不是真正的惯例）。 使用Schema 1.0无法做到这一点，但是通过断言（用伪代码）相当容易

<assert test="starts-with(card/type[.='mastercard'],'1')"/>

Answer 2

不确定直接执行此操作的能力。 不过，一个简单的选择是将它们嵌入单个可选元素中，并要求新元素中的每个元素。 类似于以下内容：

<element name="root">
  <complexType>
    <sequence>
      <element ref="a"/>
      <element ref="c"/>
      <element ref="f" minOccurs="0">
        <complexType>
          <element ref="b" minOccurs="1"/>
          <element ref="d" minOccurs="1"/>
        </complexType>
      </element>
      <element ref="e"/>
    </sequence>
  </complexType>
</element>