基于圖方法的主動(dòng)數(shù)據(jù)庫(kù)規(guī)則問(wèn)題的研究.pdf

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

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

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