基于本体和约束理论的统一时空数据模型研究

时空数据库技术已成为目前国内外研究的热点，它对于移动计算、环境监测、军事、交通管理等需要有效管理移动对象的应用有着重要的实际意义。本课题采用本体技术和约束理论对时空数据及时空变化的统一表示、查询等问题进行深入探索，通过时空本体建立时空数据及时空变化的统一语义建模，并采用约束理论解决连续时空变化的建模问题，从而构造可以完备描述和查询时空数据与时空变化的统一时空数据模型。同时以对象关系数据库和中间件技术为基础，深入探讨时空数据库的实现结构、查询处理等问题，解决统一时空数据模型的实现问题。课题从模型的通用性入手，从本体论的角度阐明时空数据与时空变化的一体化特性，从查询优化角度提出新的时空数据库实现技术，为时空数据库技术的进一步研究与应用提供新思路和理论依据。