XQuery----XML时代的革命性数据查询语言(曾毅)

来源：互联网发布：淘宝分销入口编辑：程序博客网时间：2024/04/19 23:37

在以文档和数据为中心的环境里，XML自从诞生之后，迅速得到来自各方技术联盟以及研究机构的支持与关注。现在，许多厂商开发的应用程序都使用XML来传送消息（如SOAP或者XML-RPC消息）或者作为数据的永久性存储（如XML数据库）。在关系型数据库中的数据查询语言SQL，XQuery将成为 XML时代的主流数据查询语言。
XQuery概览
自从计算机网络普及后，互联网便成为了人们获取信息的重要手段之一，随着技术的日新月异，人们在互联网上查询数据的需求也愈加强烈，鉴于非结构性数据的查询工作以及关系数据库自身的缺陷，人们需要一种更优化的数据查询语言，XQuery以其良好的设计和强大的功能扮演了这个角色。
XQuery是一个从XML格式的文档中获取数据的查询语言，起源于XML数据查询语言 Quilt。并将Xpath版本2.0作为其子集。Quilt有很多非常优秀的特性，集 SQL, ODMG, XPath1.0, XQL,以及XML-QL的诸多特性于一身，然而随着存储在XML文档中的信息量的增长，对于能高效的存取和查询XML的信息，Quilt显示出了它的不足。于是全新的XQuery数据查询语言诞生了。
XQuery 规范启动于 1998 年由 W3C 发起的查询语言波士顿专题讨论会，与会的成员对XML的使用应当划分为两类，第一类是将 XML 主要作为文档使用的人，第二类是将 XML作为数据使用的人。来自业界、学术界和研究团体的受邀代表利用这个机会发表了各自的看法，阐述了他们认为重要的 XML 查询语言的特性和需求。讨论会之后成立了Query Language Working Group（查询语言工作组）。这个工作组很庞大，由 30 多个成员公司构成，XML 查询语言标准很好地代表了两类使用者的需求和观点。
虽然1998年XQuery规范化工作就已经启动，但是由于XML应用领域的差异，这项工作花费的时间是相当漫长的。直到2001年2月，工作组的发布工作开始大踏步地进行，大量的文档开始推出。在2001年6月和12月、2002年8月和11月、和2003年5月进行了重要更新。在2003年5月加入了一个XQuery序列化和两个全文相关的工作草案后，12个文档基本完成，工作草案正在接近收尾工作。这12份重要的文档包括：
XML Query Requirements（最新版本发布于2003年11月12日）
此文档施工作组的规划文档。XQuery 需求列表。
XML Query Use Cases（最新版本发布于2003年11月12日）
此文档提供了解决特定问题的几个实际方案和 XQuery 代码片段。
XQuery 1.0: An XML Query Language（最新版本发布于2003年11月12日）
此文档是工作草案中的核心文档，介绍语言本身，以及对大多数其他内容的概述。
XQuery 1.0 and XPath 2.0 Data Model（最新版本发布于2003年11月12日）
此文档是XML 信息集的扩展。描述查询实现必须理解的数据项和形式语义的基础。
XQuery 1.0 and XPath 2.0 Formal Semantics（最新版本发布于2003年11月12日）
此文档从形式上定义语言的底层代数。
XML Syntax for XQuery 1.0 (XQueryX) （最新版本发布于2003年12月19日）
此文档为喜欢使用 XML 的人提供的另一种语法。任何地方的机器都可以使用。
XQuery 1.0 and XPath 2.0 Functions and Operators Version 1.0（最新版本发布于2003年11月12日）
此文档描述了Schema 数据类型、 XQuery 节点和节点序列的基本函数和操作符。
XML Path Language (XPath) 2.0 （最新版本发布于2003年11月12日）
此文档是一个单独分离出来的XPath 文档。
XPath Requirements Version 2.0 （最新版本发布于2003年8月22日）
此文档是XPath 的需求文档。
XSLT 2.0 and XQuery 1.0 Serialization（最新版本发布于2003年11月12日）
此文档介绍了XSLT 2.0和XQuery 1.0的详细情况。
XML Query and XPath Full-Text Requirements （最新版本发布于2003年5月2日）
此文档描述了Full-Text Recommendation 需要达到的功能需求。
XML Query and XPath Full-Text Use Cases （最新版本发布于2003年2月14日）
此文档提供了Full-Text 规范预期能够处理的实际情况。
XQuery规范工作草案，至笔者截稿之日最新的版本是：2003年11月12日的版本，可以通过下面的地址获得最新的工作草案 http://www.w3.org/TR/XQuery/。

XQuery的模块结构
XQuery模块包括三个部分:名字空间和模式声明,函数定义，查询表达式。其中模式声明和函数定义不是必需的。
（1）名字空间的定义类似于：namespace xs = “http://www.w3.org/2001/XMLSchema”
（2）函数定义的概念对于程序设计人员并不陌生，下面就是一个函数定义的实例（后面我们还会用到这个例子）：

define function depth(element $e) returns xs:integer
{
   {-- An empty element has depth 1 --}
   {-- Otherwise, add 1 to max_u100 ?epth of children --}
   if (empty($e/*)) then 1
   else max(for $c in $e/* return depth($c)) + 1
}
头两个部分合在一起叫做query prolog。
（3）查询表达式是模块结构中最重要的部分，例如：
<Everyone>
   for $e in document ("Emp.xml")//Name
   return <Who> $e </Who>
</Everyone>

XQuery语法与实例
每一个XQuery查询包括一个或多个查询表达式。常用的XQuery语法有：路径表达式（Path Expression），算术表达式与布尔表达式， FLWR表达式，条件表达式（Conditional Expression），元素构造器（Element Constructor），以及函数调用（Function Call）。
路径表达式（Path Expression）
XQuery中, 的路径表达式沿袭了XPath 2.0的语法。它们使用path标记从XML文档中选择感兴趣的节点。在这里其实是把XML文档看作是带有结点的树。路径表达式提供了从结点树中选择结点的方法。下面举一些路径表达式的例子：
? para 对上下文结点的段落（para）元素进行选择
? * 对上下文结点的所有元素进行选择
? text() 对上下文结点的所有文本结点进行选择
? @name 对上下文结点的name属性进行选择
? @* 对上下文结点的所有属性进行选择
? para[1] 对上下文结点的第一个para元素结点进行选择
? para[last()]对上下文结点的最后一个para元素结点进行选择
? */para对上下文结点作为孙子结点的para元素进行选择
? /doc/chapter[5]/section[2]选择doc的第五章节的第二部分
? chapter//para 对上下文结点的孩子结点chapter的孙子结点para元素进行选择
? //para 对所有的文档根结点的孙子结点para以及对做为上下文结点的同一个文档中的para元素进行选择
? //olist/:项在同样的文档中选择所有的项元素作为具有olist双亲结点的上下文结点
? . 选择上下文结点
? .//para 选择作为上下文结点的孙子结点的para元素
? .. 对上下文结点的双亲结点进行选择
? ../@lang 对上下文结点的双亲结点的lang属性进行选择
? para[@type="warning"] 对所有的具有一个type属性值为warning的作为上下文结点孩子结点的para元素
? chapter[title="Introduction"]选择具有title名为Introduction的chapter.
? chapter[title] 选择出具有一个或多个title的chapter
? employee[@secretary and @assistant] 选择作为上下文结点的孩子结点的所有同时具有secretary属性和assistant属性的 employee。
? book/(chapter|appendix)/section选择book中双亲结点是chapter或者appendix的部分。
? book/xf:ID(publisher)/name 与xf:ID(book/publisher)/name返回同样的结果。

算术表达式与布尔表达式（Arithmetic and boolean expressions）：
这可以算是最简单的一部分了，规则与语法几乎同很多程序设计语言都类似，我们不妨通过几个例子来体会一下：
表达式：10 * 5 返回结果50.0
表达式：if (10 * 5 = 50) then 55 else 56 返回结果：55
表达式：

<result>
NumFormat("####", if (10 * 5 = 50) then 55 else 56)
</result>

返回结果：55
表达式：

<result>
NumFormat("###.##", if (10 * 5 = 50) then "55.5555" else "56.4444")
</result>

请注意需要双引号。计算结果将返回：55.56
FLWR 表达式
FLWR（读作“flower”）是XQuery最为有特色且是最为重要的的语法类型之一。它们看上去和SQL的select 语句类似，并且具有相似的功能。FLWR "flower", 代表 for, let, where, 以及 return表达式。其中：
（1） For语句将一个或多个变量同表达式结合在一起，每一个变量都会被赋予一系列值，这些值正是相应的表达式求得的，整个的内容即是这些序列值得笛卡儿乘积。
（2） Let语句将变量直接与一个完整的表达式绑定在一起。如果for语句存在，由let创建的变量绑定就会加入到由for语句产生的tuple当中。如果没有for语句，let语句将会产生一个带有所有变量绑定的 tuple。
（3） Where语句适用于由for语句和let语句产生的tuple。
（4） Return语句包含一个被用于生成FLWR表达式结果的表达式。
尽管一个完整的查询语句可以在一行内完成，XQuery仍然采用缩进式程序设计风格来增加可读性。在我们的数据查询中，我们使用缩进式程序设计主要与输出的嵌套遥相呼应。例如输入中的 "for" 语句与输出中的 "for" 语句是在竖排对齐的。当然这是我们的编程风格，你大可保留自己的程序设计风格。
例：for $e in document ("Emp.xml")//Name
return <Who> $e </Who>
上面的例子为每一个<Name>元素返回一个 <Who> 元素。输出的形式如下所示。实际的输出将取决于数据库的具体情况。不同的数据库输出格式将不同。
<Who> <Name> Hari </Name> </Who>
<Who> <Name> John </Name> </Who>
...
<Who> <Name> Leu </Name> </Who>
例：let $e := document ("Emp.xml")//Name
return <Who> $e </Who>
例子返回为由<Name>元素组成的森林，并被包围在一个 <Who>元素中。
<Who>
   <Name> Hari </Name>
   <Name> John </Name>
   ...
   <Name> Leu </Name>
</Who>
需要注意的是上面的let语句都返回一个正确的 xml 文档。但是 for 语句不然。如果这是用户所希望的，那就很好。但是如果用户希望要得到一个格式整齐的xml文档，那么for查询将可以修改为。

<Everyone>
for $e in document ("Emp.xml")//Name
return <Who> $e </Who>
</Everyone>

上面的表达式将会返回一个正确的xml文档。请注意在这个例子中的标签 <Everyone> 和 <Who> ，是原样返回的。同时需要注意的是为了使return语句正常执行，必须包含一个单一的实体。
<Everyone>
   <Who> <Name> Hari </Name> </Who>
   <Who> <Name> John </Name> </Who>
   ...
   <Who> <Name> Leu </Name> </Who>
</Everyone>

请注意上面的查询返回的是<Name>元素。如果我们想仅仅显示名字的值而不显示出任何的标签该如何做呢? 我们需要使用text()函数。在上面的查询中，将"//Name" 改为"//Name/text()" ，将"$e"改为"$e/text()"。下面的查询就使用了这种方法。
for $e in document ("Emp.xml")//Name
return $e/text()
这个查询返回了一系列没有标签的名字。这说明XQuery查询是可以根据用户或者应用程序所预期的情况定制的。XQuery是从一种叫做Quilt的语言中发展起来。
Hari
John
...
Leu
这里有另外一个例子。

for $d in distinct(document("Emp.xml")//DName)
let $e := document("Emp.xml")//entry[DName = $d]
return
concat($d/text(), " department has ", numformat("##", count($e)),
" employee(s).")

将会输出下面的结果： Credit department has 1 employee(s).
Toys department has 2 employee(s).
Shoes department has 1 employee(s).
Audit department has 1 employee(s).

条件表达式（Conditional Expression）
在前面的例子中我们已经初步接触了一些if then else语句的用法，下面我们来具体看看他们的语法格式：
if <条件表达式> then <表达式一> else <表达式二>
在条件表达中，条件表达式应当赋值为布尔值，或者是一个能被转换为布尔值的类型。如果值是为真，整个条件表达的结果的值和表达式一的值一样。否则和表达式二一致。下面提供给读者一个简单的例子：

<Report>
for $e in document("Emp.xml")//entry
return
   <Entry>
      $e/Name,
      <ProposedSal> if ($e/Salary .>=. 60000) then 100000 else 200000</ProposedSal>
   </Entry>
</Report>

元素构造器（Element Constructor）
在写查询语句的时候，你可能需要创建新的元素作为输出的一部分。元素构造器便提供这样的功能。一个简单的元素构造的例子如下：
<newElement>XQuery Language</newElement>
新元素的内容可以是指定的，也可以是计算产生的。
函数调用（Function Call）
这里函数的概念和其他程序设计语言中的函数概念是完全相同的。我们来看一个例子：
下面的函数返回XML文档的最大深度。
随后是一个计算partslist.xml 文档深度的调用。

define function depth(element $e) returns xs:integer
{
   {-- An empty element has depth 1 --}
   {-- Otherwise, add 1 to max depth of children --}
   if (empty($e/*)) then 1
   else max(for $c in $e/* return depth($c)) + 1
}

depth(document("partlist.xml"))

高级话题与应用
求和
在XQuery当中，求和通过let和sum可以很简便的完成，在SQL中，要使用"group by"与"having"语句。但是在SQL当中， "group by"和"having" 只能和一个from语句对应，而在XQuery当中可以使用多个let语句。下面的例子是按照部门返回工资总额。

<DeptPayrolls>
for $d in distinct(document("Emp.xml")//DName)
let $s := document("Emp.xml")//entry[DName = $d]/Salary
return
   <DeptPayroll>
      $d,
      <SumSal> sum($s) </SumSal>
   </DeptPayroll>
</DeptPayrolls>

如果想得到大于等于70000的工资，我们应当做下面的查询。
<SpecialDepartments>
for $d in distinct(document("Emp.xml")//DName)
where every $s in document("Emp.xml")//entry[DName = $d]
      satisfies ($s/Salary >= 70000)
return
   <DeptAvg>
      $d,
      <AvgSal> avg(document("Emp.xml")//entry[DName = $d]/Salary) </AvgSal>
   </DeptAvg>
</SpecialDepartments>

值得注意的最重要一点是。在Kweelt当中我们使用".>=." 而不是使用 ">="e uses ".>=."。最大的障碍是Kweelt不支持数词。因此 "every x satisfies c(x)" 在Kweelt不起作用。
设想一个等价表达式"not(some x satisfies not(c(x))" 尽管这样还是含有数词，但是它提供给我们一种间接的方式：首先我们在$s中收集满足not(c(x))的元素x，在where从句中使用"not exists ($s)" 来过滤掉已经通过for语句但是不符合这个要求的部分。剩余的部分就是所需的，并且将在return语句执行后被释放出来。因此我们得出了下面的查询。

<SpecialDepartments>
for $d in distinct(document("Emp.xml")//DName)
let $s := document("Emp.xml")//entry[DName = $d and Salary .<. 70000]/Salary
where not(exists($s))
return
   <DeptAvg>
      $d,
      <AvgSal> avg(document("Emp.xml")//entry[DName = $d]/Salary) </AvgSal>
   </DeptPayroll>
</SpecialDepartments>

这同时也说明了SQL语法的不完善性，计算机科学技术系的学生必须十分重视对这个的认识。当一个事情被标准化后会引来多大的麻烦。而XQuery在最开始的时候就被设计的非常好。Kweelt 的不完善性可能源于预标准化版本的XQuery。
排序
排序是被默认执行的。如下例所示：
for $i in (1, 2),
    $j in (3, 4)
return
    <tuple>
      <i>{ $i }</i>
      <j>{ $j }</j>
    </tuple>

结果输出的格式如下，顺序是非常重要的。
  <tuple> <i>1</i> <j>3</j> </tuple>
  <tuple> <i>1</i> <j>4</j> </tuple>
  <tuple> <i>2</i> <j>3</j> </tuple>
  <tuple> <i>2</i> <j>4</j> </tuple>

当然，我们为了效率也可以改变顺序，如下例所示：输出的结果与上面类似，但是顺序可能是不一样的，系统将进行优化。
for $i in unordered(1, 2),
    $j in unordered(3, 4)
return
    <tuple>
      <i>{ $i }</i>
      <j>{ $j }</j>
    </tuple>

重构
考虑下面的一个例子，这个例子是关于书的，每一本书包含作者和出版商的信息。
<bib>
  <book>
    <title>TCP/IP Illustrated</title>
    <author>W. Stevens</author>
    <publisher>Addison-Wesley</publisher>
  </book>
  <book>
    <title>Advanced Programming in the Unix environment</title>
    <author>W. Stevens</author>
    <publisher>Addison-Wesley</publisher>
  </book>
</bib>

下面的表达式用来将输入转换成一个作者列表：
<authlist>
{
   let $input := document("bib.xml")
   for $a in distinct-values($in//author)
   return
     <author>
      {
        <name>
           { $a/text() }
        </name>,
        <books>
         {
           for $b in $input//book
           where $b/author = $a
           return $b/title
         }
        </books>
      }
     </author>
}
</authlist>

可以发现：作者表中列出的是作者的姓名，每一个作者元素都包括了作者的姓名以及作者的著作名称，其中使用了distinct-values来防止输出顺序遭破坏。
下面是表达式输出的结果：

<authlist>
  <author>
    <name>W. Stevens</name>
    <books>
      <title>TCP/IP Illustrated</title>
      <title>Advanced Programming in the Unix environment</title>
    </books>
  </author>
</authlist>

进行数据查询程序编写的程序员应当谨慎将FLWR表达式同路径表达式组合使用。最为重要的是你必须清除路径表达式的返回结果是按照文档顺序的，而FLWR 表达式的返回结果是由for语句决定的。
查找
下面的例子列出了价格大于100的书，按照第一作者的名字来查找，每个作者又按照标题来查找。
//book[price > 100] sortby (author[1], title)
排序可以产生多级查找结果，下面的查询返回了一个按照字母顺序排出的出版商列表，在每一个出版商元素中包含了若干的书元素，每一个数元素都包含书的名称和价格，而且是按照降序排列的。
<publisher_list>
   {for $p in distinct-values(document("bib.xml")//publisher)
    return
       <publisher>
          <name> {$p/text()} </name>
          {for $b in document("bib.xml")//book[publisher = $p]
           return
              <book>
                 {$b/title}
                 {$b/price}
              </book>
           sortby(price descending)
          }
       </publisher>
    sortby(name)
   }
</publisher_list>

需要注意的是：sortby如果在路径表达式中使用sortby将会造成不可预期的结果。
下面我们再来分析下面的例子：

(employees sortby (salary))/name
你可能会觉得返回的查询结果一定是按照雇员的收入排列的雇员的名字。但是，路径表达式总是返回按照文档顺序的结点序列。因此，这个查询的结果是按照文档序列排列的雇员名列表。如果希望得到的名字序列是按照工资顺序输出的，查询的方法就应当如下所示：
for $e in (employees sortby (salary)) return $e/name
过滤
函数filter($doc//(A | B))返回一个森林。
? 从$doc中过滤掉不是A和B类的结点。
? 保护A类结点和B类结点的关系。

执行过滤前的：$doc 执行过滤后的：filter($doc//(A | B))
下面的例子就用了过滤来返回cookbook.xml文件的目录。

<toc>
   {
   filter(document("cookbook.xml") //
      (section | section/title | section/title/text()))
   }
</toc>

在序列中的查询
XQuery使用precedes，follows，<< 和 >>操作符来表示序列关系。下面的这部分查询包含了一个外科手术报告，包含了流程（procedure），开刀（incision），以及麻醉元素（anesthesia）。
下面的查询返回在第一个流程的第一个手术和第二个手术的元素和结点序列。

<critical-sequence>
{
    let $proc := //procedure[1]
    for $n in $proc//node()
    where $n follows ($proc//incision)[1]
      and $n precedes ($proc//incision)[2]
    return $n
}
</critical-sequence>

SPJ查询: 雇员与管理人员的名字
这里有一个例子：
<EmpAndManagers>
for $e in document ("Emp.xml")//entry
for $m in document("Dept.xml")//entry
where $e/DName = $m/DName
return
   <EmpManager>
      $e/Name,
      $m/MName
   </EmpManager>
sortby(Name descending)
</EmpAndManagers>

查询将会返回下面的xml文档 document。
<EmpAndManagers>
   <EmpManager>
      <Name> Mary </Name>
      <MName> Mary </MName>
   </EmpManager>
   <EmpManager>
      <Name> Leu </Name>
      <MName> Leu </MName>
   </EmpManager>
   <EmpManager>
      <Name> John </Name>
      <MName> Mary </MName>
   </EmpManager>
</EmpAndManagers>

下面是进行查询的另外一种书写方法。
<EmpAndManagers>
for $e in document ("Emp.xml")//entry
for $m in document("Dept.xml")//entry[DName = $e/DName]/MName
return
   <EmpManager>
      $e/Name,
      $m
   </EmpManager>
sortby(Name descending)
</EmpAndManagers>

如果我们考虑用let语句来代替第二个for语句应当如何做呢？我们来看下面的查询。
<EmpAndManagers>
for $e in document ("Emp.xml")//entry
let $m := document("Dept.xml")//entry[DName = $e/DName]/MName
return
   <EmpManager>
      $e/Name,
      $m
   </EmpManager>
sortby(Name descending)
</EmpAndManagers>

在前两个带有for语句嵌套的查询当中，里面的那个for语句没有发现任何的匹配的部门，对于这个雇员，什么也没有报告出。现在在这种原来的第二个地方使用let语句的情况下，变量将会与空的manager榜定。这不是一个失败操作，空的manager将被报告。结果如下显示。
请注意没有manager的employee也被列出来了，但是由于这样的employee在部门关系中没有匹配的元素。因此，< Manager>元素将被简单的省略掉。当部门关系中没有manager的时候会是什么样呢?在这种情况下，将会是这种结构"< Manager> </Manager>" 这个元素也将出现在查询结果当中。

没有manager的信息可以通过下面的方法过滤掉：
<EmpAndManagers>
for $e in document ("Emp.xml")//entry
let $m := document("Dept.xml")//entry[DName = $e/DName]/MName
return
   if (exists($m)) then
      <EmpManager>
         $e/Name,
         $m
      </EmpManager>
   else ""
sortby(Name descending)
</EmpAndManagers>

用类似的方法我们可以将具有manager 的employee信息过滤出来，可以使用下面的语句："not(exists($m))"。
需要注意的是当与SQL语言比较时，XQuery提供了更多的选择。当用户对于如何进行一个查询有了初步的想法时，基本就会成功了。还需要注意否定似乎变得更为对称。在SQL中进行的子查询只要运用let表达式就可以完成了。

按照部门重组Emp.xml 文档
Employee记录是按照<Name> 元素组织的。即使在部门中可能有多个雇员，在xml 当中这样做并不复杂。下面的例子展示了如何用查询的方法完成上面的功能。
<DeptsAndEmps>
for $d in distinct(document("Emp.xml")//DName)
return
   <DeptList>
      $d,
      <EmpsList>
      for $e in document("Emp.xml")//entry[DName = $d]
      return
         <NameSal> $e/Name, $e/Salary </NameSal>
      </EmpsList>
   </DeptList>
</DeptsAndEmps>

查询的结果如下所示：
<DeptsAndEmps>
   <DeptList>
      <DName> Credit </DName>
      <EmpsList>
         <NameSal> <Name> Hari </Name> <Salary> 55000 </Salary> </NameSal>
      </EmpsList>
   </DeptList>
   <DeptList>
      <DName> Toys </DName>
      <EmpsList>
         <NameSal> <Name> John </Name> <Salary> 80000 </Salary> </NameSal>
         <NameSal> <Name> Mary </Name> <Salary> 90000 </Salary> </NameSal>
      </EmpsList>
   </DeptList>
   ...
</DeptsAndEmps>

XQuery与SQL 的比较
首先我们来看两个例子：
SQL
SELECT pno
FROM p
WHERE descrip LIKE ’Gear%’
ORDER BY pno;
SELECT pno, avg(price) AS avgprice
FROM sp
GROUP BY pno
HAVING count(*) >= 3
ORDER BY pno;

XQuery
for $p in  document(”p.xml”)//p_tuple
where starts-with($p/descrip, ”Gear”)
order by $p/pno
return $p/pno
for $pn in distinct-values(
  document(”sp.xml”)//pno)
let $sp:=document(”sp.xml”)//sp_tuple[pno=$pn]
where count($sp) >= 3
order by $pn
return
  <well_supplied_item> {
  $pn,
  <avgprice> {avg($sp/price)} </avgprice>
  } <well_supplied_item>
通过上面两个例子我们可以看出，二者既有类似之处，又有很多不同，作为两种主流的查询语言，我们可以对两者进行一个比较：
SQL
是对关系型数据库的操作
模式（Schema）是已知的，并且已经有相应的策略。
使用select, from, where, group by以及having语句命令
关系属性值
Tuple
完整的XML 文档
用tuple变量代替tuple
在每个select语句中只能搭配一个group变量
在where语句过滤出tuple后，group by 和having 语句方可处理group。
仅仅是单一的属性子查询能够被用于where语句
语法形式纷繁复杂
仅仅返回一个关系
Select语句返回简单的值

XQuery
是对XML文档的操作
模式不是必须的。在不久的未来模式可以被用于验证和进行XQuery查询。
使用for-let, where和return表达式对应于SQL中的from, where和select语句。在XQuery中是不需要group by以及having语句的。
单一的XML元素

For变量代表的是一个元素（一个子树）let变量代表的是一系列元素（一个森林）可以有多个for和let变量

where语句可以被用于过滤由for和let变量定义的一个元素或者一系元素。
Let变量可以被用于创建任意数目的类似分组机制。
在XQuery中没有这样的要求。在XQuery中，可以在你需要使用子查询的任何时候使用它
简洁清晰的语法结构。合乎普通语法的结构都是可用的。还包括了，if then else，聚集和数词
可以返回xml文档甚至是简单的文本文档
Return语句允许元素被调整成任意的结构作为结果输出。

XQuery的实现与应用
XQuery作为一种全新的数据查询语言，已经被众多的科研机构与企业所接受和采纳。目前微软、IBM和Oracle公司数据库核心都是采用的XQuery标准。
IBM的Xperanto-based Information Integrator集成了XML、XQuery、文件搜索技术及Web Services技术。可让人们在关系数据库、XML文件、一般文件、电子表格及其他数据源中查询数据，有如在单一数据库中。
BEA推出的Liquid Data是以XML和XQuery为基础的引擎及可视化工具，可以将不同地点的数据源连接起来，包括表格、文件、影音资料。可以加速企业內部、企业与合作夥伴间的信息整合与集成。
Oracle在2002年3月发表Java XQuery的原型标准，现在我们可以通过下面的地址获得一个最新下载：到本文完稿时最新版本为 RELEASE_0.2_030217，这是一个技术预览版。http://otn.oracle.com/sample_code/tech/xml/xmldb/xmldb_XQuerydownload.html其中包含一个带有 Oracle XQuery 原型（在一个 jar 文件中）和 java 文档的 jar 文件。一旦安装完成，就可以使用 Java API (OJXQI) 或命令行实用工具来测试该原型。
运行这个原型还需具备一些最基本的环境，如XDK，最低版本需要XDK 9i production release - XDK 9.2.0.1.0。另外就是JDK，最低版本为JDK 1.3，如果要访问数据库还要用到Oracle XSU以及JDBC驱动。
解压缩XQuery文件后，需要设置环境变量，我们假设XQuery文件夹背解压缩到C盘根目录，那么对环境变量的操作如下：
CLASSPATH=C:/XQuery/XQuery.jar；C:/XDK/lib/xmlparserv2.jar;
如果设置完全没有问题，你现在就应当可以进行一个XQuery查询了。
由于Oracle官方下载包XQuery原型中的样例exmpl1.xql看起来似乎有些问题，我们在此基础之上作一些修改，得到了下面的一个测试程序：

<bib>
  {
    FOR $b IN document("bib.xml")/bib/book
    WHERE $b/publisher = "Addison-Wesley" AND $b/@year > 1991
    RETURN
      <book>
         {$b/@year}
         {$b/title}
      </book>
  }
</bib>

切换到命令行状态下，进入解压缩XQuery.jar的文件夹，在命令行下我们输入：java oracle.XQuery.XQLPluse exmpl2.xql便会从命令行中返回下面的查询结果：

另外还有一种交互式的方法，笔者感觉设计的还不完善，所以不作为介绍内容。如果想了解可以参考Oracle的在线文档。
该技术的特色是实现了W3C的XQuery标准再加上Oracle的扩展功能，且着重支持关系数据库及XQuery用例（XQuery use cases），另一特色是包含一個实验性质的JDBC式的Java API供XQuery使用，並像SQL的函数类似，可以在 SQL的查询结果上使用XQuery。Oracle的目标是提供兼具SQL风格及XQuery-based的查询语法，以便查询Oracle数据库中的 XML数据。Oracle 9i也支持XML schema，可用XML格式存取原本关系数据库中的数据，成为Native XML数据库。最新的 Oracle 10g也进一步加强了对XQuery的支持。
Microsoft早在2001年5月就推出的XML查询语言演示 (XML Query Language Demo)网，你可以通过下面的地址访问到：(http://131.107.228.20/)。你可以使用上面的例子来进行查询演示，也可以自己来编写XQuery查询程序。我们下面来看一下一个具体的示范查询：

在SQL Server 2000 中Microsoft提供了对XML支持。而在即将推出的代号为Yukon的新版SQL Server中不但增强了对 XML的支持，用于管理和存储结构和非结构化的数据。而且还加入和对XQuery查询能力的深度支持，允许XML对象的数据层计算。同时还提供了创建 XQuery查询程序的一套新的工具集。
参考文献：
下面提供出来的不但有本文成文时参考的一些材料，还有一些是我希望推荐给大家的极其珍贵的学习材料，希望能够对读者学习XQuery有所帮助：
? XQuery from the Experts: A Guide to the W3C XML Query Language, Addison Wesley
? XML Query Use Cases, W3C Working Draft, (http://www.w3.org/TR/xmlquery-use-cases)
? XML Query Requirements, W3C Working Draft, (http://www.w3.org/XML/Group/xmlquery/xmlquery-req)
? XQuery 1.0 and XPath 2.0 Data Model, W3C Working Draft(http://www.w3.org/TR/query-datamodel/)
? XQuery 1.0 and XPath 2.0 Formal Semantics, W3C Working Draft (http://www.w3.org/TR/query-semantics/)
? XQuery 1.0 and XPath 2.0 Functions and Operators Version 1.0, W3C Working Draft (http://www.w3.org/TR/XQuery-operators/)
? XQuery 1.0: An XML Query Language, W3C Working Draft(http://www.w3.org/TR/XQuery/)
? XML Syntax for XQuery 1.0 (XQueryX), W3C Working Draft(http://www.w3.org/TR/XQueryx)
? Howard Katz: An introduction to XQuery:
（http://www-106.ibm.com/developerworks/xml/library/x-XQuery.html）
? Howard Kaze, Don Chamberlin, Denise Draper, Mary Fernandez, Michael Kay, Jonathan Robie, Michael Rys, Jerome Simeon, Jim Tivy, and Philip Wadler : XQuery from the Experts: Influences on the design of XQuery（http://www-106.ibm.com/developerworks/xml/library/x-xqbook.html）
? Don Chamberlin: XQuery: An XML query language
http://www.research.ibm.com/journal/sj/414/chamberlin.pdf

作者简介：
曾毅:微软.NET最有价值专家（Microsoft .NET MVP）,计算机科学技术网站长。中国软件网(CSDN)专栏作家。NetBSD 操作系统中文用户组站长，负责《Visual Studio Magazine 2002-2003中文精华合集》的翻译与主审工作。您可以通过下面的地址访问到他发表的所有文章http://www.cstc.net.cn/。