主動規(guī)則的終止性分析.pdf

1、主動數(shù)據(jù)庫擴(kuò)展了傳統(tǒng)數(shù)據(jù)庫的被動功能，引用形如“事件-條件-動作”的主動規(guī)則(稱為ECA規(guī)則)來表達(dá)主動行為。事件部分指定事件序列；條件部分提供數(shù)據(jù)庫查詢；動作部分通常由一個或多個修改或查詢構(gòu)成。定義良好的規(guī)則集必須保證規(guī)則之間的相互觸發(fā)不會無限循環(huán)下去，即規(guī)則是可終止的。終止性反映了主動數(shù)據(jù)庫系統(tǒng)良好的行為特性。 對主動規(guī)則終止性分析已有靜態(tài)和動態(tài)方法，其中靜態(tài)方法使用較多，靜態(tài)方法是在編譯時間內(nèi)檢測主動規(guī)則執(zhí)行的潛在非終止性

2、。靜態(tài)方法中又包括圖方法和代數(shù)分析方法，其中基于圖的規(guī)則終止性分析主要包括觸發(fā)圖、激活圖和惰化圖以及基于觸發(fā)圖和激活圖的規(guī)則縮減算法。本文分別介紹了這幾種方法，并給出相應(yīng)的算法、定理及其證明。 針對已有圖分析方法的局限性，本文介紹一種主動數(shù)據(jù)庫規(guī)則終止性分析的一種新方法，此方法借助于演化圖分析事務(wù)與觸發(fā)器之間的關(guān)系。為了研究規(guī)則終止性和模擬規(guī)則執(zhí)行又考慮到觸發(fā)器信息和事務(wù)更新。提出算法來檢驗(yàn)規(guī)則終止性。采用演化圖來模擬規(guī)則靜態(tài)處

3、理過程并考慮到激活圖和惰化圖，演化圖比傳統(tǒng)的分析圖提供了更細(xì)化的分析方法。給出相應(yīng)算法并證明其正確性，并證明該方法對各種規(guī)則語言都是實(shí)用的因此可用于幾種數(shù)據(jù)庫系統(tǒng)中。 最后本文提出一種分析主動規(guī)則集的終止性的模型：在演繹數(shù)據(jù)庫領(lǐng)域中可判定這個特性然后將其擴(kuò)展傳遞到主動ECA規(guī)則中，因此給出了主動規(guī)則終止性判定的充分條件。因?yàn)橐惶字鲃右?guī)則集的計算依賴于特定系統(tǒng)的特征，所以終止性分析必須考慮主動規(guī)則的語義。我們將一套規(guī)則從已存在系統(tǒng)