主動規(guī)則(數(shù)據(jù)庫)

時間：2022-12-08 22:30:01 | 來源：信息時代

時間：2022-12-08 22:30:01 來源：信息時代

    主動規(guī)則 : 由事件(event)、條件(condition)和動作(action)三部分組成的ECA規(guī)則。用來表示數(shù)據(jù)庫的主動行為特征。通常,主動規(guī)則集中管理,以“規(guī)則庫”嵌入在數(shù)據(jù)庫系統(tǒng)中,通過執(zhí)行規(guī)則以提供數(shù)據(jù)庫的主動服務(wù)功能。規(guī)則可表示為如下形式:
WHEN<事件>IF<條件>THEN<動作>
規(guī)則的語義是: 一旦<事件>發(fā)生規(guī)則被激活,系統(tǒng)檢查規(guī)則的條件是否成立,如果條件被滿足,則執(zhí)行規(guī)則規(guī)定的動作。
ECA規(guī)則中,事件可以是原子事件或復(fù)合事件。條件用來判定規(guī)則的動作是否能執(zhí)行。常用的條件有:
(1)數(shù)據(jù)庫謂詞或限定謂詞:在某個數(shù)據(jù)庫上定義的謂詞,如SQL語言中的條件表達(dá)式,也可以是對條件的限定。
(2)數(shù)據(jù)庫查詢: 查詢條件可以用查詢語句說明,規(guī)定查詢結(jié)果為空或者非空時條件為真。
(3)應(yīng)用過程: 由程序語言所編寫過程的調(diào)用,其返回值為真或假。
ECA規(guī)則中,可執(zhí)行的動作有:
(1)數(shù)據(jù)更新或查詢操作: 如SQL中數(shù)據(jù)的插入、刪除、修改或查詢等操作,OODB中對象的創(chuàng)建、刪除,或者是修改對象的方法,對象查詢或者是查詢對象方法的調(diào)用等。
(2)其他數(shù)據(jù)庫命令:如數(shù)據(jù)定義操作、事務(wù)控制操作(如事務(wù)的提交、回退)、權(quán)限的授予或回收等。
(3)應(yīng)用程序: 在ECA規(guī)則模型中,事件、條件和動作間可以有不同的耦合模式,提供規(guī)則更多的語義信息。加入耦合模式的ECA規(guī)則的一般形式為:
RULE<規(guī)則名>[<參數(shù)表>]
WHEN<事件表達(dá)式>
IF<條件表達(dá)式><E-C耦合模式>
THEN<動作><C-A耦合模式>
END-RULE
規(guī)則的耦合模式說明規(guī)則的事件、條件和動作間的執(zhí)行關(guān)系。耦合模式有兩類: 事件與條件間的耦合(E-C耦合); 條件與動作間的耦合(C-A耦合)。E-C耦合模式說明當(dāng)觸發(fā)事件發(fā)生后何時評估條件,而C-A耦合模式說明當(dāng)條件滿足時何時執(zhí)行動作。大多數(shù)主動數(shù)據(jù)庫系統(tǒng)支持的耦合模式有立即型、延遲型和分離型三種。
(1)立即型(immediate): 指觸發(fā)事件發(fā)生(或條件評估)后,立即進(jìn)行條件評估(或執(zhí)行動作)。如對數(shù)據(jù)庫操作時必須立即執(zhí)行安全性檢查。
(2)延遲型(deferred): 指事件發(fā)生(或條件評估)后條件的評估(或動作的執(zhí)行)要延遲到事務(wù)提交前進(jìn)行。如對完整性約束的檢查,它允許事務(wù)中暫時存在數(shù)據(jù)的不一致。
(3)分離型(detached): 指條件的評估(或動作的執(zhí)行)是在與發(fā)生事件(或條件評估)不同的事務(wù)中進(jìn)行。分離型耦合模式通常與數(shù)據(jù)庫外部的行為控制有關(guān),但有時也用于監(jiān)控數(shù)據(jù)庫內(nèi)部的操作,如對于某些敏感信息的訪問,即使訪問事務(wù)夭折也需要記錄對這些數(shù)據(jù)的訪問信息。
規(guī)則執(zhí)行時首先按照所說明的E-C耦合模式講行條件的評估,如果條件被滿足,則根據(jù)C-A耦合模式執(zhí)行所規(guī)定的動作。規(guī)則的觸發(fā)和執(zhí)行是一個復(fù)雜的過程,需要一定的處理策略。規(guī)則執(zhí)行的語義及處理策略參見執(zhí)行模型。