空间对象多级网格索引有效性的数学证明.docVIP

空间对象多级网格索引有效性的数学证明 　　摘要：传统的实验验证方式是不完全归纳的方式，理论说服力存在不足，通过严密的数学理论论证能够实现完备的证明。阐述了空间对象网格索引机制的原理，重点对多级网格索引做了详细介绍，尤其针对空间对象多级网格索引机制的优越性进行了完备的数学证明，从理论上论证了多级网格索引的有效性。 　　关键词：空间对象；多级网格索引；时态数据库 　　中图分类号：TP301.6文献标识码：A文章编号文章编号：1672-7800（2013）012-0022-04 　　作者简介：陈鹏（1986-），男，华南师范大学计算机学院硕士研究生，研究方向为数据库索引、空间对象索引；周旋珍（1988-），女，华南师范大学计算机学院硕士研究生，研究方向为时态XML数据库、移动对象数据库；陈瑞鑫（1988-），男， 华南师范大学计算机学院硕士研究生，研究方向为移动对象数据库。 　　0引言 　　当前数据库的发展方向中，时态数据库、空间数据库以及时空数据库是几个重要的热点领域。 　　本文主要围绕空间数据库中空间对象检索索引展开讨论。 　　近年来，地理环境信息、医学医疗成像、卫星遥感图像处理等各个方面的应用研究产生了大量的空间数据信息，从而关于大量空间数据的存储、管理以及查询和计算成为了重要的应用需求。由于传统关系型数据库在存储、管理、检索空间数据对象方面存在诸多不足，因