簡介：該文主要圍繞四個方面展開長事務(wù)的分解方法、利用事務(wù)語義的長事務(wù)處理、利用對象語義的長事務(wù)處理以及同時利用事務(wù)和對象語義的長事務(wù)處理方法具體工作如下1該文通過對一致性約束集進行分類給出了一個判定可分解事務(wù)類型的算法并證明對可分解事務(wù)類型進行分析所得到的分解一定滿足分解特性2在利用事務(wù)語義方面該文提出了基于語義的事務(wù)分解的正確性標(biāo)準(zhǔn)并且給出一種基于有向圖的正確性判定方法在此基礎(chǔ)上分別給出了基于鎖協(xié)議和樂觀方法的并發(fā)控制算法并證明這兩種算法所產(chǎn)生的歷史是正確歷史3在利用對象語義方面該文給出了基于語義可串行性的樂觀并發(fā)控制算法和一種基于并發(fā)控制和恢復(fù)的統(tǒng)一模型給出的基于鎖協(xié)議的并發(fā)控制算法4該文給出了一種同時利用事務(wù)和對象語義的長事務(wù)和對象語義的長事務(wù)處理方法在事務(wù)分解的基礎(chǔ)上利用語義單元進一步提高了并發(fā)度給出了正確性標(biāo)準(zhǔn)和基于有向圖的正確性判定方法最后給出了一種基于樂觀方法的并發(fā)控制算法并證明該算法所產(chǎn)生的歷史是正確歷史

簡介：隨著信息產(chǎn)業(yè)和信息技術(shù)的不斷發(fā)展，越來越多的信息需要處理及交流，而處理信息最有效的工具是數(shù)據(jù)庫應(yīng)用系統(tǒng)。一方面必須提高系統(tǒng)效率，盡可能的共享信息資源，另一方面必須防止盜用者利用共享平臺獲得系統(tǒng)中不屬于其權(quán)限范圍之內(nèi)的資源。多級安全MULTILEVELSECURITY簡寫為MLS分布式事務(wù)處理的研究一直受到人們的關(guān)注，也是信息安全中的一個重要研究課題。EBERTINO等提出的基于信號鎖的多級安全并發(fā)控制機制雖然解決了隱通道問題和“饑餓”問題，但在高負(fù)載情況下大量低密級事務(wù)時常更新數(shù)據(jù)而產(chǎn)生讓高密級事務(wù)回滾的信號，故很容易引起高密級事務(wù)的“饑餓”。SPAL提出的利用數(shù)據(jù)兩個提交版本的鎖協(xié)議雖然解決了以上問題，但它利用一個截止期，在該截止期內(nèi)高密級事務(wù)讀數(shù)據(jù)必須要完成。如果不能完成，則必須夭折，并有可能無限期的被延遲。而且高密級事務(wù)總是讀數(shù)據(jù)的舊版本，這也可能不會被接受。本文將信號鎖機制和利用數(shù)據(jù)兩個提交版本的鎖協(xié)議結(jié)合，提出一種基于信號鎖和兩版本的多級安全并發(fā)控制機制，即所有的讀事務(wù)高密級和低密級的都讀已提交的版本，而寫事務(wù)則在一個未提交版本上進行，高密級讀事務(wù)通過信號鎖機制來確保安全性和一致性。這樣就結(jié)合信號鎖和兩個版本的功能特性，解決了傳統(tǒng)并發(fā)控制協(xié)議的隱通道和“饑餓”問題，在高負(fù)載情況下高密級事務(wù)的執(zhí)行效率也得到有效提高，并給出了形式化證明。傳統(tǒng)的多級安全分布式提交協(xié)議也很難滿足分布式環(huán)境下的安全與可串行化要求。本文給出的多級安全分布式提交協(xié)議S2VBSEP協(xié)議，在低讀鎖異常的情況下允許分布式事務(wù)繼續(xù)執(zhí)行，分布式事務(wù)在提交前通過信號鎖機制來滿足可串行化和安全需求，這樣就避免了過度夭折高密級事務(wù)而造成的高密級事務(wù)的“饑餓”，同時也利用兩版本優(yōu)勢提高了分布式事務(wù)處理的效率。本文還給出了多級安全分布式事務(wù)處理原型系統(tǒng)關(guān)鍵模塊的設(shè)計與實現(xiàn)。通過實驗原型，證明本文提出的安全并發(fā)控制協(xié)議及多級安全分布式提交算法都是可實現(xiàn)的和可行的。

簡介：移動事務(wù)處理技術(shù)的研究起因于移動用戶在移動過程中對數(shù)據(jù)庫系統(tǒng)進行存取訪問的迫切需求困難來自于移動計算環(huán)境的固有特性在移動數(shù)據(jù)庫原型系統(tǒng)MDM3的基礎(chǔ)上設(shè)計開發(fā)其事務(wù)處理子系統(tǒng)提出了一個理論上完善的移動事務(wù)處理模型MTMDM能充分有效地適應(yīng)移動計算環(huán)境首先提出了一種樂觀的基于廣播有效性驗證的并發(fā)控制協(xié)議使得MTMDM可以容忍移動用戶的頻繁斷接優(yōu)化事務(wù)的吞吐量同時避免通?；阪i的并發(fā)控制協(xié)議帶來的資源釋放、死鎖、級聯(lián)回滾等難題其次針對移動計算環(huán)境固有的非對稱帶寬特性一方面MTMDM有效地利用下行帶寬遠(yuǎn)大于上行帶寬的優(yōu)勢廣播事務(wù)的控制信息提前處理必然夭折的事務(wù)省去了不必要的計算存儲和網(wǎng)絡(luò)等資源消耗增加了系統(tǒng)的吞吐量和性能同時使移動用戶盡量處于等待模式而非激活模式有效的節(jié)約移動用戶的電源資源再次采用了廣播和控制信息分散的方式MTMDM具有極好的可擴展性無論是大規(guī)模還是只有幾個小區(qū)的系統(tǒng)都可以伸縮自如同時MTMDM改進了KT模型中的策略可以有效的捕獲和處理由移動用戶的移動行為導(dǎo)致的事務(wù)移動性和數(shù)據(jù)的移動行為引入了移動用戶移動率的概念來衡量事務(wù)的移動性相應(yīng)地采用了HMSC、AMSC和MOVE等三種事務(wù)移動性處理策略針對不同移動用戶移動率給出了各自通信開銷的計算方法MTMDM以此為基礎(chǔ)對移動事務(wù)采用動態(tài)處理策略優(yōu)化了事務(wù)處理的通信開銷

簡介：本論文在下述幾個方面作了研究和探討總結(jié)了事務(wù)處理的基本概念和相關(guān)事務(wù)模型，并分析了目前較為流行的幾類事務(wù)處理模型，繼而提出網(wǎng)格服務(wù)環(huán)境下事務(wù)處理模型與這些模型之間的區(qū)別；1分析了網(wǎng)格服務(wù)環(huán)境下事務(wù)的特點與類型，并將向前和向后恢復(fù)模式應(yīng)用于長事務(wù)的恢復(fù)，同時論述了它們之間的關(guān)系；2網(wǎng)格服務(wù)環(huán)境下的事務(wù)處理分為兩個部分，即事務(wù)協(xié)調(diào)框架和協(xié)調(diào)協(xié)議。在第五章，論文不僅討論了協(xié)調(diào)框架，同時給出了部分實現(xiàn)細(xì)節(jié)；3針對原子事務(wù)與長事務(wù)，分別提出了協(xié)調(diào)協(xié)議，尤其針對原子事務(wù)，論文提出了三階段提交協(xié)議以支持事務(wù)的三階段提交方式；4在關(guān)于長事務(wù)協(xié)調(diào)協(xié)議的論述中，提出了長事務(wù)與其它事務(wù)之間的協(xié)調(diào)問題。這一問題是普遍存在的，然而因為沒有一個圓滿的解決方案，因此一直沒有事務(wù)處理系統(tǒng)涉及到它。論文提出了協(xié)調(diào)這一事務(wù)問題的參考協(xié)議，并定義了適用于該協(xié)議的三種協(xié)調(diào)級別，以供應(yīng)用的選擇；5論文還提出了網(wǎng)格服務(wù)環(huán)境下事務(wù)處理涉及到的其它問題，并提出了參考性建議；6最后，作者提出了一個個人觀點，即完美的事務(wù)處理應(yīng)該維護事務(wù)中涉及的數(shù)據(jù)與時間的一致性，但是，鑒于當(dāng)前科學(xué)技術(shù)下時間的不可逆性，這一要求是無法達(dá)到的，從這一點上來說，當(dāng)前的事務(wù)處理系統(tǒng)，它僅僅維護數(shù)據(jù)之間的一致性，是一種存在誤差的事務(wù)處理系統(tǒng)。

簡介：隨著INTER技術(shù)的發(fā)展和逐步成熟它已經(jīng)的滲透到各個行業(yè)和應(yīng)用領(lǐng)域中目前大量WEB應(yīng)用系統(tǒng)的開發(fā)和運行將INTER變成了個信息發(fā)布的平臺人們可以從這個平臺很方便地獲取信息人們希望這個平臺能提供更多的服務(wù)由此產(chǎn)生了WEB服務(wù)的需求為了滿足這一需求一個被稱為WEBSERVICES的技術(shù)框架被建立起來并得到迅速的發(fā)展它基于XML標(biāo)準(zhǔn)是建立WEB服務(wù)所遵循的技術(shù)規(guī)范基于這個技術(shù)框架可以實現(xiàn)以松耦合的方式調(diào)用建立在異構(gòu)操作系統(tǒng)、開發(fā)語言、數(shù)據(jù)格式基礎(chǔ)上的WEB服務(wù)可以充分的利用INTER所連接的軟件資源它代表了INTER技術(shù)發(fā)展的新方向本文的主要工作是探討WEBSERVICES的技術(shù)架構(gòu)以WEB服務(wù)封裝水運管理的業(yè)務(wù)規(guī)則基于WEB服務(wù)建立水運管理信息系統(tǒng)并探索基于WEB服務(wù)進行水運管理中的事務(wù)處理

簡介：面向服務(wù)的計算SERVICEIENTEDCOMPUTING，SOC是一種以WEB服務(wù)作為基本組件的分布式計算模式，它支持開放、動態(tài)和異構(gòu)環(huán)境下分布式應(yīng)用的系統(tǒng)集成。WEB服務(wù)正從最初關(guān)注描述、發(fā)布和交互向支持健壯的業(yè)務(wù)協(xié)作新階段發(fā)展。為了保證面向服務(wù)的應(yīng)用獲得正確、一致的執(zhí)行結(jié)果，大多數(shù)工作流和B2B協(xié)作應(yīng)用程序都需要支持復(fù)雜的、長時間運行的業(yè)務(wù)事務(wù)。面向服務(wù)的業(yè)務(wù)流程除了關(guān)注服務(wù)組合業(yè)務(wù)流程的功能特性外，應(yīng)該整合考慮合成之上的事務(wù)特性。如何設(shè)計正確的WEB服務(wù)組合業(yè)務(wù)流程，讓它們協(xié)同工作并保持一致，即確保面向服務(wù)的業(yè)務(wù)事務(wù)BUSINESSTRANSACTIONSFSERVICES，BTS正確地執(zhí)行是當(dāng)前一個具有挑戰(zhàn)性的重要問題。本文從操作系統(tǒng)進程管理的視角提出了面向服務(wù)的業(yè)務(wù)事務(wù)的概念視圖，將現(xiàn)階段的事務(wù)處理歸結(jié)為在業(yè)務(wù)流程執(zhí)行過程中對服務(wù)、活動及流程的分層管理。從建模語言到驗證方法、從建模分析到驗證實現(xiàn)，本文為面向服務(wù)的業(yè)務(wù)事務(wù)的正確性保障建立了一套系統(tǒng)的解決方案。主要研究成果如下1提出了一種支持非功能性描述的移動進程代數(shù)MPI演算。根據(jù)應(yīng)用語義需求引入進程作用域的概念，擴展了PI演算進程移動性的含義。用鏈接相對進程作用域的移動來表示進程的移動，使得MPI演算能夠描述組件之間交互行為的非功能屬性，具有兼顧系統(tǒng)功能性和非功能性描述的表達(dá)能力。提出了一種膜互模擬關(guān)系，使得在進程作用域內(nèi)部具有不同行為的兩個進程也可以被認(rèn)為是等價的，并引入了膜等價概念，得出與強弱互模擬等價類似的性質(zhì)。2提出了一種等價自動機轉(zhuǎn)換的模型驗證方法。MPI演算能夠被解釋成標(biāo)號遷移系統(tǒng)LABELLEDTRANSITIONSYSTEM，LTS，NUSMV是基于KRIPKE結(jié)構(gòu)KRIPKESTRUCTURE，KS的符號模型檢驗器，LTS與KS都屬于狀態(tài)自動機STATEAUTOMATA。根據(jù)元模型LTS和KS之間的語義映射關(guān)系，給出了從MPI演算模型到NUSMV的輸入語言SMV的語法轉(zhuǎn)換規(guī)則?；谠Ｐ投x的語義映射關(guān)系和語法轉(zhuǎn)換規(guī)則可以提高模型轉(zhuǎn)換的可復(fù)用性和可移植性。3在服務(wù)層研究了如何保持業(yè)務(wù)流程參與者之間的協(xié)調(diào)一致性問題，提出了支持業(yè)務(wù)事務(wù)驗證的服務(wù)協(xié)調(diào)模型。針對WEB服務(wù)事務(wù)標(biāo)準(zhǔn)WSTX定義的參與者之間交互消息缺乏嚴(yán)格的語義，用PI演算形式化描述了WSTX規(guī)范中定義業(yè)務(wù)活動事務(wù)的WSBA協(xié)議，在此基礎(chǔ)上建立了適用于多個參與者的服務(wù)協(xié)調(diào)模型，并驗證分析了協(xié)議的安全性和活性。實驗結(jié)果表明，基于服務(wù)協(xié)調(diào)模型的業(yè)務(wù)事務(wù)驗證方法，能夠有效地提高業(yè)務(wù)流程執(zhí)行的可靠性和一致性。4在活動層研究了如何利用WEB服務(wù)事務(wù)模型分析事務(wù)的等價性問題，提出了面向服務(wù)的柔性事務(wù)建模與分析方法。用MPI演算對柔性事務(wù)模型進行了形式化描述，考慮進程行為的事務(wù)依賴性，提出了一種事務(wù)膜等價關(guān)系。通過一個典型的柔性事務(wù)實例，闡述了利用事務(wù)膜開互模擬分析事務(wù)等價關(guān)系的方法。實驗結(jié)果表明，事務(wù)膜開互模擬分析方法能夠判別事務(wù)等價關(guān)系，約簡目標(biāo)系統(tǒng)模型，有效降低系統(tǒng)驗證的復(fù)雜度。5在流程層研究了如何保證跨組織業(yè)務(wù)流程的可靠性問題，提出了跨組織多業(yè)務(wù)事務(wù)的建模與驗證方法。將進程的動作交互與跨組織膜活動建立動態(tài)關(guān)聯(lián)，提出了跨組織多業(yè)務(wù)事務(wù)建模方法。驗證分析了多業(yè)務(wù)事務(wù)中排他性、響應(yīng)性、非阻塞性和非平凡性等關(guān)鍵性質(zhì)。實驗結(jié)果表明，對于復(fù)雜的多業(yè)務(wù)事務(wù)，經(jīng)過抽象或分解后，同樣能夠采用該方法保障多業(yè)務(wù)流程在設(shè)計與實現(xiàn)過程中的可靠性。6提出了基于策略的面向服務(wù)的業(yè)務(wù)事務(wù)驗證支撐系統(tǒng)框架，提供了一種事務(wù)運行時的驗證機制。設(shè)計和實現(xiàn)了面向服務(wù)的業(yè)務(wù)事務(wù)形式化驗證原型工具VBT4SVERIFICATIONOFBUSINESSTRANSACTIONSFSERVICES，支持主流開源的符號模型檢驗器NUSMV2。實驗結(jié)果表明，系統(tǒng)支持非功能屬性（如事務(wù)的完整性和一致性等）相關(guān)命題性質(zhì)的模型檢測，具有功能和非功能性質(zhì)的統(tǒng)一驗證與分析能力。

簡介：點擊查看更多異構(gòu)數(shù)據(jù)集成系統(tǒng)中基于CORBA的事務(wù)處理研究.pdf精彩內(nèi)容。

簡介：工作流平臺是用來描述、建模、執(zhí)行、監(jiān)控和協(xié)作由多人參與的結(jié)構(gòu)化或半結(jié)構(gòu)化的工作流程它協(xié)調(diào)組織機構(gòu)內(nèi)群體和業(yè)務(wù)流程之間的通信、交互、理解和同步HITSECWKFLOW工作流平臺是哈爾濱工業(yè)大學(xué)中百信軟件基地的核心產(chǎn)品事務(wù)引擎是HITSECWKFLOW工作流平臺的一個主要組件本文通過對事務(wù)引擎中的事務(wù)管理、事務(wù)隊列維護、消息隊列等任務(wù)的分析對HITSECWKFLOW工作流事務(wù)引擎進行了設(shè)計與實現(xiàn)本文設(shè)計的事務(wù)引擎包括事務(wù)管理器、事務(wù)分析器、消息隊列等事務(wù)管理器是事務(wù)引擎的控制中心事務(wù)管理器通過總線與流程引擎通信、同時維護事務(wù)隊列、消息隊列事務(wù)分析器則分析具體要執(zhí)行的事務(wù)根據(jù)分析結(jié)果調(diào)度事務(wù)的執(zhí)行過程事務(wù)分析器可以操作事務(wù)隊列、消息隊列等對于涉及處理者和具體文檔的事務(wù)事務(wù)引擎會將文檔處理工作委托給文檔引擎處理同時在事務(wù)引擎中產(chǎn)生相應(yīng)的事務(wù)提醒消息通過實際應(yīng)用驗證HITSECWKFLOW工作流事務(wù)引擎能夠監(jiān)督和管理事務(wù)針對某一事務(wù)的執(zhí)行狀態(tài)可以實現(xiàn)添加提醒消息或刪除某一事務(wù)等功能事務(wù)引擎已在伊春市人民政府等單位得到實際應(yīng)用并獲得好評

簡介：隨著社會的發(fā)展，現(xiàn)今的計算機應(yīng)用系統(tǒng)也隨之復(fù)雜化和大型化。各個行業(yè)需要不斷涌現(xiàn)新的業(yè)務(wù)系統(tǒng)向企業(yè)和群眾提供許多更優(yōu)質(zhì)的服務(wù)。如果不能充分利用以前業(yè)務(wù)系統(tǒng)所提供的資源，這不但會加大了新業(yè)務(wù)系統(tǒng)的成本，而且也是對資源的一種浪費。同時也將會使應(yīng)用系統(tǒng)的規(guī)模不斷擴大，使其難于維護。由于傳統(tǒng)基于事務(wù)中間件的業(yè)務(wù)系統(tǒng)中存在可重用性差，數(shù)據(jù)交換復(fù)雜等缺陷。為了解決這些問題，本文結(jié)合現(xiàn)代企業(yè)對應(yīng)用系統(tǒng)的需求，提出了一系列優(yōu)化該架構(gòu)的方法，并提出一系列關(guān)于事務(wù)資源適配器的定義，同時設(shè)計和實現(xiàn)了一套更加靈活和高效的基于事務(wù)資源適配器的應(yīng)用架構(gòu)。從而解決了應(yīng)用系統(tǒng)間的數(shù)據(jù)交互等問題，并提高了舊有系統(tǒng)的可重用性。在事務(wù)中間件技術(shù)的研究方面，大多的研究均拘泥于現(xiàn)有的中間件的產(chǎn)品之上，側(cè)重于對其功能及其應(yīng)用的研究。同時較少地考慮其體系結(jié)構(gòu)的一致性，缺乏系統(tǒng)化地對其系統(tǒng)架構(gòu)的研究。為此，本文提出了事務(wù)資源適配器的概念，使其能夠統(tǒng)一地分配和調(diào)度資源，同時向客戶端提供了一個統(tǒng)一的接口。同時本文設(shè)計和實現(xiàn)了其事務(wù)資源適配器的架構(gòu)，并根據(jù)其關(guān)鍵的業(yè)務(wù)邏輯將其分為三個核心部分，并一一將其實現(xiàn)。本文闡述了WEBSERVICES的技術(shù)架構(gòu)。WEBSERVICES是計算機IT技術(shù)的第三次革命。WEBSERVICES技術(shù)在現(xiàn)有的各種異構(gòu)平臺上，構(gòu)筑了一個通用的，與平臺無關(guān)語言無關(guān)的技術(shù)層，不同平臺上的應(yīng)用依靠這個技術(shù)層來實施相互的聯(lián)接和集成。同時把事務(wù)資源適配器引入到WEBSERVICE的技術(shù)當(dāng)中。對基于WEBSERVICES和事務(wù)中間件的應(yīng)用模型進行了探討，提出了基于WEBSERVICES和事務(wù)資源適配器敏捷整合企業(yè)業(yè)務(wù)系統(tǒng)的解決方案。

簡介：隨著SOAP等技術(shù)的發(fā)展與普及以及電子商務(wù)的迅速崛起一種新的基于WEB的應(yīng)用開發(fā)模式正在迅速發(fā)展這就是WEB服務(wù)技術(shù)它的出現(xiàn)改變了以往分布式系統(tǒng)間的集成方式它以XML作為數(shù)據(jù)交換標(biāo)準(zhǔn)使用SOAP、WSDL以及UDDI等協(xié)議來描述發(fā)布、發(fā)現(xiàn)和調(diào)用服務(wù)使得運用不同分布式集成架構(gòu)的系統(tǒng)之間可以容易地相互溝通事務(wù)處理是WEB服務(wù)能否用于電子商務(wù)的關(guān)鍵技術(shù)之一本文從研究傳統(tǒng)的ACID事務(wù)開始分析了事務(wù)模型發(fā)展的過程并對現(xiàn)在事務(wù)的主要模型作了一些深入的描述從平面事務(wù)到擴展的多個事務(wù)包括嵌套事務(wù)開放嵌套事務(wù)SAGAS等同時分布式環(huán)境下的事務(wù)處理技術(shù)是基于傳統(tǒng)事務(wù)發(fā)展起來的但是由于分布式環(huán)境的資源管理方式完全不同于傳統(tǒng)方式所以對事務(wù)提出了更高的要求所以出現(xiàn)了分布式事務(wù)處理模型如XOPEN模型、CBA的OTS等當(dāng)然當(dāng)前已經(jīng)出現(xiàn)了幾個可供WEB服務(wù)使用的事務(wù)模型和協(xié)議比如BTP協(xié)議WSTRANSACTION協(xié)議OTS的擴充協(xié)議ACTIVITYSERVICE等但是經(jīng)過深入的考察發(fā)現(xiàn)這些協(xié)議都無法為WEB服務(wù)提供一個實用且相對完善的解決方案由于WEB服務(wù)處于多變的INTER環(huán)境WEB服務(wù)事務(wù)處理必須提供協(xié)調(diào)短事務(wù)和長事務(wù)的能力本文提出了一個能夠同時處理原子事務(wù)和聚合事務(wù)的模型研究了其協(xié)調(diào)算法、狀態(tài)轉(zhuǎn)換及恢復(fù)機制聚合事務(wù)允許候選者獨立提交并使用補償事務(wù)來撤銷已提交的子事務(wù)所帶來的影響可以較好地滿足WEB服務(wù)環(huán)境下對長事務(wù)的要求為WEB服務(wù)投入商用提供了有力支持

簡介：本文針對MA環(huán)境的特點，設(shè)計了一種MA環(huán)境下的移動事務(wù)處理模型。該模型以時間戳方式的2階段提交并發(fā)控制方法為核心，提出了移動事務(wù)進行可串行化校驗的算法并給出正確性的證明，實現(xiàn)了移動事務(wù)的可串行化調(diào)度。本文通過實驗分析了移動事務(wù)的撤銷率與并發(fā)事務(wù)數(shù)目的關(guān)系，針對移動主機經(jīng)常發(fā)生斷接的特點，提出了基于代理方式的移動主機的斷接處理技術(shù)，以減少由于移動主機斷接而帶來的移動事務(wù)丟棄。實驗證明，本文提出的代理機制可以減少因移動主機的斷接而導(dǎo)致的事務(wù)撤銷。本文提出了MA環(huán)境下的基于組方式的多跳數(shù)據(jù)復(fù)制方法，將移動數(shù)據(jù)庫中的部分?jǐn)?shù)據(jù)以多跳的方式復(fù)制到組內(nèi)的移動主機，減少了移動主機查詢時數(shù)據(jù)傳輸?shù)木嚯x，進而減少網(wǎng)絡(luò)通信開銷，提高事務(wù)執(zhí)行的響應(yīng)速度。

簡介：本文對系統(tǒng)中應(yīng)用到的動態(tài)負(fù)載平衡，靜態(tài)負(fù)載平衡以及克服負(fù)載失衡的連接算法進行了研究。首先分析了靜態(tài)負(fù)載平衡技術(shù)，提出考慮查詢操作和連接操作的基于冗余的放置策略，以達(dá)到系統(tǒng)的靜態(tài)負(fù)載平衡，并修改了兩種調(diào)度策略使他們能夠適應(yīng)系統(tǒng)的需求。其次，從系統(tǒng)動態(tài)負(fù)載選取，負(fù)載綜合指標(biāo)計算、事務(wù)并行度等幾方面分析了如何實現(xiàn)動態(tài)負(fù)載平衡策略，并針對這幾方面的考慮設(shè)計實現(xiàn)了加權(quán)負(fù)載因子算法，使系統(tǒng)在運行過程中及時修正負(fù)載，達(dá)到系統(tǒng)的負(fù)載平衡。最后，針對數(shù)據(jù)庫系統(tǒng)中最耗時的連接操作，提出了HASH連接算法的改進算法。并根據(jù)連接的關(guān)系在數(shù)據(jù)放置上的不同，劃分出不同的流程，并給出了算法的代價。我們對本文中的研究內(nèi)容進行了驗證實驗和性能分析，結(jié)果表明，本文使用的負(fù)載平衡策略能夠保證系統(tǒng)不發(fā)生大的失衡，一定程度的提高整個系統(tǒng)的性能。

簡介：點擊查看更多多數(shù)據(jù)庫系統(tǒng)事務(wù)處理優(yōu)化技術(shù)研究.pdf精彩內(nèi)容。

簡介：電子科技大學(xué)UNIVERSITYOFELECTRONICSCIENCETECHNOLOGYOFCHINA工程碩士學(xué)位論文ENGINEERINGMASTERDISSERTATION論文題目運用J2EE功能構(gòu)建保險事務(wù)管理平臺工程領(lǐng)域軟件工程指導(dǎo)教師祝峰作者姓名鄭杰學(xué)號200792351027分類號密級UDC注1學(xué)位論文運用J2EE功能構(gòu)建保險事務(wù)管理平臺（題名和副題名）鄭杰（作者姓名）指導(dǎo)教師姓名祝峰教授電子科技大學(xué)電子科技大學(xué)成都于魯冀高級工程師高級工程師重慶好網(wǎng)科技有限公重慶好網(wǎng)科技有限公司重慶（職務(wù)、職稱、學(xué)位、單位名稱及地址）申請專業(yè)學(xué)位級別碩士碩士專業(yè)學(xué)位類別工程碩士工程領(lǐng)域名稱軟件工程提交論文日期20103論文答辯日期20106學(xué)位授予單位和日期電子科技大學(xué)答辯委員會主席評閱人2010年月日注1注明國際十進分類法UDC的類號

簡介：申請上海交通大學(xué)工學(xué)博士學(xué)位論文飛7856763細(xì)胞膜演算一種新的事務(wù)處理形式化方法研究專業(yè)計算機軟件與理論博士研究生戚芷偉P西衫2劉，籮礦指導(dǎo)教師尤晉元上海交通大學(xué)計算機科學(xué)與工程系2005年9月子事務(wù)協(xié)調(diào)協(xié)議WSAT由于WSAT協(xié)議采用簡單的狀態(tài)轉(zhuǎn)換表張轉(zhuǎn)換圖，無法描述協(xié)調(diào)者和多個參與者的復(fù)雜協(xié)調(diào)活虧K本文采用細(xì)胞膜演算給出了其形式化描述，用于規(guī)范協(xié)調(diào)者和參與者的滔動，并分析了該協(xié)議的活性和安全性，得薊了38187個狀態(tài)，該協(xié)議滿足穩(wěn)定性、一致性和非平凡性，面不滿足非阻塞性并分析出注冊和協(xié)調(diào)協(xié)議混在起是其不滿足非阻塞性的原因本文分析了WEB服務(wù)業(yè)務(wù)事務(wù)，獲得其形式億描述并對其安全性和活性進行模型檢驗WSBA協(xié)議是用于協(xié)調(diào)WEB服務(wù)中業(yè)務(wù)事務(wù)的規(guī)范。本文采用細(xì)胞膜演算給出了該協(xié)議的形式化描述。定義了協(xié)調(diào)者和參與者的接口在個協(xié)調(diào)者和個參與者情況下，該協(xié)議吳有良好的性質(zhì)，穩(wěn)定性、一致性、非阻塞性和非平凡性均滿足但是在多參與者情況下，一致性不滿足，這是該協(xié)議比較大的缺陷，原醫(yī)在于WSBA協(xié)議沒有規(guī)定多參與者情況下的一致性輸出協(xié)調(diào)策略通過細(xì)胞膜演算，在實際應(yīng)用中不但可以指出事務(wù)處理協(xié)調(diào)協(xié)議混淆和不規(guī)范的地方，而且可以分析協(xié)議的安全性和活性細(xì)胞膜演算是個描述動態(tài)、移動的并發(fā)系統(tǒng)形式化方法，并不局限于事務(wù)處理方面目前正在和西門子研究部門展開合作，研究如何將細(xì)胞膜演算應(yīng)用予下一代可配置銀隧嗓統(tǒng)RECONFLGURABLEMA，AUFACTTTRINGSYSTEMSRMS的流程執(zhí)行模型的形式億描述和模型檢驗中。關(guān)鍵詞細(xì)胞膜演算；事務(wù)處理；重寫邏輯；形式化方法