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

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

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