柳晓华，万幼川，黄解军

(1.武汉大学遥感信息工程学院,湖北武汉430079；2.武汉理工大学资源与环境工程学院,湖北武汉430070)

一种基于XML数据模型的时空查询代数探讨

柳晓华1，万幼川1，黄解军2

(1.武汉大学遥感信息工程学院,湖北武汉430079；2.武汉理工大学资源与环境工程学院,湖北武汉430070)

时空查询代数是一种抽象的时空查询语言，它利用时空抽象数据类型的一部分基本的谓词、操作、函数来表达时空查询。而在时空微观运算上采用的数据结构是本源XML数据库 (Native XML Database，NXD)用来存储半结构化数据的XML数据结构，所以对XML查询代数-XQuery FS的数据类型和查询操作做了时空扩展，并引入了GML中描述地理特征及其关系的数据类型，定义了一种新的基于XML数据模型的时空查询代数。

时空查询代数；XML数据模型；XML查询代数

关系代数是一种抽象的查询语言，它利用对关系的运算来表达查询，这些运算除了基本的集合、比较、逻辑运算，最重要是选择、投影、连接等专门的关系运算[1]。与关系代数类似，时空查询代数是针对基于XML数据模型的时空抽象数据类型。它的运算对象是时空对象序列(sequence)，而运算符是以FLOWR表达式[2]为代表的选择、投影、连接运算，运算结果也是时空对象序列。时空查询代数本质上是从时空概念模型中抽取时空抽象数据类型 (ADT)，扩展出一系列关于时间、空间、时空数据类型的专用运算符、函数等运算规则，并能够与基础的代数系统，例如关系代数或者XML代数等结合起来，解决基于时空数据模型的宏观运算的定义（时空查询算法的主干部分），即宏观运算。……