APP下载

基于Patricia树的空间索引结构

2015-01-01易显天郭承军

计算机工程 2015年12期
关键词:字符串结点编码

易显天,徐 展,郭承军,刘 丹,张 可

(电子科技大学电子科学技术研究院,成都611731)

1 概述

移动对象数据库是近年发展起来的数据库研究分支,也是基于位置相关服务一项重要的技术,目前国内外有大量的空间索引技术涌现,但总体来说该领域的研究与发展仍然处于未成熟阶段[1-2]。

目前移动对象索引研究可以大概分为2类:(1)基于空间划分的索引结构[3-4],如 B+树和网格。(2)基于数据的划分的索引结构[5-7],如 R-Tree和其相关的演化结构。基于空间划分的索引结构中有一类是一维索引结构,相较于二维索引,一维索引发展得更为成熟,适用范围更广,对空间数据进行降维处理,可以重复利用一维索引技术及其相关技术。常见的降维方法是利用空间填充曲线,将二维空间的信息映射到一维空间上[8-10]。

目前的索引结构大都不能提供高效的近邻查询,或者需要复杂结构和算法,以至于结构实现困难。本文提出一种基于Patricia树的索引结构MPT(Morton Patricia Tree),融 合 Morton 码、Patricia树结构和算法,使得MPT拥有高效响应的近邻查询能力,且 Morton码比Geohash[11]编码对二维空间划分有更好的精度控制。同时提出基于MPT的近邻算法。通过对二维空间的进行预订规则下不同粒度划分,把分块后的二维空间区域转换为一维编码,使得MPT具备快速响应范围查询能力。

2 Patricia树和二维空间编码方案

2.1 Patricia树

Patricia树是一种一维树形索引结构,可以用来存储字符串。结构中只有叶子结点保存字符串信息,中间结点代表其子孙结点中的字符串的某公共前缀,但并不存储字符串而是保存的不同字符串之间的区分信息。索引结构中父亲结点的代表的字符串是其子结点代表字符串的前缀,兄弟结点所代表的字符串具有公共前缀,Patricia可以使用基于二进制位的方式构建,适用于以Morton码为观察对象的查询操作。

2.2 编码原理

二进制Morton编码的基本思想是不断交替在经纬度2个方向对地球表面进行二分。一直循环划分到任意精度。具体为:当沿着经度方向进行二分时,左侧区域编码为0,右侧区域的编码为1;当沿纬度方向进行二分时,下侧区域编码为0,上侧区域编码为1。

经纬度在数次二分之后,把指定位置对应的二进制数从范围由大到小按序排列,可得到对应位置经纬度的编码,例如纬度产生编码:1011100011,经度产生编码,1101001011。将经度代表的编码放在偶数位,将纬度代表的编码放在奇数位,重新组合经纬度的编码可得到新的编码:111001110100100011 11。这也就是最终使用到的Morton编码。

而Geohash编码则需要继续对上述编码过程中得到的二进制码进行Base32编码转换。5位二进制码产生一位Geohash编码。当GeoHash字符串长度为奇数时,此码值代表一个长宽不相等的矩形。另外,由于Geohash一个字符代表5bit,这意味着位置精度的控制是以每5bit增减,存在着较大精度的浪费。使用二进制Morton码,可获得更细粒度的精度。Geohash和Morton编码精度对比如图1所示,从图中可以看出,Morton编码可以达到的面积划分粒度要比Geohash细,其中,pow(2,x)表示2的x次方,精度可以达到A/Pow(2,x)(A为全部面积)。

图1 Morton码与Geohash码精度对比

2.3 编码特点

通过Morton编码方案可知其编码具有以下特点:

(1)唯一性,根据编码过程中区域划分规则,地球表面在划分过程中的每个单元格都有唯一的编码与其对应。

(2)每一个编码并不是表示一个二维点坐标,而是表示一个二维矩形区域。区域的大小由编码长度控制。故编码的前缀可以表示更大范围。

(3)每个编码同时表示经度和纬度2个坐标。

3 MPT索引结构

3.1 MPT索引

使用Morton码将二维位置信息转化为一维编码,以2个编码相同前缀的长短来表示2个二维位置的近远,Morton码不仅保留了移动对象二维位置的邻近关系,另一方面也能很好地反映不同大小的二维空间区域之间的从属关系。Patricia树父子结点分别代表的字符串具有前缀对应关系,这也恰好适于Morton码前缀匹配操作。基于上述考虑,将移动对象二维位置信息转换为二进制Morton码并通过MPT插入算法构建索引结构。并改良索引结构和相关算法使MPT具有高效响应空间查询的能力。

3.2 Bitwise操作

MPT的整个结构是以二进制的位操作为原理构建的,这样同时也能节省空间和加快操作效率。因为在计算机中对位的操作更快,所以树将字符串进行“二进制”化再插入到索引结构中。

MPT子结点保存的是插入MPT的二进制Morton码串,非叶子结点保存的是Morton码串前缀对应的“状态”,这些状态是Morton码串在插入过程中根据不同Morton码串基于位的比较而得到的,只有2个码串出现二进制位的不同时,才会出现一个新的结点,来保存这个“分歧”状态,而那2个码串也因为这个“分歧”的二进制位的0或1而由这个结点的2个不同的子结点方向各自向下继续比较。也就是说对整个树的操作也就类似于对二叉树的操作。在索引结构中的搜索路径的选择是根据对应位的0或1来决定的。分析同样具有前缀搜索能力的trie树的结构,可以发现trie树结点保留字符串中相同的字符,每条检索路径都是字符串的前缀。如果改变结点本身强调的内容,将字符串之间的不同点的信息保留在分支结构中,那么就可以把所有相同的字串匹配省略,减少了所需存储信息的数量。

3.3 MPT结点结构

在实验过程中发现,结点的容量有些许的增加,就会带来整个索引结构体积的大量增加,故在保证索引结构操作效率的情况下,使结点中保存的信息尽量少,以减少空间占用。MPT索引结构如图2所示。

图2 MPT索引结构

非叶子结点结构为(Ptr[2],pos,mask),其中,Ptr是指向子结点的指针,每个结点固定包含2个指针;Pos是结点对应字符在整个字符串中的位置;mask是一个用于位操作的8位二进制码,用来获取比较的字符的最高不同位。叶子结点的结构为(Ptr,MojInfo),其中,Ptr是指向 Morton码串的指针;MojInfo是一个结构体数组。每个数据项结构为(ID,x,y),其中,ID 为移动对象的标识号;x,y为移动对象的二维位置。为了节省空间,本文使用指针变量的最低有效位来表示这个指针是指向内部结点还是指向叶子结点。大致结构如图2所示。为了示意,画出了一个“满”MPT,但是实际如果没有出现对应的字符串对比。则不会出现因“分歧”而产生的对应的结点。

3.4 查询算法

MPT查询操作先将需要查找的字符串进行“二进制”化,然后根据搜索过程中遇到结点的顺序对相关的二进制位进行比较,即在MPT树中进行二分查找,直到查找到对应字符串并进行移动对象信息对比,相同则返回True,不同或查找失败则返回False。伪代码如下:

输入 MPT结构指针T,指向字符串指针u,移动对象ID,移动对象二维位置信息x,y

输出 True/False

3.5 算法插入

整个MPT构建过程主要依赖插入算法,由于结构特点,对于同样的Morton码集的输入,对应产生MPT也是完全相同的,因此MPT在操作过程中不需要实现复杂的平衡算法。并且整个MPT结构的高度由输入的字符串的最大长度来决定,而不是由输入字符串的数目来决定。插入操作先处理时空树的情况,然后使用类似于上面描述的搜索方法来查到到合适的插入位置,计算相关的pos和mask参数,然后生成对应新的结点,最终将结点插入。具体算法的伪代码如下:

输入 MPT结构指针T,指向字符串指针u,移动对象ID,移动对象二维位置信息x,y

输出 True/False

4 高级查询

4.1 近邻查询

根据Morton编码特点可以知道如果2个点的距离越近,那么2个点位置对应的编码的共同前缀则越长,这样可以通过前缀的比较来进行二维空间的近邻搜索,为了消除在搜索过程中的遗漏,除了使用定位的编码匹配外,还使用周围8个区域的编码进行搜索匹配。在近邻搜索算法中每一次循环都在前一次搜索范围外增加一层以目前Morton码长所表示的范围的搜索区域。这样可以有效利用上一步的搜索结果。伪代码如下:

输入 纬度lat,经度lon,MPT 结构指针MPptr,近邻搜索目标数num,编码匹配范围extent

输出 num个近邻对象的ID:result

4.2 区域查询

对查询区域进行如图3所示的划分,可将查询区域分解成多个查询方块,为了能够更好地覆盖整个查询区域,需要对查询区域划分为大小不同的方块。实验过程中发现,将查询区域划分的方块越小,则对查询区域有更精确的覆盖,查询精度更高,但是在划分粒度超过一定范围以后,得到精度上的提升较小,反而由于划分粒度过小,得到的查询方块数量急剧增多,使得查询性能大大下降,于是选择恰当的划分粒度对查询区域进行划分。Morton码长最长不超过32bit,同一个查询区域在Morton码匹配过程中,Morton码长度种类不超过5种,且在面积全匹配的情况下,尽量使用更短的Morton码来表示一个区域。二维空间划分方式如图3所示。

图3 二维空间划分

在整个编码过程中,是将一个二维平面进行划分,但地球表面是一个球体曲面,需将地球表面通过墨卡托(Mercator)投影来得到这样一个二维平面,在投影的过程中,不同纬度上的地球表面在投影过程中会发生不同程度的形变。那么得到的不同纬度上的划分后的方块也会发生不同程度的形变。这样在用编码所表示方框匹配以中心点+距离来表示区域查询的时候,会带来匹配面积上的误差,且纬度越高,则误差越大。通过在查询面积匹配过程中在匹配面积前乘以一个调节因子cos(latitude*π/180)来消除这种查询误差,实验结果证明效果良好。

5 性能评估

索引结构采用C++实现,实验平台为:Windows XP系统、英特尔酷睿双核3.2GHz处理器、2.96GB内存。使用 Brinkhoff[12]的移动对象生成器生成动态移动对象数据,如图4所示。数据包含了一定数量的移动对象在一段时间内位置更新的相关信息,数据内容包括移动对象ID、此次位置更新时间、位置X坐标(经度)、位置Y坐标(纬度)等。

图4 地理数据生成的地图

5.1 时间效率

将MPT与B+树、Hash表、Trie树进行查询效率的比较。将生成的移动对象的位置的经纬度数据转换成32位二进制Morton码,构建索引结构,进行查询效率的比较。和B+树不同,MPT的普通操作,例如查询、插入、删除需要O(K)的时间(K表示字符串长度),而B+树中这些操作需要O(logn)的时间(n为字符串数),一般情况下O(k)>O(logn),但是在B+树中对于字符串的比较最差情况需要O(K)的时间复杂度,当字符串的长度较长,则会明显增加B+树中普通操作所花费的时间,这也是为什么B+树的效率相对不高的原因。而在MPT中,搜索过程中所有的比较操作所消耗的时间都是常数时间。哈希表的插入、查找、删除的时间为O(1),但这是以计算哈希值的过程为常数时间当作前提的,当考虑了哈希值的计算时间,则需要O(k)的操作时间,加上如果在操作过程中发生哈希值的碰撞,则需要消耗更多的时间。而MPT则最坏时间为O(K)。而实验结果也证实了这一点。MPT比哈希表的效率更高。MPT相对于Trie的优势则体现在2种结构的特点,具体原因如3.2节所述。实验结果如图5所示。由于插入操作和删除操作的大部分时间消耗都是用于查询,因此得到的结果与查询效率对比实验类似,故此不再赘述。

图5 查询效率对比

图6显示了基于MPT的近邻搜索算法与基于R-Tree的近邻搜索算法效率的对比结果,因为MPT的搜索是根据二进制位的比较,而基于R-Tree的搜索算法是需要MBR(Minimum Bounding Rectangle)的比较,相比之下后者需要花费更多时间,并且R-Tree存在MBR互相重叠的问题,尤其处理大数据量时,基于R-Tree的近邻查询算法性能急剧恶化,而MPT因其结构的特性并没有上述问题。实验结果表明,基于MPT的近邻查询算法效率更高。

图6 近邻搜索效率对比

5.2 空间占用

Morton码的长度越长,则表示的位置越精确,但是使用MPT在近邻搜索的过程中,使用过长的Morton码对MPT近邻搜索的过程并没有帮助,反而因为过长的码长而导致MPT中的结点数过多,所以会产生更多空间的占用。

表1表示经纬度某一方向经过一定次数的划分后对应的Morton码在这一方向上表示的范围。可以看到当划分次数为15时,Morton码在这一方向上的精度为1 223m,就是约为1km左右,这时候对应的码长为30,这样的码长是比较适合作为在交通道路网络中近邻搜索的起始码长的。

表1 Morton码精度与划分次数对应表

图7显示了使用不同码长的Morton码所构建的MPT索引所占的内存大小,可以发现在码长为30左右的时候,当插入MPT移动对象数据量到达一定的时候,索引所占的空间增长明显减缓,这是因为索引结构中大量减少了重复信息的存储的缘故。基于这样的存储优势,MPT索引结构可以在应对大量移动对象信息的情形下使用。

图7 MPT空间占用情况

6 结束语

本文在Morton和Patricia树的基础上提出一种一维索引结构MPT,通过改良Patricia树结构,使得在索引结构操作上有着更好的性能,并且合理利用Morton码编码方式,使索引结构拥有比Geohash更加细粒度地区域划分精度的控制,同时提出基于MPT的近邻算法,其性能优于基于R-Tree的近邻搜索算法。通过将二维空间合理划分,并将划分的区域编码,使索引结构具有高效响应区域查询的能力。因为考虑到近邻查询和区域查询都是实时性较强,所以暂时并没有考虑时间因素,下一步将把时间、位置信息编码成一维信息,使得索引结构能够得到更广泛的应用。

[1]廖 巍,熊 伟,景 宁.移动对象索引技术研究进展[J].计算机科学,2006,33(8):166-169.

[2]孟小峰,周龙骧,王 珊.数据库技术发展趋势[J].软件学报,2004,15(12):1822-1836.

[3]Jensen C S,Lin Dan,Ooi B C.Query and Update Efficient B+-tree Based Indexing of Moving Objects[C]//Proceedings of the 30th International Conference on Very Large Data Bases.[S.1.]:VLDB Endowment,2004:768-779.

[4]Su Chen,Ooi B C,Tan K L,et al.ST2B-tree:A Selftunable Spatio-temporal B+-tree Index for Moving Objects[C]//Proceedings of ACM SIGMOD International Conference on Management of Data.New York,USA:ACM Press,2008:29-42.

[5]刘 玥,郝忠孝.基于Buddy*-Hash的移动对象时空查询方法[J].计算机工程,2010,36(4):47-49.

[6]Tao Yufei,Papadias D,Sun Jimeng.The TPR*-tree:An Optimized Spatio-temporal Access Method for Predictive Queries[C]//Proceedings of the 29th International Conference on Very Large Data Bases.[S.1.]:VLDB Endowment,2003:790-801.

[7]Simonas S C S J,Leutenegger S T,Lopez M A.Indexing the Positions of Continuously Moving Objects[C]//Proceedings of SIGMOD’00.New York,USA:ACM Press,1999:331-342.

[8]徐红波,郝忠孝.基于Hilbert曲线的近似k-最近邻查询算法[J].计算机工程,2008,34(12):47-49.

[9]刘润涛,陈琳琳,田广悦,等.Z曲线网格划分的最近邻查询[J].计算机工程与应用,2013,49(22):123-126.

[10]徐红波,郝忠孝.基于空间填充曲线网格划分的最近邻查询算法[J].计算机科学,2010,37(1):184-188.

[11]Liu Jiajun,Li Haoran,Yong Gao et al.A Geohashbased Index for Spatial Data Management in Distributed Memory [C]//Proceedings of the 22nd International Conference on Geoinformatics.Washington D.C.,USA:IEEE Press,2014:1-4.

[12]Brinkhoff T.Generating Network-based Moving Objects[C]//Proceedings of the 22nd International Conference on Scientific and Statistical Database Management.Washington D.C.,USA:IEEE Press,2000:253-255.

猜你喜欢

字符串结点编码
基于SAR-SIFT和快速稀疏编码的合成孔径雷达图像配准
基于文本挖掘的语词典研究
《全元诗》未编码疑难字考辨十五则
子带编码在图像压缩编码中的应用
Genome and healthcare
Ladyzhenskaya流体力学方程组的确定模与确定结点个数估计
一种新的基于对称性的字符串相似性处理算法
基于Raspberry PI为结点的天气云测量网络实现
依据字符串匹配的中文分词模型研究
一种针对Java中字符串的内存管理方案