论文部分内容阅读
地理信息系统 (GIS)是一种计算机辅助工具 ,用于存储和分析在地理空间上和时间上发生的现象和事件。 GIS系统在航空航天、军事和民用等领域具有重要应用。数据库是 GIS系统的核心 ,空时数据的存储和查询是 GIS数据库中的两个重要问题。本文针对现有空时数据模型的不足 ,提出了一种基于线性约束数据库的空时数据模型 ,阐述了该模型与已有空时数据模型间的关系。本文进一步对关系数据模型上的 Datalog查询语言的语法和语义进行了推广 ,使之能够对提出的 GIS空时数据模型的数据进行查询。最后给出一个在飞