基于圖方法的主動數(shù)據(jù)庫規(guī)則問題的研究.pdf

1、近年來主動數(shù)據(jù)庫已經(jīng)成為數(shù)據(jù)庫研究領域的熱點.主動數(shù)據(jù)庫技術是為實現(xiàn)對于數(shù)據(jù)完整性和一致性的自動維護和滿足實時信息處理的需要應運而生的,是數(shù)據(jù)庫理論發(fā)展的一個重要里程碑,它使數(shù)據(jù)庫系統(tǒng)能夠自動對數(shù)據(jù)庫內(nèi)部與外界的狀態(tài)進行監(jiān)控分析,并做出實時響應成為可能.Alexander Aiken指出,在靜態(tài)分析方法中,主要分析規(guī)則三個方面:可終止性、匯流性和可視性.可終止性是指規(guī)則是否保證在任何狀態(tài)下經(jīng)過一系列改變,執(zhí)行能夠終止.主動數(shù)據(jù)庫中規(guī)則動

2、作執(zhí)行引發(fā)的事件會觸發(fā)其它規(guī)則或觸發(fā)相同的規(guī)則,規(guī)則間的相互觸發(fā)可能會出現(xiàn)永不終止的情況,從而導致系統(tǒng)失敗.在規(guī)則集的觸發(fā)圖(Triggering Graph)中沒有回路,則集合R中的規(guī)則保證終止.匯流性是指如果在規(guī)則的執(zhí)行過程中,規(guī)則被考慮的優(yōu)先順序是否影響數(shù)據(jù)庫的最終狀態(tài).判斷匯流性,首先要考慮規(guī)則是否是可交換的.滿足匯流需要,并且在R的任何執(zhí)行圖中沒有無限路徑,R中的規(guī)則是可匯流的.主動規(guī)則集的可終止性判定是一個直接影響主動數(shù)據(jù)庫

3、設計的關鍵問題之一.Andrew Dinn等研究主動數(shù)據(jù)庫系統(tǒng)中規(guī)則終止特性的靜態(tài)分析技術,通過對基本觸發(fā)圖分析方法的研究,給出了將觸發(fā)圖和活化圖相結合的一種規(guī)則終止分析方法.該方法與基本觸發(fā)圖分析方法相比能夠更準確地判定規(guī)則的可終止性.特別是主動規(guī)則集對應的觸發(fā)圖無環(huán)是保證終止性的充分條件,但不是必要條件.我們針對有環(huán)時的規(guī)則集的終止性進行了研究,通過對觸發(fā)圖、活化圖的分析,提出了聯(lián)合公式的概念,在此基礎上給出了判定有環(huán)觸發(fā)圖對應的主