变量查询代数及最短路径分析

摘要

本文简单分析了满足ＧＩＳ空间查询代数的一般要求，然后形式化地定义了一种适合于ＧＩＳ究竟查询的变量查询代数。在此代数中，将谓词划分为３类：原子谓词、特征谓高速和空间谓词，以适应目标的空间运算描述；为此代数定义了七类形式的运算，其中的投影运算π、聚集选择σ＾Σ、极限选择σ＾ｍ和分裂选择σ＾ｓ拓广了一般查询代数的查询空间，此查询代数的独特之处在于能完成的网络分析功能；最后给出最短路径查询的实验。