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

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

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