不带 FLWOR 的 xquery 括号

Question

嗨，我有一个有点蹩脚的问题，但找不到答案。

如果我将构造函数括号留空会发生什么？

例如，

{data(doc("somedata.xml")//node[0])}

我的意思是，我知道会发生什么，但是解析时它被认为是什么？

是这样吗？

{
    for $i in "0"
    return
    data(doc("somedata.xml")//node[0])
}

Answer 1

人们普遍误解任何 XQuery 都是 FLWOR 表达式。当人们从 SQL 角度处理 XQuery，将其视为 SELECT 时，就会出现这种误解。

事实上并非如此； FLWOR 表达式在很多方面只是另一个表达式。 FLWOR 表达式可能作为 SQL 表达式执行，但情况不一定如此。

XQuery 可以被视为一种函数式编程语言（如 Haskell），它恰好具有一些声明性结构（如 where 和 order by）。

表达式 1+2 只是一个将数字 1 和 2 相加的 XQuery 表达式，不需要在其周围有隐式 FLWOR 表达式。

如果您想在完全基于元组的代数中考虑 XQuery，那么您可以将输入视为单个空元组。我的意思如下。

看一下这个查询：

for $x in ...
for $y in ...
where $x/@name=$y/@name
return $x

如果您在基于元组的代数中考虑这一点，则 for 表达式的输入将是定义 $x 和 $y 的元组流。很明显这与数据库查询有何关系。这对应于一个包含两列 $x 和 $y 的表，以及每对具有相同名称的行。

您可以将以下查询

//foo

视为对没有值的单个元组进行操作。这有点像没有 fors 或 let 的 FLWOR 表达式（只有一个 return 表达式，如果允许的话）。在关系领域中，这将是一张没有列和一行的表。然而，这只是一个逻辑抽象，大多数（如果不是全部）XQuery 实现将其表示为一个表达式。

Answer 2

我不太明白你的问题。 “让构造函数括号无效”是什么意思？

您给出的查询是一个节点，其内容是一个表达式。它是这样解析的。每个表达式都是 FLWOR 表达式是一个常见的误解。 FLWOR 表达式只是另一个表达式。

因此，

<p> {data(doc("somedata.xml")//node[0])}</p>

它被简单地解析为

<p> {data(doc("somedata.xml")//node[0])}</p>

how

Console.WriteLine("foo");

不被解析一样

foreach (int x in new string[] {"0"})
  Console.WriteLine("foo")

就像C# 中的

。如果您想要完整的形式语义扩展（这是解释查询的一种方式），那么它看起来像这样：

element {p}
{
  fs:item-sequence-to-node-sequence(
    fn:data(
      fs:distinct-doc-order-or-atomic-sequence(
        let $fs:sequence :=
          fs:distinct-doc-order-or-atomic-sequence(
            let $fs:sequence := doc("somedata.xml")
            let $fs:count := count($sequence)
            for $fs:dot at $fs:position in $fs:sequence
            return $fs:dot/descendant-or-self::node())
        let $fs:count := count($fs:sequence)
        for $fs:dot at $fs:position in $fs:sequence
        return item-at($fs:dot/child::node, 0)
      )
    )
  )
}