XML模式限制通过已验证的文档定义

Question

是否有一种方法可以使XML模式定义类似以下内容，其中 <validCodes>元素中的文档作者定义了 <item>元素中使用的代码。这些代码本身可能仅限于枚举或简单的正则匹配项，但这并不重要。

<validCodes>
  <code>AA</code>
  <code>BB</code>
</validCodes>
...
<item code="AA"> VALID </item>
<item code="BB"> VALID </item>
<item code="AB"> INVALID </item>

为了重塑此事，我想允许配置文件的作者在XML中定义自己的限制，而无需用架构定义它。

Answer 1

XSD 1.0

您的约束无法表达。

XSD 1.1

您的约束可以通过断言表示：

<xs:assert test="every $c in item/@code satisfies $c = validCodes/code"/>

XML

<?xml version="1.0" encoding="UTF-8"?>
<r>
  <validCodes>
    <code>AA</code>
    <code>BB</code>
  </validCodes>
  <item code="AA"> VALID </item>
  <item code="BB"> VALID </item>
  <item code="AB"> INVALID </item>
</r>

XSD

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
           xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning"
           elementFormDefault="qualified"
           vc:minVersion="1.1">
  <xs:element name="r">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="validCodes">
          <xs:complexType>
            <xs:sequence>
              <xs:element name="code" type="xs:string" maxOccurs="unbounded"/>
            </xs:sequence>
          </xs:complexType>
        </xs:element>
        <xs:element name="item" maxOccurs="unbounded">
          <xs:complexType>
            <xs:simpleContent>
              <xs:extension base="xs:string">
                <xs:attribute name="code" type="xs:string"/>
              </xs:extension>
            </xs:simpleContent>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
     <xs:assert test="every $c in item/@code satisfies $c = validCodes/code"/>
    </xs:complexType>
  </xs:element>
</xs:schema>