基于二阶基调的时空查询代数形式化定义  

Formal Definition of Spatiotemporal Query Algebra Based on Second-order Signature

作　　者：金培权[1] 岳丽华[1] 龚育昌[1] 

机构地区：[1]中国科学技术大学计算机科学技术系,合肥230027

出　　处：《计算机工程》2005年第17期62-64,共3页Computer Engineering

基　　金：国家"863"计划重大专项基金资助项目(2002AA783055);面向21世纪教育振兴行动计划资助项目

摘　　要：提出了一种基于对象关系数据库和中间件技术的时空数据库系统实现与查询处理框架,着重论述了其中的时空查询代数。引入了二阶基调用于时空查询代数的形式化定义,给出了时空数据库的逻辑结构定义、类型系统定义以及查询操作定义。A framework for spatiotemporal query processing based on object-relational database and middleware technologies is proposed, and the spatiotemporal query algebra is mainly discussed. The second-order signature is introduced for the formal definition of spatiotemporal query algebra, and the definitions on the logical structure of spatiotemporal database, the type system, as well as the query operations are further presented.

关 键 词：时空数据库 查询代数 二阶基调 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]