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

The Mathematical Proof of the Effectiveness of the Multi-level Grid Index Space Objects

作　　者：陈鹏[1] 周旋珍 陈瑞鑫[1] 

机构地区：[1]华南师范大学计算机学院,广东广州510631

出　　处：《软件导刊》2013年第12期22-25,共4页Software Guide

基　　金：广东省自然科学基金(9151027501000054;S2011010 003409);广东省战略新兴产业项目(2011A010801007;2011168005)

摘　　要：传统的实验验证方式是不完全归纳的方式,理论说服力存在不足,通过严密的数学理论论证能够实现完备的证明。阐述了空间对象网格索引机制的原理,重点对多级网格索引做了详细介绍,尤其针对空间对象多级网格索引机制的优越性进行了完备的数学证明,从理论上论证了多级网格索引的有效性。This paper introduces the principle of space object grid index mechanism, and made a detailed introduction to the multi-level grid index, especially conducted a complete mathematical proof for the superiority of space object multi-level grid index mechanism, theoretically demonstrates the effectiveness of the multi-level grid index. And method of experi- mental verification is usually Incomplete inductive, has disadvantages in the theory of persuasion, through rigorous mathe- matical theory, this paper conducted a complete proof.

关 键 词：空间对象 多级网格索引 时态数据库 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]