如何检查节点 $N 是否存在于 XQuery 的节点序列 $S 中?

How to check whether node $N is present in the sequence-of-nodes $S in XQuery?

我知道 XQuery 中每个采用 XPath 表达式的变量都可以由一组节点组成

let $x := //cities[@population > '50000']//*

let $y := //something/following::*

我想知道是否有布尔函数来检查 $z 是否属于这些节点集,例如 $x$y

如果不是,那么如果第一个变量(节点序列)包含第二个变量(一个节点或节点序列),我如何声明这样的函数接受两个变量并且return为真

出于特定目的,我做了以下测试:

declare function local:inside($y,$x) as xs:boolean
{
  let $r :=  ? (: want to know if $y include $x or not :)
  return $r
};
let $db := doc('products.xq')
let $items := $db/item//*
let $pricesInItems := $db//price[$items//.]   (: $db//price[local:inside($items, .)] :)
                    (: ^ it doesn't work, by the way :)
return $pricesInItems 

对于此数据库:

<page>
  <products> 
      <item foo="f1"> 
          <price>100 </price> 
      </item>  
        <item foo="f2"> 
          <price>200 </price> 
      </item>  
  </products>
  <price>300 </price>
</page>

一个谓词表达式或一个函数,它选择 $db/item//* 内的所有价格。请注意这只是一个例子,我想要一个适用于任何两个变量的通用隶属函数或谓词表达式。

如果您使用 = 运算符,它将使用基于集合的逻辑。例如:

let $set := (2, 4, 6, 8, 10)
return ((6 = $set), (7 = $set))

=> (true(), false())

这同样适用于两组之间的比较:

(1, 2, 3, 4) = (4, 5, 6)
=> true()

测试节点 $N 是否存在于节点序列 $S 中的两种方法:

(一) exists($S intersect $N)

如果在布尔上下文中使用,exists() 是多余的,例如你可以写 if($S intersect $N)

(b) exists($S[. is $N])

(类似地,在布尔上下文中,您可以编写 if($S[. is $N])