摘要
传统的实验验证方式是不完全归纳的方式,理论说服力存在不足,通过严密的数学理论论证能够实现完备的证明。阐述了空间对象网格索引机制的原理,重点对多级网格索引做了详细介绍,尤其针对空间对象多级网格索引机制的优越性进行了完备的数学证明,从理论上论证了多级网格索引的有效性。
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.
出处
《软件导刊》
2013年第12期22-25,共4页
Software Guide
基金
广东省自然科学基金(9151027501000054
S2011010 003409)
广东省战略新兴产业项目(2011A010801007
2011168005)
关键词
空间对象
多级网格索引
时态数据库
Space Object
Index
Multi-level Grid Index
Effectiveness
Complete Mathematical Proof
