基于傳播算法的主動數(shù)據(jù)庫規(guī)則特性分析.pdf

1、規(guī)則集是主動數(shù)據(jù)庫得以實現(xiàn)主動能力的關(guān)鍵部分。使得數(shù)據(jù)庫可以對其內(nèi)部與外界的變化進行監(jiān)控分析，在沒有用戶干預(yù)的情況下，能夠自動地對系統(tǒng)內(nèi)部或外部所產(chǎn)生的事件作出反應(yīng)。近年來，主動數(shù)據(jù)庫的規(guī)則分析與設(shè)計正日益成為人們關(guān)注的焦點。但由于規(guī)則之間、規(guī)則本身的相互觸發(fā)，產(chǎn)生了一系列非結(jié)構(gòu)化的、不可預(yù)測的規(guī)則處理行為，使得準確預(yù)測一個規(guī)則集的行為特性十分困難。在研究過程中認識到規(guī)則集行為應(yīng)當滿足終止性、匯流性和可觀察確定性，保證主動數(shù)據(jù)庫的結(jié)果是

2、準確的、可預(yù)知的并且可在有限步內(nèi)得到結(jié)果。 本文以傳播算法為基礎(chǔ)，采用圖與代數(shù)相結(jié)合進行規(guī)則集的特性分析。首先討論了傳播算法的規(guī)則，傳播算法是一種靜態(tài)分析C=-A規(guī)則的的方法。它使用語法分析來確定一個數(shù)據(jù)庫查詢?nèi)绾伪灰粋€數(shù)據(jù)修改操作所影響。使得規(guī)則分析更精確。 其次對可終止性的分析，討論了可終止性的相關(guān)定義與執(zhí)行模型及觸發(fā)圖、激活一惰化圖。最后通過傳播算法分析了規(guī)則在執(zhí)行的圖中相互之間的觸發(fā)、激活、惰化關(guān)系，從而更好的確

3、定規(guī)則集的可終止性。 其次是對匯流性的分析，討論了規(guī)則之間的可交換性、匯流性、局部匯流性。通過傳播算法分析了兩條規(guī)則是否滿足規(guī)則可交換的條件，從而確定規(guī)則集是否滿足匯流性。 最后是對可觀察確定性的分析，由于規(guī)則動作的可觀察性分為數(shù)據(jù)檢索和事務(wù)回退操作兩部分，因此本文針對數(shù)據(jù)檢索操作通過規(guī)則模型將經(jīng)過傳播算法分析后的最終操作進行抽象。然后采用執(zhí)行狀態(tài)圖對這些規(guī)則的執(zhí)行結(jié)果進行分析，如果修改動作的最終結(jié)果相同或唯一，則多個規(guī)

4、則被選擇執(zhí)行的順序?qū)捎^察動作的結(jié)果不產(chǎn)生影響，否則不是可觀察確定的。針對事務(wù)回退操作，同樣通過規(guī)則模型將操作抽象。然后，采用棧的方式將每個事務(wù)的操作按順序壓入棧中。在事務(wù)結(jié)束后，將操作彈出棧通過操作的逆運算得到這個事務(wù)的完整的回退操作。從而實現(xiàn)可觀察確定性。 通過運用傳播算法對規(guī)則的精確分析，更有效、更精確地對規(guī)則的可終止性、匯流性、可觀察確定性進行了分析。能夠在一定程度上準確分析規(guī)則的特性，為今后在實際應(yīng)用過程中提供了一種較