嵌套事務(wù)-模型、調(diào)度可序列化理論及分散式調(diào)度.pdf

1、事務(wù)處理和并發(fā)控制一直是數(shù)據(jù)庫(kù)研究和實(shí)踐的重要組成部分之一.而事務(wù)調(diào)度可序列化理論無(wú)疑是事務(wù)處理和并發(fā)控制的核心理論.該文開(kāi)創(chuàng)性地提出了從更小粒度的操作層面來(lái)研究事務(wù)原子性和事力調(diào)度的本質(zhì)內(nèi)涵,歸納了嵌套事務(wù)模型上合理調(diào)度所需要遵循的自然約束和原子性約束,并以此為基礎(chǔ)建立了嵌套事務(wù)模型上面向操作的調(diào)度可序列化理論.在此基礎(chǔ)上,該文進(jìn)一步研究了事務(wù)之間的邏輯執(zhí)行序與嵌套事務(wù)調(diào)度可序列化之間的關(guān)聯(lián);并指出邏輯事務(wù)序只能夠表達(dá)事務(wù)模型中的原子

2、性約束,卻無(wú)法體現(xiàn)自然約束.為此,該文將嵌套事務(wù)模型所特有的自然約束和原子性約束的混合效應(yīng)提取出來(lái),稱之為隱式約束;并進(jìn)一步分析了其觸發(fā)條件,以將其結(jié)合到邏輯事務(wù)序的推演當(dāng)中.在該文提出的各種邏輯事務(wù)序當(dāng)中,表征事務(wù)序具有實(shí)現(xiàn)簡(jiǎn)便、維護(hù)代價(jià)小等優(yōu)點(diǎn),而適用于調(diào)度器部件的實(shí)現(xiàn)或調(diào)度協(xié)議的實(shí)現(xiàn).進(jìn)一步,借助表征事務(wù)序及其推導(dǎo)過(guò)程所具有的良好的局部化特征,并引入代理事務(wù)來(lái)消除跨系統(tǒng)邊界部分對(duì)調(diào)度可序列化的影響,該文最終提出了實(shí)現(xiàn)嵌套事務(wù)模型的