一種優(yōu)化的語義緩存查詢處理和一致性維護(hù)策略的研究與實(shí)現(xiàn).pdf

1、　　語義緩存是一種基于歷史查詢及其描述的緩存技術(shù)，因其節(jié)約網(wǎng)絡(luò)開銷、節(jié)省緩存容量、支持并發(fā)、支持網(wǎng)絡(luò)斷接下數(shù)據(jù)處理的特點(diǎn)而具備很好的實(shí)用性?，F(xiàn)存的研究在語義緩存的模型、查詢處理以及一致性維護(hù)方面存在缺陷，這在很大程度上限制了語義緩存的應(yīng)用。為了克服這些缺陷，本文首先形式化定義了一種簡(jiǎn)化的語義緩存模型，并描述了該模型下緩存管理的方法。進(jìn)而，本文給出了詳細(xì)的緩存管理的算法和正確性證明；為了解決現(xiàn)有查詢處理機(jī)制在時(shí)空效率和裁剪結(jié)果復(fù)雜度兩個(gè)方

2、面存在的問題，本文分析了查詢處理優(yōu)化的必要性和可能性，給出并證明了可用于優(yōu)化語義緩存查詢處理的11條規(guī)則，基于這些規(guī)則，給出了只需進(jìn)行剩余查詢裁剪求值的優(yōu)化的查詢處理算法。算法分析從理論上證明了該優(yōu)化機(jī)制的有效性；接著，本文形式化的定義了語義緩存一致性維護(hù)的相關(guān)概念，基于這些概念，本文提出了基于下行更新的語義緩存一致性維護(hù)策略(ConsistencyMaintenanceStrategybasedonDownwardsUpdatingi

3、nsemanticcaching，CMSDU)，同時(shí)，本文還一并給出了維護(hù)語義緩存數(shù)據(jù)一致的詳細(xì)算法。詳細(xì)的理論證明保證了該一致性維護(hù)機(jī)制的正確性和有效性。為了進(jìn)一步優(yōu)化CMSDU，本文研究了更新隊(duì)列可優(yōu)化的情況，給出了用于優(yōu)化更新隊(duì)列的優(yōu)化函數(shù)。同時(shí)，詳細(xì)的更新隊(duì)列優(yōu)化算法和正確性證明也被給出。為了驗(yàn)證簡(jiǎn)化模型的實(shí)用性，優(yōu)化的查詢處理機(jī)制的效率和CMSDU的有效性和可靠性，模擬實(shí)驗(yàn)系統(tǒng)被開發(fā)出來。實(shí)驗(yàn)數(shù)據(jù)分析形象的說明了本文在這三個(gè)方