主動(dòng)數(shù)據(jù)庫(kù)中的主動(dòng)規(guī)則和執(zhí)行模型的研究.pdf

1、該文基于主動(dòng)數(shù)據(jù)庫(kù)技術(shù)的基本思想并結(jié)合面向?qū)ο蟮乃枷雽?duì)主動(dòng)數(shù)據(jù)庫(kù)的知識(shí)模型和執(zhí)行模型進(jìn)行了研究及設(shè)計(jì).重點(diǎn)研究了主動(dòng)規(guī)則和執(zhí)行模型.在主動(dòng)規(guī)則中,該文在對(duì)主動(dòng)規(guī)則分析的基礎(chǔ)上針對(duì)其中的事件檢測(cè)論述了一個(gè)基于染色Petri網(wǎng)的復(fù)合事件檢測(cè)的方法.描述了用于檢測(cè)復(fù)合事件的Petri網(wǎng)的定義Petri-DS,其中用點(diǎn)模擬事件,變遷模擬對(duì)組成復(fù)合事件的成員事件的各種限制,不同的復(fù)合事件對(duì)應(yīng)的守衛(wèi)表達(dá)式不同.該文還給出了該方法的實(shí)現(xiàn).在執(zhí)行模型中

2、,該文在對(duì)傳統(tǒng)執(zhí)行模型的研究的基礎(chǔ)上分析了常見(jiàn)的并發(fā)控制協(xié)議:兩段鎖協(xié)議、多版本協(xié)議和多版本兩段鎖協(xié)議.并對(duì)傳統(tǒng)的多版本兩段鎖MV2PL協(xié)議進(jìn)行了優(yōu)化,提出了一種更適合主動(dòng)數(shù)據(jù)庫(kù)的事務(wù)執(zhí)行方法.文中分別對(duì)只讀事務(wù)和更新事務(wù)進(jìn)行了優(yōu)化.在對(duì)只讀事務(wù)的優(yōu)化中,降低了查詢要求的一致性,使只讀事務(wù)可以讀到更新的數(shù)據(jù)版本.在對(duì)更新事務(wù)的優(yōu)化中,將更新事務(wù)細(xì)分為普通事務(wù)和主動(dòng)事務(wù).對(duì)主動(dòng)事務(wù)的讀操作加入了檢測(cè)是否存在未提交數(shù)據(jù)版本的函數(shù).通過(guò)優(yōu)化,