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

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

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