多數(shù)據(jù)庫系統(tǒng)的事務(wù)管理研究.pdf

1、多數(shù)據(jù)庫系統(tǒng)是建立在已經(jīng)存在的多個(gè)分布的、異構(gòu)的和自治的局部數(shù)據(jù)庫系統(tǒng)之上的系統(tǒng),實(shí)現(xiàn)不同數(shù)據(jù)源之間的互操作.異構(gòu)性和自治性使得多數(shù)據(jù)庫系統(tǒng)的事務(wù)管理與傳統(tǒng)數(shù)據(jù)庫的事務(wù)管理有著顯著的不同,傳統(tǒng)的事務(wù)模型,并發(fā)控制機(jī)制和事務(wù)正確性標(biāo)準(zhǔn)不適合多數(shù)據(jù)庫環(huán)境,需要研究新的克服異構(gòu)性和自治性的事務(wù)管理方法. 分析全局事務(wù)的內(nèi)在語義和全局子事務(wù)間的執(zhí)行語義,將全局子事務(wù)劃分成可補(bǔ)償?shù)?、可重做的和關(guān)鍵的三種類型,將子事務(wù)間的執(zhí)行語義歸結(jié)為串行關(guān)系和功

2、能替代關(guān)系.提出了一種基于語義的多數(shù)據(jù)庫事務(wù)模型,給出了可提交子事務(wù)集的定義和枚舉所有可提交子事務(wù)集的LCG算法.在該事務(wù)模型中,全局事務(wù)的提交并非一定要求所有的全局子事務(wù)都執(zhí)行成功,由此提出了多數(shù)據(jù)庫事務(wù)的準(zhǔn)原子性概念.根據(jù)全局子事務(wù)類型的不同,提出了先提交可補(bǔ)償子事務(wù),再提交關(guān)鍵子事務(wù),最后提交可重做子事務(wù)的三階段提交協(xié)議.在上述理論研究和實(shí)驗(yàn)分析的基礎(chǔ)上設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于CORBA的多數(shù)據(jù)庫原型系統(tǒng)Panorama,Panora