作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2005, Vol. 31 ›› Issue (17): 72-74.

• 论文 • 上一篇    下一篇

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

金培权,岳丽华,龚育昌   

  1. 中国科学技术大学计算机科学技术系,中国科学技术大学计算机科学技术系,中国科学技术大学计算机科学技术系 合肥 230027
  • 发布日期:2005-09-15

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

JIN Peiquan, YUE Lihua, GONG Yuchang   

  1. (Dept. of Computer Science & Technology, Univ. of Science and Technology of China, Hefei 230027)
  • Published:2005-09-15

摘要: 提出了一种基于对象关系数据库和中间件技术的时空数据库系统实现与查询处理框架,着重论述了其中的时空查询代数。引入了二阶基调用于时空查询代数的形式化定义,给出了时空数据库的逻辑结构定义、类型系统定义以及查询操作定义。

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

Abstract: 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.

中图分类号: