论文部分内容阅读
在复杂多变的现实世界中,时空不确定性广泛存在。知识的不完备性、概念的模糊性与数据的衍生性,使得实体具有不确定性特征。作为一种面向时空实体的数据库管理技术,时空数据库必须充分分析时空不确定性并提供合理的解决方法。本文从数据模型、分析操作和查询处理等方面对时空数据库中不确定性处理技术的若干关键问题进行了深入研究,给出了相应研究成果。论文主要在以下几个方面取得了进展:⑴提出了一种基于灰集的不确定性时空表示模型,用一个灰色区域来表示不确定性时空对象的不确定性范围,以灰集的上、下两个隶属度函数来表示对象的不确定性分布。相对于模糊集模型,该模型关注上下隶属度函数之间的未知区域而不是隶属度函数本身,减少了对隶属度函数自身精确度的依赖;相对于粗糙集模型,该模型可以通过对隶属度函数的截集计算定量描述实体的不确定性,提高了对时空不确定性的定量表示能力。该模型放宽了对时空实体已知信息的限制,适合表示部分已知、部分未知的不确定性对象。⑵针对随时间连续变化的区域对象,提出了一种基于rcc公理的不确定时空拓扑关系形式化分析方法。采用不确定性高维空间拓扑关系来判定不确定性低维时空关系,将二维Egg/Yolk模型扩充到三维空间,设计并证明了三维不确定性空间拓扑关系和不确定性时空关系之间的转换规则,最终获得了随时间演化的不确定性区域间拓扑关系的形式化分析方法和所有拓扑关系的完备描述。⑶实现模型方面,提出了一种基于GM(1,1)灰模型的时空单元计算方法。能够在持续运动对象各离散抽样点包含不确定性的情况下降低由离散表示带来的误差和不确定性,能够稳定地反映不确定性时空对象各个时态单元内的整体变化趋势。与已有的线性局部插值模型相比,模型的误差稳定,预测性能良好。⑷不确定性时空查询处理方面,首先设计了一种不确定性时空查询的符号表示法,用于对各类不确定性时空查询进行统一归类和处理。表示法消除了由不同表现形式带来的语义混淆,能建立起各种形式不同查询的内在联系。然后提出了一种基于最小外接矩形对的查询处理框架,设计了查询重写规则和执行策略,以对象的内、外2个外接矩形来过滤不需要参与运算的元组,可以有效提高不确定性时空查询的处理效率。最后针对时空查询估计问题提出了一种可采用的基于直方图的时空选择性查询灰色估计方法。另外,针对提出的抽象模型,基于Gueting的确定性时空数据类型系统,本文设计了一个不确定性时空数据类型系统,给出了各类型的形式化定义;讨论了类型的一般性和通用性、在集合操作下的封闭性、时空一致性和独立性;以该类型系统作为指导,基于Realms和可扩充数据库系统AMOSII,设计了验证系统GROAMOSII,对主要研究成果进行了验证实现。