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 规范中的 identity constraints 中有一些内容，但这似乎是关于获得一个具有特定特征的实例，而不是确保两个实例具有相同的特征。

Answer 1

共现是现有 1.0 架构规范无法解决的问题之一。这也是Schematron 发布的原因之一。基于断言的验证可以处理这种情况，以及任何其他可以通过 XPath express 轻松表达的情况。

此外，在 1.1 Schema spec 中有断言功能，但我还不知道处理器对 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>