基于符號技術(shù)的圖數(shù)據(jù)可達性索引技術(shù)研究.pdf

1、現(xiàn)實中社交網(wǎng)絡(luò)，生物信息網(wǎng)，知識圖譜等許多應(yīng)用領(lǐng)域，都將數(shù)據(jù)表示為圖數(shù)據(jù)模型。在此圖數(shù)據(jù)上進行的查詢操作有很多，可達性查詢是查詢圖數(shù)據(jù)中節(jié)點與節(jié)點之間是否有路徑連接，可達性查詢是最重要、最頻繁、最基本的查詢操作之一。在圖數(shù)據(jù)中進行可達性查詢操作，可以運用深度優(yōu)先遍歷算法即直接查找方法，然而這種算法時間復(fù)雜度高。因此在大規(guī)模圖數(shù)據(jù)上構(gòu)建可達性索引，通過索引進行可達性查詢操作可以大大加快查詢效率。
　　迄今為止，大量的可達性索引構(gòu)建方

2、法被相繼提出。針對中小型的靜態(tài)圖數(shù)據(jù)，文獻中已經(jīng)得到很好的解決。而對于大規(guī)模的圖數(shù)據(jù)以及動態(tài)的圖數(shù)據(jù)，不能直接使用中小型靜態(tài)圖數(shù)據(jù)的可達性索引構(gòu)建算法?，F(xiàn)有大規(guī)模靜態(tài)圖數(shù)據(jù)可達性索引構(gòu)建算法，構(gòu)建時間和查詢時間的復(fù)雜度較高，現(xiàn)有大規(guī)模動態(tài)圖數(shù)據(jù)可達性索引的更新效率較差。
　　針對現(xiàn)有技術(shù)的不足，本文引入符號OBDD技術(shù)來構(gòu)建可達性索引。符號OBDD作為新型的數(shù)據(jù)結(jié)構(gòu)，運用二進制編碼數(shù)來編碼圖數(shù)據(jù)的節(jié)點，從而使用更少的節(jié)點數(shù)來表示圖

3、數(shù)據(jù)，達到減少圖數(shù)據(jù)的存儲量的目的。此外，符號技術(shù)可以同步實現(xiàn)源節(jié)點集到目標節(jié)點集的搜索。
　　本文主要工作內(nèi)容包括：
　?。?）提出了一種大規(guī)模靜態(tài)圖數(shù)據(jù)的可達性索引構(gòu)建的符號算法。首先使用有序二叉決策圖（OBDD）作為圖數(shù)據(jù)的存儲結(jié)構(gòu)。然后運用符號技術(shù)找到圖數(shù)據(jù)中的強連通分量（SCC），用于簡化大規(guī)模靜態(tài)圖數(shù)據(jù)。最后在簡化后的圖數(shù)據(jù)中，運用符號技術(shù)為每個節(jié)點分配可達性標簽，完成可達性索引構(gòu)建。
　　（2）提出了一種