SavannaQL查询语言.docVIP

SavannaQL查询语言规范 摘要：SavannaQL查询语言是根据数字化图书馆项目的要求，参考几种流行的XML查询语言（包括Lorel，XML-QL）而设计的一种通用的基于XML树型结构的数据查询和操纵语言（DML）。SavannaQL在语法上参考了数据库查询语言SQL，并且充分地考虑了XML树型结构的特点和在数据库中存储XML数据的要求。本文根据查询实例用半形式化的方式来介绍SavannaQL的语法和语义。 0．XML查询的语义 首先明确一下XML查询的语义到底是什么。在Savanna服务器中，XML数据是按照文档类型来组织的。一种文档可以用DTD来描述，也可以用XML Schema来描述。不管是什么，总之一种文档类型最终对应于Savanna服务器中的一个资源库。在一个资源库中可以有多个符合该资源库所对应的文档类型的XML文件。这样，XML查询的有哪些信誉好的足球投注网站空间就是一棵超树（super tree）。如图1所示。 图1 XML查询的有哪些信誉好的足球投注网站空间 超树与普通树的不同之处是在超树的某些节点上允许有不定数量的具有相同结构的子树，即图1中标以“*”的节点。这样节点的出现才使XML查询成为一个问题。 XML查询的语义就是在超树中查找符合要求的子树。这些子树可以有相同的结构，也可以有不同的结构。后者的情形更为复杂一些，是半结构化数据（Semistructured Data）领域研究的问题之一。这里不做重点的讨论，但是SavannaQL和Savanna服务器的设计使得支持异构子树的查询变得很容易。 例如，在一次查询中，我们关心满足条件的A节点下的子树。首先来看条件到底是应该由什么样的元素组成的。这里，我们定义条件分成两个部分。第一个部分根据所关心节点之上的节点的数据给出。包括B和C（这两个节点是不同类型的）。第一部分的条件执行结束之后，有哪些信誉好的足球投注网站空间变成了具有相同结构的子树A的集合。该过程也可以被看作是一个“剪枝”的过程——剪除在超树中查询所不关心的和不满足高层查询条件的树枝。第二个部分则与通常的数据库查询类似。这时可以把相同结构的子树的集合看成是一张二维表，使用类似SQL的查询在该表中继续剔除不满足条件的子树而得到最后需要的查询结果。 在找到满足查询条件的子树集合后，我们就可以进行任何可以想象的操作了。例如，动态生成XML页面（北图的View，SELECT），对子树中指定位置的元素进行修改（UPDATE），删除子树（DELETE）等。下面我们用实例来分别地看一下SavannaQL中各语句的语法和语义。所用到的资源库“将军”的描述可以在附录A中找到。 创建资源库 语法：CREATE DOCTYPE docname BY url 例子：CREATE DOCTYPE “将军” BY http://a.b.c/将军.DTD 语义：在Savanna服务器中创建一个名字为docname的资源库。对该资源库的描述（DTD或者XML Schema）在地址为url的文件中。在处理该语句时，SavannaQL分析器会调用DTD或者XML Schema解析器在Savanna Metadata on Datasources（SMD）中添加对应于该资源库的数据库模式（一组关系的集合）。处理流程还要判断docname是否已经存在，以及url对资源库的描述是否合法等问题。该语句的实现由程雷负责。 返回： 0-成功地创建了资源库docname，并且将它复制在系统缺省的数据库位置 docname已经存在 指定的url不存在或者无法读出 由url定义的文档类型非法 在新位置安装资源库 语法：ADD docname TO position 例子：ADD “将军” TO “Fu Yan’s PC” 语义：用SMD中记录的docname元信息在位置为position的数据库中创建相关的数据库模式（一组表）。Position是一个字符串，具体的含义在DB Agent中定义。 返回： 0-成功地把资源库docname加入到了位于position的数据库中 position在Savanna Server中未做记录 资源库docname在位于position的数据库中已经存在 资源库docname不存在 设置缺省的资源库位置 语法：SET DEFAULT POSITION OF docname AT position 例子：SET DEFAULT POSITION OF “将军” AT “Fu Yan’s PC” 语义：当对一个资源库的操纵不明确地给出位置信息时，这个操纵将在缺省的位置上进行。该语句可以使用户设定一个资源库的缺省位置。 返回： 0-成功地将资源库docname的缺省位置设置为position position在Savanna Server中未做记录 资源库docname不存在 导入数