主動數(shù)據(jù)庫主動規(guī)則匯流性分析.pdf

1、傳統(tǒng)的數(shù)據(jù)庫系統(tǒng)已經(jīng)不能適應(yīng)當(dāng)今的現(xiàn)代應(yīng)用.近年來,主動數(shù)據(jù)庫的研究發(fā)展非常迅速,而且被應(yīng)用到許多領(lǐng)域,主動數(shù)據(jù)庫已經(jīng)成為了數(shù)據(jù)庫研究領(lǐng)域一個前沿的方向.主動數(shù)據(jù)庫應(yīng)用中的一個很大的困難就是正確的規(guī)則應(yīng)用開發(fā),因為預(yù)測一組主動規(guī)則處理的行為是非常困難的.文章開始介紹了主動數(shù)據(jù)庫的出現(xiàn)的背景、發(fā)展與現(xiàn)狀、主要特征及體系結(jié)構(gòu),比較了幾種典型的主動規(guī)則系統(tǒng),對主動數(shù)據(jù)庫的知識模型和執(zhí)行模型進行討論.然后著重研究了主動規(guī)則的行為特征,在此基礎(chǔ)上

2、提出了檢查主動規(guī)則匯流性的方法和算法.該文的研究工作如下:為了給規(guī)則集的分析提供一個有效的工具,必須了解關(guān)于規(guī)則行為的三種屬性的信息,即規(guī)則的終止性、匯流性和可觀察判定性.該文分別分析了主動數(shù)據(jù)庫主動規(guī)則的三種屬性,并闡述了三種屬性基本分析方法的基礎(chǔ).為了分析主動規(guī)則的匯流性,文中引入了基于執(zhí)行圖的執(zhí)行模型.在此模型的基礎(chǔ)上,提出了基于執(zhí)行圖的匯流性分析方法,給出了路徑匯流和邊匯流的定理,并提出了保證規(guī)則集匯流的條件.該文提出了帶有元規(guī)