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

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

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

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