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

摘要

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