XSD 1.1 assert 属性必须存在于文档中

Question

使用 XSD 1.1 是否可以断言某个属性存在于其他地方。

示例：

<root>
  <someelement>
    <lookup name="test"/>
    <bla>
      <lookup name="tbl2"/>
      <morebla>
        <evenmore>
          <lookup name="tbl2"/>
        </evenmore>
      </morebla>
    </bla>
  </someelement>
  <table name="test">
    ...
  </table>
  <table name="tbl2">
    ...
  </table>
</root>

我如何断言元素查找具有在表格元素中使用的名称？

断言需要在根元素上，因为不可能断言元素树，但是我如何断言每个查找元素，无论它在文档结构中的什么位置？

Answer 1

请记住，在 XPath 2.0 中比较 $s1 = $sequence2 当且仅当 $s1（或其任何元素，如果它是一个序列）存在于 $sequence2 中时才返回 true。所以你可以为你的断言使用这个简单的 XPath 测试：

every $lookupName in descendant-or-self::lookup/@name satisfies $lookupName = descendant-or-self::table/@name