计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2012年
10期
2221-2228
,共8页
吕建华%张柏礼%姜杉%陆宁云%王菲菲
呂建華%張柏禮%薑杉%陸寧雲%王菲菲
려건화%장백례%강삼%륙저운%왕비비
图数据%子图包含查询%选择-验证-过滤%迭代算法%搜索空间优化
圖數據%子圖包含查詢%選擇-驗證-過濾%迭代算法%搜索空間優化
도수거%자도포함사순%선택-험증-과려%질대산법%수색공간우화
近年来,图模型广泛应用于生物信息、计算化学、语义网等领域.目前,“过滤-验证”机制被广泛用于子图包含查询,即首先根据图数据的特征构造索引,然后根据索引产生候选集,最后对候选集中的每一个图进行子图同构验证.在这类算法中,“过滤”阶段是关注的重点,力争过滤掉更多的数据;而“验证”阶段则只是单纯地进行候选图子图同构检测,并没有进一步优化查询性能的可能.因此,提出了一种新的子图包含查询的迭代处理机制:“选择-验证-过滤”,可利用从子图同构验证过程中得到的信息,结合数据库中图数据之间的相关关系,进行迭代查询处理.该机制首先选择数据库中的图与查询图进行同构验证,然后根据本次验证得到的信息,结合图数据之间的子图映射关系,进行迭代查询处理.一旦子图同构验证成功则可直接获得查询结果,而若验证不成功,则可以缩小下次迭代的查询搜索空间.为提高验证成功概率,提出了一种基于搜索空间预测的图选择策略.大量实验表明,该算法具有较“过滤-验证”机制更高的查询处理性能.
近年來,圖模型廣汎應用于生物信息、計算化學、語義網等領域.目前,“過濾-驗證”機製被廣汎用于子圖包含查詢,即首先根據圖數據的特徵構造索引,然後根據索引產生候選集,最後對候選集中的每一箇圖進行子圖同構驗證.在這類算法中,“過濾”階段是關註的重點,力爭過濾掉更多的數據;而“驗證”階段則隻是單純地進行候選圖子圖同構檢測,併沒有進一步優化查詢性能的可能.因此,提齣瞭一種新的子圖包含查詢的迭代處理機製:“選擇-驗證-過濾”,可利用從子圖同構驗證過程中得到的信息,結閤數據庫中圖數據之間的相關關繫,進行迭代查詢處理.該機製首先選擇數據庫中的圖與查詢圖進行同構驗證,然後根據本次驗證得到的信息,結閤圖數據之間的子圖映射關繫,進行迭代查詢處理.一旦子圖同構驗證成功則可直接穫得查詢結果,而若驗證不成功,則可以縮小下次迭代的查詢搜索空間.為提高驗證成功概率,提齣瞭一種基于搜索空間預測的圖選擇策略.大量實驗錶明,該算法具有較“過濾-驗證”機製更高的查詢處理性能.
근년래,도모형엄범응용우생물신식、계산화학、어의망등영역.목전,“과려-험증”궤제피엄범용우자도포함사순,즉수선근거도수거적특정구조색인,연후근거색인산생후선집,최후대후선집중적매일개도진행자도동구험증.재저류산법중,“과려”계단시관주적중점,력쟁과려도경다적수거;이“험증”계단칙지시단순지진행후선도자도동구검측,병몰유진일보우화사순성능적가능.인차,제출료일충신적자도포함사순적질대처리궤제:“선택-험증-과려”,가이용종자도동구험증과정중득도적신식,결합수거고중도수거지간적상관관계,진행질대사순처리.해궤제수선선택수거고중적도여사순도진행동구험증,연후근거본차험증득도적신식,결합도수거지간적자도영사관계,진행질대사순처리.일단자도동구험증성공칙가직접획득사순결과,이약험증불성공,칙가이축소하차질대적사순수색공간.위제고험증성공개솔,제출료일충기우수색공간예측적도선택책략.대량실험표명,해산법구유교“과려-험증”궤제경고적사순처이성능.