不确定性时空查询的一种符号表示法  

Notation for Syntax of Indeterminatly Spatiotemporal Queries

作　　者：包磊[1] 秦小麟[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,南京210016

出　　处：《南京航空航天大学学报》2006年第1期101-105,共5页Journal of Nanjing University of Aeronautics & Astronautics

基　　金：国家自然科学基金(69973032)资助项目;江苏省自然科学基金(BK2001045)资助项目

摘　　要：分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性,以BNF(B ackus-naurform)范式形式给出不确定性时空查询语义的统一符号表示法,并对典型查询进行举例说明。该表示法建立在时态谓词、时空谓词和不确定性时空谓词基础上,可消除由不同表现形式带来的语义混淆,以对各类不确定性时空查询进行统一表示。该方法还可用于不确定性时空数据库原型系统的实现和不确定性时空查询的进一步研究。Different forms and characteristics of temporal, spatiotemporal and indeterminatly spatiotemporal queries are discussed. A new notation for indeterminatly spatiotemporal queries is proposed. The notation is based on the temporal, spatiotemporal and indeterminate spatiotemporal predicates, and combines indeterminate predicates on the time dimension with predicates on explicit attributes and spatial dimensions. The proposed notation in the BNF form is shown by examples of various queries. Compared with the related work, such as spatiotemporal query language （STQL） and future temporal logic （FTL） ,it is proved that the notation is simple and extensible, and provides a consistent way for indeterminatly temporal or spatiotemporal queries. Results show that the notation can be applied to prototype implementation,

关 键 词：时空数据库 查询语言 不确定性 符号表示法 

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