用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法
【專利摘要】本發(fā)明公開了一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，包括：1、基于自適應(yīng)Hilbert曲線的范圍查詢轉(zhuǎn)換，生成一維數(shù)值段集合；2、用戶經(jīng)過認(rèn)證與外包空間數(shù)據(jù)庫的服務(wù)商建立會話連接，將一維數(shù)值段集合發(fā)送給服務(wù)商；3、服務(wù)商根據(jù)用戶提交的一維數(shù)值段集合，檢索數(shù)據(jù)庫中符合查詢條件的空間對象集合，并將該空間對象集合返回給用戶；4、用戶接收到服務(wù)商返回的查詢結(jié)果集合，并對其進(jìn)行消息摘要驗證；5、用戶根據(jù)查詢結(jié)果中的鄰近空間對象信息，對結(jié)果集的完整性進(jìn)行驗證。本發(fā)明方法可以在外包空間數(shù)據(jù)庫的模式下，為用戶提供高效、安全的范圍查詢完整性驗證功能，進(jìn)而對服務(wù)商修改查詢結(jié)果的行為進(jìn)行約束，保證范圍查詢服務(wù)的質(zhì)量。
【專利說明】用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于數(shù)據(jù)庫處理【技術(shù)領(lǐng)域】，具體涉及一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法。
【背景技術(shù)】
[0002]隨著基于位置的服務(wù)與位置感知設(shè)備日益普及，與位置相關(guān)的信息爆炸式增長，由此產(chǎn)生的大量空間數(shù)據(jù)超出了小型企業(yè)和個人的處理能力。云存儲服務(wù)提供彈性的資源分配，有效降低了數(shù)據(jù)擁有者維護(hù)數(shù)據(jù)的開銷，因此數(shù)據(jù)外包成為一種流行的服務(wù)模式。為了保護(hù)外包空間數(shù)據(jù)的隱私并支持空間數(shù)據(jù)查詢，需要在外包前對空間數(shù)據(jù)進(jìn)行處理，構(gòu)建用于查詢的空間數(shù)據(jù)索引，并對空間數(shù)據(jù)內(nèi)容進(jìn)行加密。然而，由于服務(wù)商在執(zhí)行查詢的過程中，可能對查詢結(jié)果進(jìn)行修改，例如刪除部分查詢結(jié)果，從而在用戶不知情的狀況下降低服務(wù)質(zhì)量。因此，在空間數(shù)據(jù)庫外包的服務(wù)模式下，保證空間查詢的完整性是該服務(wù)模式健康發(fā)展所要解決的重要問題。
[0003]目前多采用Hilbert曲線構(gòu)建空間數(shù)據(jù)的索引，以支持隱私保護(hù)的空間查詢，并提出了基于隨機(jī)復(fù)制的查詢完整性驗證方法，通過隨機(jī)抽取部分原始數(shù)據(jù)作為副本，對原始數(shù)據(jù)和副本數(shù)據(jù)采用不同的參數(shù)構(gòu)建索引，從而生成外包數(shù)據(jù)，其查詢完整性驗證過程包括空間查詢和完整性驗證查詢兩個步驟，空間查詢階段獲得查詢結(jié)果，完整性驗證查詢階段則獲得完整性驗證信息，這個過程需要用戶與服務(wù)商建立兩次會話連接，這增加了服務(wù)商進(jìn)行查詢分析的機(jī)會，通過對空間查詢和完整性驗證查詢的特征進(jìn)行抽取，進(jìn)行針對性的調(diào)整，規(guī)避完整性驗證，另外，在外包空間數(shù)據(jù)庫中還需要存儲額外的對象副本信息，大大增加了數(shù)據(jù)庫系統(tǒng)的存儲與維護(hù)負(fù)擔(dān)。

【發(fā)明內(nèi)容】

[0004]本發(fā)明的目的在于提供一種外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，通過在外包的密文空間對象中附加基于索引的鄰近空間對象信息，使用戶可以從查詢結(jié)果中直接獲得完整性驗證的依據(jù)，將范圍查詢和完整性驗證通過一次會話連接完成，降低了系統(tǒng)負(fù)載，提高了外包空間數(shù)據(jù)庫的查詢效率，同時保證了數(shù)據(jù)庫服務(wù)商誠實地為用戶提供服務(wù)。
[0005]為了實現(xiàn)上述目的，本發(fā)明采用以下技術(shù)方案:
[0006]一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，包括以下步驟:首先，用戶通過自適應(yīng)Hilbert曲線將二維平面的范圍查詢轉(zhuǎn)換為一維數(shù)值段集合，作為查詢條件；然后，服務(wù)商將符合查詢條件的空間對象返回給用戶，用戶對查詢結(jié)果進(jìn)行消息摘要驗證，若未通過則輸出查詢結(jié)果不完整；最后，用戶對查詢結(jié)果鄰居集合進(jìn)行范圍查詢驗證，若未通過則輸出查詢結(jié)果不完整，否則輸出查詢結(jié)果完整。
[0007]一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，包括以下步驟:
[0008]步驟一:用戶通過自適應(yīng)Hi Ibert曲線的范圍查詢轉(zhuǎn)換方法，將二維平面的范圍查詢 W = [xl, xh] X [yl, yh]轉(zhuǎn)換為一維數(shù)值段集合 R= (R1 (S1, e)，R2 (s2, e2)，...，Rn(sn，en)}，即查詢條件；
[0009]xl, xh分別為二維平面的范圍查詢的χ軸方向的最小值、最大值；yl, yh分別為二維平面的范圍查詢的I軸方向的最小值、最大值；Si，e,分別表示數(shù)值段Ri的開始值、結(jié)束值，I < i < η，η為數(shù)值段的個數(shù)；
[0010]步驟二:用戶經(jīng)過認(rèn)證與外包空間數(shù)據(jù)庫的服務(wù)商建立會話連接，將步驟一中生成的一維數(shù)值段集合R發(fā)送給服務(wù)商；外包空間數(shù)據(jù)庫中的每一條記錄對應(yīng)一個空間對象，數(shù)據(jù)表的核心字段為一個三元組:〈index, Enc ((location, text, neighbors (f (1),f?，…，f(k)，b⑴，b⑵，…，b(k))), key), Sign〉；
[0011]index為根據(jù)當(dāng)前空間對象的位置坐標(biāo)location,使用自適應(yīng)Hilbert曲線生成的索引；text為當(dāng)前空間對象附屬的其他描述信息；neighbors為與當(dāng)前空間對象在索引上近鄰的空間對象的位置坐標(biāo)集合，f⑴、b(i)分別表示index的前驅(qū)、后繼空間對象的位置坐標(biāo)，I < i ( k，k為前驅(qū)/后繼空間對象的個數(shù)，k的取值由數(shù)據(jù)擁有者設(shè)定；Enc()為對稱加密算法，key為對稱密鑰；31811為使用哈希算法他也()生成的當(dāng)前空間對象消息摘要，即 Sign = Hash (location | text | neighbors), | 表不字符串連接運(yùn)算；
[0012]步驟三:外包空間數(shù)據(jù)庫服務(wù)商根據(jù)用戶提交的一維數(shù)值段集合R ={Ri(s!, e), R2(s2, e2),…，Rn(sn, en)},檢索數(shù)據(jù)庫中符合查詢條件的空間對象集合G = {p1；P2,…，Pm}，并將該空間對象集合G返回給用戶，其中:
[0013]Pi表示一個檢索結(jié)果,包含索引值indeXi,密文數(shù)據(jù)信息Enc ((1cationi, texti；neighborsj)，以及消息摘要Signi, I≤i≤m, m為檢索結(jié)果的個數(shù)； [0014]步驟四:用戶接收到服務(wù)商返回的查詢結(jié)果集合G= {P1，P2，…，pm}，對其中的每一個對象 Pi =〈index” Enc ((1cationi, text” Iieighborsi), key), Signi),首先使用解密算法 Dec O 與密鑰 key 處理 Pi 的加密字段 Enc ((1cationi, text” neighbors), key),得到Pi的明文信息(1catioivtextpneighborsi),然后使用哈希算法HashO生成明文信息的消息摘要，即 Sign/ = HashGocationi I texti Ineighborsi),判斷 Sign/ 與 Signi 是否相同，若不相同，則證明空間對象Pi的信息被篡改，終止查詢完整性驗證過程，輸出查詢結(jié)果不完整；若對任意Pj e G,均有Sign/ = Sign」，，則進(jìn)一步進(jìn)行步驟五；
[0015]步驟五:將通過步驟四驗證的查詢結(jié)果集合G = {Pl, p2,…，P1J，分為兩類集合:查詢結(jié)果位置集合Q= (1cation1, 1cation2,..., 1cationJ ,查詢結(jié)果鄰居集合N =Ineighbors1, neighbors2,..., neighborsj ；
[0016]其中Jocationi 為第 i 個查詢結(jié)果的位置坐標(biāo)！Iieighborsi = (fi(1), fi(2),...,fi(k)，bi(1)，bi(2)，…，bi(k))為與第i個查詢結(jié)果在索引上近鄰的空間對象的位置坐標(biāo)集合，fi(J)>bi(J)分別為1cationi的第j個前驅(qū)、后繼空間對象的位置坐標(biāo)，I ^ j ^ k, k為前驅(qū)/后繼空間對象的個數(shù)；
[0017]對于任意位置坐標(biāo)d(x, y) e N,若d存在于范圍查詢W = [xl, xh] X [yl, yh]中，則判斷d是否屬于查詢結(jié)果位置集合Q，若不屬于，則終止查詢完整性驗證過程，輸出查詢結(jié)果不完整；若查詢結(jié)果鄰居集合N中不存在滿足上述條件的位置坐標(biāo)，則完成查詢完整性驗證過程，輸出查詢結(jié)果完整。
[0018]優(yōu)選的，步驟三種判Spi符合查詢條件的具體依據(jù)為:存在Rj e R，使得
Sj- ^ Indexi ^ ej0[0019]優(yōu)選的，判定位置坐標(biāo)d(x，y)存在于范圍查詢W中的具體依據(jù)為:xl< χ < xh,且yl < y < yh。其中x, y分別為d在χ軸、y軸方向的坐標(biāo)值；判定位置坐標(biāo)d(x, y)屬于查詢結(jié)果位置集合Q的具體依據(jù)為:存在location」(X」，y」)e Q,使得χ」=χ,且y」=y。
[0020]和現(xiàn)有技術(shù)相比，本發(fā)明具有以下優(yōu)點:
[0021]1、更高的安全性
[0022]本發(fā)明提出的外包空間數(shù)據(jù)庫范圍查詢完整性驗證方法將傳統(tǒng)的空間查詢和完整性驗證查詢合并為一次，通過一次范圍查詢獲得查詢結(jié)果與完整性驗證信息，從而減少了服務(wù)商進(jìn)行查詢分析的機(jī)會；并且由于不同的數(shù)據(jù)擁有者可能設(shè)置不同的鄰近空間對象數(shù)量，這進(jìn)一步增大了服務(wù)商進(jìn)行查詢結(jié)果更改的難度。
[0023]2、更高的存儲與查詢效率
[0024]傳統(tǒng)的基于隨機(jī)復(fù)制的查詢完整性驗證方法，在數(shù)據(jù)庫中需要存儲額外的對象副本信息，大大增加了數(shù)據(jù)庫系統(tǒng)的存儲與維護(hù)負(fù)擔(dān)，而本發(fā)明對外包空間數(shù)據(jù)庫中的對象，僅附加少許鄰近對象信息，從而提高了數(shù)據(jù)庫存儲資源的利用率；通過將空間查詢和完整性驗證查詢進(jìn)行合并，減少了用戶與服務(wù)商的會話連接次數(shù)，提高了查詢效率。
[0025]本發(fā)明公開了一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，包括:1、基于自適應(yīng)Hilbert曲線的范圍查詢轉(zhuǎn)換，生成一維數(shù)值段集合；2、用戶經(jīng)過認(rèn)證與外包空間數(shù)據(jù)庫的服務(wù)商建立會話連接，將一維數(shù)值段集合發(fā)送給服務(wù)商；3、服務(wù)商根據(jù)用戶提交的一維數(shù)值段集合，檢索數(shù)據(jù)庫中符合查詢條件的空間對象集合，并將該空間對象集合返回給用戶；4、用戶接收到服務(wù)商返回的查詢結(jié)果集合，并對其進(jìn)行消息摘要驗證；5、用戶根據(jù)查詢結(jié)果中的鄰近空間對象信息，對結(jié)果集的完整性進(jìn)行驗證。本發(fā)明方法可以在外包空間數(shù)據(jù)庫的模式下，為用戶提供高效、安全的范圍查詢完整性驗證功能，進(jìn)而對服務(wù)商修改查詢結(jié)果的行為進(jìn)行約束，保證范圍查詢服務(wù)的質(zhì)量。
【專利附圖】

【附圖說明】
[0026]圖1為本發(fā)明用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法的流程框圖?！揪唧w實施方式】
[0027]下面結(jié)合附圖對本發(fā)明做進(jìn)一步詳細(xì)說明。
[0028]請參閱圖1所示，本發(fā)明一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，包括以下步驟:首先，用戶通過自適應(yīng)Hilbert曲線將二維平面的范圍查詢轉(zhuǎn)換為一維數(shù)值段集合，作為查詢條件；然后，服務(wù)商將符合查詢條件的空間對象返回給用戶，用戶對查詢結(jié)果進(jìn)行消息摘要驗證，若未通過則輸出查詢結(jié)果不完整；最后，用戶對查詢結(jié)果鄰居集合進(jìn)行范圍查詢驗證，若未通過則輸出查詢結(jié)果不完整，否則輸出查詢結(jié)果完整。具體包括下列步驟:
[0029]步驟一:用戶通過自適應(yīng)Hilbert曲線的范圍查詢轉(zhuǎn)換方法，將二維平面的范圍查詢 W = [xl, xh] X [yl, yh]轉(zhuǎn)換為一維數(shù)值段集合 R= (R1 (S1, e)，R2 (s2, e2)，...，Rn(sn，en)}，即查詢條件，其中:
[0030]xl, xh分別為二維平面的范圍查詢的χ軸方向的最小值、最大值，yl, yh分別為二維平面的范圍查詢的y軸方向的最小值、最大值。Si，ei分別表示數(shù)值段Ri的開始值、結(jié)束值，I Si Sn，η為數(shù)值段的個數(shù)。
[0031]步驟二:用戶經(jīng)過認(rèn)證與外包空間數(shù)據(jù)庫的服務(wù)商建立會話連接，將步驟一中生成的一維數(shù)值段集合R發(fā)送給服務(wù)商；外包空間數(shù)據(jù)庫中的每一條記錄對應(yīng)一個空間對象，數(shù)據(jù)表的核心字段為一個三元組:〈index, Enc ((location, text, neighbors (f (1),f(2)，…，f(k)，b(1)，b⑵，…，b(k))), key), Sign〉，其中:
[0032]index為根據(jù)當(dāng)前空間對象的位置坐標(biāo)location,使用自適應(yīng)Hilbert曲線生成的索引；text為當(dāng)前空間對象附屬的其他描述信息；neighbors為與當(dāng)前空間對象在索引上近鄰的空間對象的位置坐標(biāo)集合，f⑴、b(i)分別表示index的前驅(qū)、后繼空間對象的位置坐標(biāo)，I < i ( k，k為前驅(qū)/后繼空間對象的個數(shù)，k的取值由數(shù)據(jù)擁有者設(shè)定；Enc()為對稱加密算法，key為對稱密鑰；31811為使用哈希算法他也()生成的當(dāng)前空間對象消息摘要，即 Sign = Hash (location | text | neighbors), | 表不字符串連接運(yùn)算。
[0033]步驟三:外包空間數(shù)據(jù)庫服務(wù)商根據(jù)用戶提交的一維數(shù)值段集合R ={Ri(s!, e), R2(s2, e2),…，Rn(sn, en)},檢索數(shù)據(jù)庫中符合查詢條件的空間對象集合G = {p1；P2,…，Pm}，并將該空間對象集合G返回給用戶，其中:
[0034]Pi表示一個檢索結(jié)果,包含索引值indexp密文數(shù)據(jù)信息Enc ((1cationi, texti；neighborsj)，以及消息摘要Signi, I≤i≤m, m為檢索結(jié)果的個數(shù)。
[0035]判定Pi符合查詢條件的具體依據(jù)為:
[0036]存在Rj e R,使得 Sj ( Indexi ( ej。
[0037]步驟四:用戶接收到 服務(wù)商返回的查詢結(jié)果集合G = {Pl, p2,…，pm}，對其中的每一個對象 Pi =〈index” Enc ((1cationi, text” neighbors), key), Signi)，首先使用與Enc O對應(yīng)的解密算法Dec O與密鑰key處理空間對象Pi的加密字段Enc ((1cationi,texti； neighborsj), key),得到 Pi 的明文信息(1cationi, texti； neighborsj),然后使用與步驟二相同的哈希算法HashO生成明文信息的消息摘要，即Sign/ = Hashdocationi | teXti Ineighborsi),判斷Sign/與Signi是否相同,若不相同，則證明空間對象Pi的信息被篡改，終止查詢完整性驗證過程，輸出查詢結(jié)果不完整；若對任意Pj e G，均有Sign/ = Signj,則進(jìn)一步進(jìn)行下述過程。
[0038]步驟五:將通過步驟四驗證的查詢結(jié)果集合G = {Pl, p2,…，P1J，分為兩類集合:查詢結(jié)果位置集合Q= (1cation1, 1cation2,..., 1cationJ ,查詢結(jié)果鄰居集合N =Ineighbors1, neighbors2,..., neighborsj，其中:
[0039]1cationi 為第 i 個查詢結(jié)果的位置坐標(biāo) ^eighborsi = (fi(1), fi(2),..., fi(k),bi(1),bi(2),…，bi(k))為與第i個查詢結(jié)果在索引上近鄰的空間對象的位置坐標(biāo)集合，fi(J)>bi(J)分別為1cationi的第j個前驅(qū)、后繼空間對象的位置坐標(biāo)，I ^ j ^ k, k為前驅(qū)/后繼空間對象的個數(shù)。
[0040]對于任意位置坐標(biāo)d(x, y) e N,若d存在于范圍查詢W = [xl, xh] X [yl, yh]中，則判斷d是否屬于查詢結(jié)果位置集合Q，若不屬于，則終止查詢完整性驗證過程，輸出查詢結(jié)果不完整；若查詢結(jié)果鄰居集合N中不存在滿足上述條件的位置坐標(biāo)，則完成查詢完整性驗證過程，輸出查詢結(jié)果完整。
[0041]判定位置坐標(biāo)d(x，y)存在于范圍查詢W中的具體依據(jù)為:
[0042]xl≤χ≤xh,且yl≤y≤yh。其中x, y分別為d在χ軸、y軸方向的坐標(biāo)值。[0043]判定位置坐標(biāo)d(x，y)屬于查詢結(jié)果位置集合Q的具體依據(jù)為:
[0044]存在1cationj (Xj, Yj) e Q,使得 Xj = x，且 yj = y。
[0045]綜上所述，本發(fā)明提出一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法。該方法通過在外包空間對象中，附加基于索引的鄰近對象信息，降低了查詢完整性驗證對數(shù)據(jù)庫存儲系統(tǒng)的資源消耗。該方法將傳統(tǒng)的空間查詢和完整性驗證查詢合并為一次，降低了用戶與服務(wù)商的會話連接次數(shù)，提高了查詢效率，減少了服務(wù)商進(jìn)行查詢分析的機(jī)會；并且由于不同的數(shù)據(jù)擁有者可能設(shè)置不同的鄰近空間對象數(shù)量，這進(jìn)一步增大了服務(wù)商進(jìn)行查詢結(jié)果更改的難度。
【權(quán)利要求】
1.一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，其特征在于，包括以下步驟: 首先，用戶通過自適應(yīng)Hilbert曲線將二維平面的范圍查詢轉(zhuǎn)換為一維數(shù)值段集合，作為查詢條件； 然后，服務(wù)商將符合查詢條件的空間對象返回給用戶，用戶對查詢結(jié)果進(jìn)行消息摘要驗證，若未通過則輸出查詢結(jié)果不完整； 最后，用戶對查詢結(jié)果鄰居集合進(jìn)行范圍查詢驗證，若未通過則輸出查詢結(jié)果不完整，否則輸出查詢結(jié)果完整。
2.一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，其特征在于，包括以下步驟: 步驟一:用戶通過自適應(yīng)HiIbert曲線的范圍查詢轉(zhuǎn)換方法，將二維平面的范圍查詢W=[xl, xh] X [yl, yh]轉(zhuǎn)換為一維數(shù)值段集合 R = (R1 (S1, e)，R2 (s2, e2)，...，Rn(sn, en)}，即查詢條件； xl, xh分別為二維平面的范圍查詢的X軸方向的最小值、最大值；yl, yh分別為二維平面的范圍查詢的y軸方向的最小值、最大值；Si，ei分別表示數(shù)值段Ri的開始值、結(jié)束值，Ι^?^η,η為數(shù)值段的個數(shù)； 步驟二:用戶經(jīng)過認(rèn)證與外包空間數(shù)據(jù)庫的服務(wù)商建立會話連接，將步驟一中生成的一維數(shù)值段集合R發(fā)送給服務(wù)商；外包空間數(shù)據(jù)庫中的每一條記錄對應(yīng)一個空間對象，數(shù)據(jù)表的核心字段為一個三元組:〈index, Enc ((location, text, neighbors (f(1), f ⑵，…，f(k)，b⑴，1?),…，b(k))), key), Sign〉； index為根據(jù)當(dāng)前空間對象的位置坐標(biāo)location,使用自適應(yīng)Hilbert曲線生成的索引；text為當(dāng)前空間對象附屬的其他描述信息；neighbors為與當(dāng)前空間對象在索引上近鄰的空間對象的位置坐標(biāo)集合，f(i)、b(i)分別表示index的前驅(qū)、后繼空間對象的位置坐標(biāo)，I ^ i ^ k, k為前驅(qū)/后繼空間對象的個數(shù)，k的取值由數(shù)據(jù)擁有者設(shè)定；Enc()為對稱加密算法，key為對稱密鑰；31811為使用哈希算法他也()生成的當(dāng)前空間對象消息摘要，即Sign = Hash (location I text I neighbors)，| 表不字符串連接運(yùn)算； 步驟三:外包空間數(shù)據(jù)庫服務(wù)商根據(jù)用戶提交的一維數(shù)值段集合R ={Ri(s!, e), R2(s2, e2),…，Rn(sn, en)},檢索數(shù)據(jù)庫中符合查詢條件的空間對象集合G = {p1；P2,…，Pm}，并將該空間對象集合G返回給用戶，其中: Pi表示一個檢索結(jié)果，包含索引值Indexi,密文數(shù)據(jù)信息Enc ((1cationi, text”neighborsj)，以及消息摘要Signi, I≤i≤m, m為檢索結(jié)果的個數(shù)； 步驟四:用戶接收到服務(wù)商返回的查詢結(jié)果集合G= {ρι，ρ2，…，pm}，對其中的每一個對象 Pi = <indexi； Enc ((1cationi, text” Iieighborsi)，key)，Signi),首先使用解密算法Dec ()與密鑰 key 處理 Pi 的加密字段 Enc ((1cationi, text” Iieighborsi), key),得到 Pi的明文信息(1cationi, texti； Iieighborsi),然后使用哈希算法HashO生成明文信息的消息摘要，即 Sign/ = HashGocationi I texti Ineighborsi),判斷 Sign/ 與 Signi 是否相同，若不相同，則證明空間對象Pi的信息被篡改，終止查詢完整性驗證過程，輸出查詢結(jié)果不完整；若對任意Pj e G,均有Sign/ = Signj,,則進(jìn)一步進(jìn)行步驟五； 步驟五:將通過步驟四驗證的查詢結(jié)果集合G = {Pl, p2,…，pj，分為兩類集合:查詢結(jié)果位置集合Q= {location” 1cation2,..., 1cationJ ,查詢結(jié)果鄰居集合N =Ineighbors1, neighbors2,..., neighborsj ； 其中 Jocationi 為第 i 個查詢結(jié)果的位置坐標(biāo)！Iieighborsi = (fi(1), fi(2),..., fi(k),bi(1),bi(2),…，bi(k))為與第i個查詢結(jié)果在索引上近鄰的空間對象的位置坐標(biāo)集合，fi(J)>bi(J)分別為1cationi的第j個前驅(qū)、后繼空間對象的位置坐標(biāo)，I ≤ j ≤ k, k為前驅(qū)/后繼空間對象的個數(shù)； 對于任意位置坐標(biāo)d(x, y) e N,若d存在于范圍查詢W = [xl, xh] X [yl, yh]中，貝U判斷d是否屬于查詢結(jié)果位置集合Q，若不屬于，則終止查詢完整性驗證過程，輸出查詢結(jié)果不完整；若查詢結(jié)果鄰居集合N中不存在滿足上述條件的位置坐標(biāo)，則完成查詢完整性驗證過程，輸出查詢結(jié)果完整。
3.根據(jù)權(quán)利要求2所述的一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，其特征在于，步驟三種判定Pi符合查詢條件的具體依據(jù)為:存在Rj e R,使得Sj≤ Indexi ≤ ej。
4.根據(jù)權(quán)利要求2所述的一種用于外包空間數(shù)據(jù)庫的范圍查詢完整性驗證方法，其特征在于，判定位置坐標(biāo)d(x，y)存在于范圍查詢W中的具體依據(jù)為:xl ≤ X ≤ xh,且yl≤y≤yh ;其中x, y分別為d在x軸、y軸方向的坐標(biāo)值；判定位置坐標(biāo)d(x, y)屬于查詢結(jié)果位置集合Q的具體依據(jù)為:存在locationj(Xj，yj)e Q,使得χj=x，且yj=y。
【文檔編號】G06F17/30GK103984728SQ201410209505
【公開日】2014年8月13日 申請日期:2014年5月16日 優(yōu)先權(quán)日:2014年5月16日
【發(fā)明者】桂小林, 田豐, 楊攀, 楊建偉, 張學(xué)軍, 安健 申請人:西安交通大學(xué)