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

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

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