| 基于二阶基调的时空查询代数形式化定义 |
| |
| 引用本文： | 金培权,岳丽华,龚育昌. 基于二阶基调的时空查询代数形式化定义[J]. 计算机工程, 2005, 31(17): 62-64 |
| |
| 作者姓名： | 金培权 岳丽华 龚育昌 |
| |
| 作者单位： | 中国科学技术大学计算机科学技术系,合肥,230027 |
| |
| 基金项目： | 国家“863”计戈Ⅱ重大专项基金资助项目（2002AA783055）;面向21世纪教育振兴行动计划资助项目. |
| |
| 摘 要： | 提出了一种基于对象关系数据库和中间件技术的时空数据库系统实现与查询处理框架，着重论述了其中的时空查询代数。引入了二阶基调用于时空查询代数的形式化定义，给出了时宅数据库的逻辑结构定义、类型系统定义以及查询操作定义。
|
| 关 键 词： | 时空数据库 查询代数 二阶基调 |
| 文章编号： | 1000-3428（2005）17-0062-03 |
| 收稿时间： | 2004-07-08 |
| 修稿时间： | 2004-07-08 |
Formal Definition of Spatiotemporal Query Algebra Based on Second-order Signature |
| |
| JIN Peiquan,YUE Lihua,GONG Yuchang. Formal Definition of Spatiotemporal Query Algebra Based on Second-order Signature[J]. Computer Engineering, 2005, 31(17): 62-64 |
| |
| Authors: | JIN Peiquan YUE Lihua GONG Yuchang |
| |
| 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. |
| |
| Keywords: | Spatiotemporal database Query algebra Second-order signature |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
