分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性.以BNF(Backus-naur form)范式形式给出不确定性时空查询语义的统一符号表示法,井对典型查询进行举例说明。该表示法建立在时态谓词、时空谓词和不确定性时空谓词基础上,可消除由不同表现形式带来的语义混淆.以对各类不确定性时空查询进行统一表示。该方法还可用于不确定性时空数据库原型系统的实现和不确定性时空查询的进一步研究。
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,