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

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

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

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