簡介：WEB服務(wù)的出現(xiàn)給企業(yè)應(yīng)用帶來了前所未有的商機(jī)。經(jīng)過近幾年的發(fā)展，WEB服務(wù)及其組合技術(shù)已經(jīng)逐步完善和規(guī)范，并為許多商業(yè)組織所采用。作者所參與的研究小組提出了業(yè)務(wù)服務(wù)模型和基于業(yè)務(wù)服務(wù)的組合服務(wù)執(zhí)行平臺BCSEP，在對WEB服務(wù)進(jìn)行業(yè)務(wù)領(lǐng)域?qū)哟蔚陌b的同時，提供了一個基于WEB服務(wù)組合快速構(gòu)建企業(yè)應(yīng)用的平臺。在WEB服務(wù)組合中常常需要處理多個成員WEB服務(wù)之間的交互和組合過程，這類過程必須保證多個WEB服務(wù)運(yùn)行結(jié)果的可靠性和一致性，并能及時解決運(yùn)行時發(fā)生的各種異常，這就需要在WEB服務(wù)組合環(huán)境中提供對事務(wù)處理的支持。本文重點(diǎn)對BCSEP中的事務(wù)處理機(jī)制進(jìn)行了研究。WEB服務(wù)組合系統(tǒng)中的事務(wù)處理不同于傳統(tǒng)數(shù)據(jù)庫系統(tǒng)。在WEB服務(wù)所處的松耦合環(huán)境下，事務(wù)的正確性不能完全遵循傳統(tǒng)的ACID屬性標(biāo)準(zhǔn)，長運(yùn)行的WEB服務(wù)組合事務(wù)需要放松的事務(wù)ACID屬性，可以通過補(bǔ)償事務(wù)來滿足全局事務(wù)放松的原子性和一致性。針對BCSEP平臺的具體需求，本文提出了一個基于補(bǔ)償?shù)氖聞?wù)處理機(jī)制，即使用補(bǔ)償?shù)姆椒▽σ烟峤坏姆?wù)執(zhí)行結(jié)果進(jìn)行回滾。在BCSEP中，通過在事件處理器中加入事務(wù)協(xié)調(diào)器來支持事務(wù)處理功能。事務(wù)協(xié)調(diào)器主要負(fù)責(zé)平臺中事務(wù)的啟動、協(xié)調(diào)與管理，在運(yùn)行過程中，它不斷與事件處理器中業(yè)務(wù)流程處理模塊進(jìn)行交互，完成事務(wù)過程的協(xié)調(diào)和管理。本文設(shè)計并實現(xiàn)了BCSEP中的支持事務(wù)處理機(jī)制的事件處理器，在服務(wù)消息中加入事務(wù)協(xié)調(diào)消息來傳遞事務(wù)處理信息，并在事務(wù)協(xié)調(diào)器中維護(hù)一張事務(wù)參與者服務(wù)的執(zhí)行狀態(tài)表來對服務(wù)的執(zhí)行狀態(tài)進(jìn)行管理。為了在業(yè)務(wù)流程中表示事務(wù)信息，在服務(wù)間事件映射關(guān)系中加入了事務(wù)標(biāo)識信息，并通過服務(wù)間映射生成規(guī)則表達(dá)式和共享數(shù)據(jù)暫存機(jī)制，保證平臺中業(yè)務(wù)流程和事務(wù)過程的正確執(zhí)行。

簡介：點(diǎn)擊查看更多XML數(shù)據(jù)庫事務(wù)及并發(fā)控制機(jī)制的研究.pdf精彩內(nèi)容。

簡介：以INTER為代表的信息技術(shù)的快速發(fā)展和成熟應(yīng)用改變著企業(yè)的商業(yè)環(huán)境，使商業(yè)運(yùn)行節(jié)奏越來越快，企業(yè)的價值鏈更加緊密和多樣，這種改變引導(dǎo)軟件技術(shù)和軟件產(chǎn)品的發(fā)展方向異構(gòu)性、事務(wù)能力和分布性。事務(wù)工作流管理系統(tǒng)是一個實現(xiàn)企業(yè)應(yīng)用集成的技術(shù)手段和工具平臺，它不但能夠把不同的應(yīng)用流程、不同的應(yīng)用功能集成起來，在工作流運(yùn)行平臺的支持下，有效地自動執(zhí)行和管理這些應(yīng)用。而且利用事務(wù)工作流的事務(wù)管理功能，保證這些被集成的應(yīng)用中的每一次計算的正確性，進(jìn)而保證全系統(tǒng)的正確性。研究工作流事務(wù)管理模型就是為了滿足現(xiàn)代企業(yè)應(yīng)用的新需求而開展的。本文在總結(jié)了面向數(shù)據(jù)的數(shù)據(jù)庫事務(wù)管理模型的基礎(chǔ)上，對目前采用的面向過程的事務(wù)模型進(jìn)行了全面的分析，提出了樂觀嵌套事務(wù)模型。該模型基于多數(shù)據(jù)版本、并發(fā)控制理論，借用時間戳的概念，通過對不同事務(wù)中活動類型的分類，較好地解決了長執(zhí)行事務(wù)和協(xié)同事務(wù)的可靠性和正確性問題，提高了工作流運(yùn)行的效率。

簡介：WEB數(shù)據(jù)挖掘是在WEB資源環(huán)境中根據(jù)用戶的瀏覽行為提取出用戶關(guān)心的、有價值的信息過程。WEB使用挖掘是數(shù)據(jù)挖掘的重要組成部分用戶是WEB使用挖掘的核心。WEB使用挖掘通過關(guān)聯(lián)規(guī)則算法獲取有意義的、描述用戶行為的模型并為用戶提供指導(dǎo)性的預(yù)測經(jīng)驗。通過對以往的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法的系統(tǒng)分析和總結(jié)本文提出了兩種新的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法1基于聚類分析的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法該算法首先利用聚類分析將初始的復(fù)雜的數(shù)據(jù)集進(jìn)行約減去掉冗余數(shù)據(jù)縮小數(shù)據(jù)集避免了多次掃描數(shù)據(jù)庫和大量虛假規(guī)則的產(chǎn)生；其次對聚類預(yù)處理后所得到的各個小數(shù)據(jù)集分別進(jìn)行事務(wù)間關(guān)聯(lián)規(guī)則預(yù)測分析。實驗結(jié)果表明該方法比單獨(dú)使用事務(wù)間關(guān)聯(lián)規(guī)則方法具有更高的效率更能準(zhǔn)確的預(yù)測用戶的興趣。2基于聚類的事務(wù)間關(guān)聯(lián)規(guī)則雙策略分析模型該算法將雙策略興趣分析模型的思想融入基于聚類分析的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法中。該算法首先利用雙策略分析模型判斷事務(wù)間關(guān)聯(lián)規(guī)則的完整性將初始的數(shù)據(jù)庫分為關(guān)聯(lián)庫和馬爾庫彌補(bǔ)了挖掘漏洞避免了虛假規(guī)則的產(chǎn)生；其次利用聚類分析去掉關(guān)聯(lián)庫和馬爾庫中大量的無關(guān)冗余數(shù)據(jù)提高算法的執(zhí)行效率；最后對經(jīng)過聚類預(yù)處理所得到的各個子數(shù)據(jù)庫分別進(jìn)行事務(wù)間關(guān)聯(lián)規(guī)則預(yù)測和馬爾可夫模型預(yù)測。實驗證明該算法在準(zhǔn)確度和執(zhí)行效率方面均優(yōu)于傳統(tǒng)的事務(wù)間關(guān)聯(lián)規(guī)則算法。隨著WEB技術(shù)的不斷發(fā)展WEB服務(wù)器存儲的數(shù)據(jù)也逐漸向著超大化、多維化的方向發(fā)展。這為WEB使用挖掘提出了新的挑戰(zhàn)即如何解決挖掘速度和準(zhǔn)確度之間的矛盾。所以采用事務(wù)間關(guān)聯(lián)規(guī)則與聚類分析相結(jié)合的方法既提高了挖掘速度又保證了準(zhǔn)確度為WEB使用挖掘提出新的創(chuàng)新思路。

簡介：近年來，隨著超線程、多核體系結(jié)構(gòu)等多線程技術(shù)的發(fā)展和廣泛應(yīng)用，計算機(jī)硬件已經(jīng)提供了越來越高效的軟件運(yùn)行平臺。但是要更好地利用這些平臺的并行優(yōu)勢，計算機(jī)軟件就需要具備更好地并行性，以充分利用多個處理器的性能。并行程序已經(jīng)成為了軟件開發(fā)的主流。然而要確保順序程序的正確性已經(jīng)是非常困難的了，要保證并行程序的正確性難度更甚。這是因為在并行程序中，程序員還需要處理共享數(shù)據(jù)的并發(fā)存取問題，確保數(shù)據(jù)在不同線程中的有效性。傳統(tǒng)上，程序員使用鎖的方式來管理并行程序中共享數(shù)據(jù)的并發(fā)存取。但是鎖方式不僅難于推理，而且還容易出現(xiàn)死鎖等導(dǎo)致程序進(jìn)入異常執(zhí)行狀態(tài)的隱患。為減輕程序員開發(fā)并行程序的負(fù)擔(dān)，提高軟件開發(fā)的效率，近年的研究提出了使用事務(wù)內(nèi)存同步機(jī)制來管理共享數(shù)據(jù)的并發(fā)存取。提供了事務(wù)內(nèi)存同步機(jī)制的系統(tǒng)通過自動地管理數(shù)據(jù)的并發(fā)訪問，免除了程序員在這方面的負(fù)擔(dān)，也避免了死鎖等鎖機(jī)制的致命隱患。但是近年來圍繞著事務(wù)內(nèi)存同步機(jī)制的研究主要集中于提供事務(wù)內(nèi)存同步機(jī)制的系統(tǒng)的各種實現(xiàn)策略及其性能的提高上，而對該同步機(jī)制在程序推理、形式驗證及易于推理方面的研究甚少。針對事務(wù)內(nèi)存同步機(jī)制相關(guān)研究的現(xiàn)狀，基于程序推理驗證的研究成果，本文提出了一種推理方法以推理使用了事務(wù)內(nèi)存同步機(jī)制的實現(xiàn)系統(tǒng)所提供的編程結(jié)構(gòu)的程序。該推理方法基于眾所周知的不變式證明INVARIANCEPROOF方法并對HOARE邏輯進(jìn)行了擴(kuò)展，通過指明共享數(shù)據(jù)上的不變式來約束多個線程間的并發(fā)訪問，可靠、可行，并具備模塊化驗證的特點(diǎn)。同時，本文還專注于事務(wù)內(nèi)存同步機(jī)制的語義研究，在攜帶證明的代碼的研究的基礎(chǔ)上，將所提出的推理方法形式化到遵循事務(wù)內(nèi)存同步機(jī)制語義的HOARE風(fēng)格的驗證框架中，并證明了推理方法遵循事務(wù)內(nèi)存同步機(jī)制的語義的可靠性。此外，本文還給出了推理驗證的應(yīng)用實例，展示了本文所提出的推理方法和驗證框架的有效性。最后，本文通過詳盡的比較，闡明了事務(wù)內(nèi)存同步機(jī)制相對于傳統(tǒng)的鎖同步機(jī)制易推理的優(yōu)點(diǎn)，展示了事務(wù)內(nèi)存同步機(jī)制對程序推理的簡化。本文的主要特色和貢獻(xiàn)為本文提出了一種HOARE風(fēng)格的推理方法，用于在事務(wù)內(nèi)存同步機(jī)制的語義的高層抽象上推理源語言級的并行程序。本文也提出了一個攜帶證明的代碼PROOFCARRYINGCODE風(fēng)格的驗證框架，用于在事務(wù)內(nèi)存同步機(jī)制的語義的底層實現(xiàn)上驗證匯編級的并行程序，并證明了驗證框架遵循事務(wù)內(nèi)存同步機(jī)制的語義的可靠性。該驗證框架的提出，填補(bǔ)了攜帶證明的代碼的研究在事務(wù)內(nèi)存同步機(jī)制方面的空白。本文在COQ定理證明輔助工具中完成了所提出的驗證框架的可靠性證明，從而將驗證框架中的驗證推理系統(tǒng)從受信任計算基礎(chǔ)中排除出去，使得本文的驗證框架具有更高的可靠性。本文還通過詳細(xì)的比較闡述了事務(wù)內(nèi)存同步機(jī)制相對于鎖同步機(jī)制的易推理的優(yōu)勢。

簡介：隨著信息技術(shù)的發(fā)展，WEB服務(wù)越來越多地被企業(yè)用于各種業(yè)務(wù)應(yīng)用，將多個WEB服務(wù)按照一定的流程組合起來形成組合服務(wù)，是用WEB服務(wù)實現(xiàn)業(yè)務(wù)流程的主要形式。在服務(wù)計算中，一個業(yè)務(wù)事務(wù)是由多個企業(yè)所提供的WEB服務(wù)所組成的，因此業(yè)務(wù)事務(wù)被部署在松耦合、異構(gòu)和自治的環(huán)境中。業(yè)務(wù)事務(wù)恢復(fù)是解決業(yè)務(wù)流程執(zhí)行過程異常、保證業(yè)務(wù)流程事務(wù)屬性和成功執(zhí)行的一種重要方法。當(dāng)錯誤或異常發(fā)生時，傳統(tǒng)的回滾技術(shù)不再適用，因為加鎖機(jī)制是不被支持的?，F(xiàn)有的解決方案包括前向恢復(fù)和后向恢復(fù)，但這些恢復(fù)方法缺乏對事務(wù)的業(yè)務(wù)邏輯的考慮，因此不夠靈活且缺乏效率。在復(fù)雜的WEB服務(wù)環(huán)境中，異常多種多樣，對異常的恰當(dāng)處理需要依賴對異常的實時信息的把握，掌握更加精確而細(xì)致的異常信息，根據(jù)具體的業(yè)務(wù)事務(wù)實冽的業(yè)務(wù)邏輯制定特定于異常的恢復(fù)策略，而在現(xiàn)有的研究中，業(yè)務(wù)事務(wù)的實時狀態(tài)常被用于對服務(wù)發(fā)現(xiàn)、服務(wù)組合的優(yōu)化，被用于業(yè)務(wù)事務(wù)恢復(fù)方面的研究極少。本文提出約束規(guī)則的概念，來表示事務(wù)的業(yè)務(wù)邏輯；并將上下文應(yīng)用到業(yè)務(wù)事務(wù)的恢復(fù)過程，基于上下文將業(yè)務(wù)事務(wù)異常分成四大類網(wǎng)絡(luò)異常、物理異常、服務(wù)異常和用戶異常，根據(jù)分類對業(yè)務(wù)事務(wù)恢復(fù)過程中無意義的步驟進(jìn)行了刪減，簡化了恢復(fù)過程；對業(yè)務(wù)事務(wù)異常時的上下文進(jìn)行了評估，選擇可行的補(bǔ)償路徑實例化，根據(jù)用戶開銷敏感權(quán)值計算可行補(bǔ)償路徑實例化開銷，據(jù)此選擇最優(yōu)補(bǔ)償路徑實例化。本文給出了恢復(fù)機(jī)制中的各個算法的詳細(xì)描述，并通過一個旅游公司的具體的實例，來對本文提出的恢復(fù)機(jī)制進(jìn)行了闡釋。并通過與現(xiàn)有的恢復(fù)機(jī)制的比較，驗證了本文的恢復(fù)機(jī)制有著較好的恢復(fù)成功率和較高的恢復(fù)效率。

簡介：廈門大學(xué)碩士學(xué)位論文從徽州千年契約文書看清代徽州民間糾紛和訴訟姓名張萍申請學(xué)位級別碩士專業(yè)專門史指導(dǎo)教師王日根20060501THECIVILDISPUTEANDLAWSUITDURINGTHEQINGDYNASTYFROMTHEHUIZHOUMILLENNIUMCONTRACTDOCUMENTSABSTRACTINTRADITIONALCHINA，ALLPREVIOUSDYNASTIESCONTINUOUSLYPURSUE”HARMONY”O(jiān)R’’THEORDER”ASITSULTIMATEOBJECTIVE，BUT”ASALLTHEPEOPLEHASDESIRE，WANTSBUTNOTTOHAVE，NOTTOBESATISFIED，THENTHEYHAVENOOTHERCHOICEBUTTOSTRUGGLE”THENTHECIVILDISPUTEANDLAWSUITCALLINEVITABLYOCCURHUIZHOUAREADURINGTHEQINGDYNASTYCANNOTBEAVOIDABSOLUTELYTHISARTICLEATTEMPTSTOPUTTHEANALYSISONTHECIVILDISPUTEANDLAWSUITCASEWHICHCENTERCARRIESTHROUGH”THEHUIZHOUMILLENNIUMCONTRACTDOCUMENTS”，REVEALINGTHELEGALSUPPLEMENTARYRELATIONSBETWEENTHEPATRIARCHALFAMILY’SDISCIPLINEANDTHELOCALGOVERNMENT’SLAWWISHTOGI’VESOMEHELPTOPRESENTSOCIETYTHEFULLTEXTALTOGETHERDIVIDESINTOFOURSECTIONSSECTIONONEEXORDIUMREVIEWONTHELITERATUREFIRST，THENEXPOUNDSWHYSELECTTHISTOPICASMY’ARTICLESECTIONTWOTHEOVERALLANALYSISONTHECIVILDISPUTEANDLAWSUITCASEFROMTHEHUIZHOUMILLENNIUMCONTRACTDOCUMENTSDURINGTHEQINGDYNASTYTHISSECTIONISFROMTHEHODZONTALASPECT，ONTHEBASEOFANALYZING55FOLKCONTRACTSWHICHHAVEBEENSETTLEDEITHERINTHEPATRIARCHALFAMILYORINTHELOCALGOVERNMENTONEBYONEFROMTHEACTUALCASEANALYSIS，READERSMAY。FINDSOMECONNECTIONBETWEENTHETWOABOVEMENTIONEDWAYSSECTIONTHREEACASESTUDYOFLAWSUITREFERTOTHESERFOFMRWANGWHOCHARGELANDLORDLIWITHASSAULTANDBATTERYINKANGXI32YEARSAFTERANALYZINGTHECASEBYVERTICALASPECT，WEKNOWBECAUSETHISCASEOCCURSINTWODIFFERENTPATRIARCHALFAMILIES，THEPATRIARCHALDISCIPLINEHAVENOABILITYBUTAPPEALSTOTHELOCALGOVERNMENTFROMTHISCASE，ITCANDEEPENOURUNDERSTANDINGOFSOCIALORDERINHUIZHOUAREADURINGTHEQINGDYNASTYSECTIONFOURCONCLUSIONMAKEACOMPREHENSIVECOMMENTARYONTHEFIRSTTHREESECTIONSPOINTSOUTITWOULDBEBETTERTOTRANSFORMSOURRESEARCHVISUALANGLETHANTOARGUETHEPATRIARCHALDISCIPLINEANDTHEGOVERNMENTLAWWHICHHASMOREPOWERAFTERDOTHIS，WEMAYHAVEMOREDISCOVERIES，ANDMAYHAVEMORESIGNIFICANCETONOWSOCIETYKEYWORDSQINGDYNASTY；HUIZHOU；CIVILDISPUTE；LAWSUITII

簡介：隨著軟件系統(tǒng)的日益復(fù)雜和系統(tǒng)負(fù)載的逐漸增加，軟件性能已經(jīng)成為軟件質(zhì)量的重要因素之一。軟件性能調(diào)優(yōu)是保證軟件性能的重要手段，經(jīng)過多年的發(fā)展，它已經(jīng)演變成為軟件性能工程。事務(wù)密集型實時報表系統(tǒng)是一類系統(tǒng)的統(tǒng)稱，它具有事務(wù)密集型系統(tǒng)和報表系統(tǒng)的共同特征。傳統(tǒng)的性能優(yōu)化要么只是針對事務(wù)密集型系統(tǒng)，要么只是針對報表系統(tǒng)，而同時針對這兩種性質(zhì)于一身的性能調(diào)優(yōu)方案很少。針對事務(wù)密集型實時報表系統(tǒng)，本文提出了綜合利用并行處理和緩存技術(shù)進(jìn)行性能調(diào)優(yōu)。并行處理能夠很好地利用多處理器和分布式的計算環(huán)境，緩存技術(shù)能夠很好地減少重復(fù)計算和資源浪費(fèi)?；谶@兩種技術(shù)，可以設(shè)計出將大任務(wù)拆分成可并行處理的小任務(wù)的同步計算框架和異步計算框架，將復(fù)雜的報表計算過程轉(zhuǎn)移到事務(wù)的并行處理過程中，實現(xiàn)資源的優(yōu)化配置，提高軟件系統(tǒng)性能。

簡介：在市場經(jīng)濟(jì)的大環(huán)境下，客戶已經(jīng)成為律師事務(wù)所生存和發(fā)展的基礎(chǔ)。運(yùn)用客戶關(guān)系管理（CRM）系統(tǒng)的先進(jìn)思想與有效方法，可以實現(xiàn)對客戶資源的分析、管理和數(shù)據(jù)信息的集中，使律師事務(wù)所及律師的管理與業(yè)務(wù)運(yùn)作達(dá)到科學(xué)的信息化和自動化。本文作者結(jié)合律師事務(wù)所實際，通過對CRM應(yīng)用系統(tǒng)相關(guān)知識的研究，提出一套基于客戶關(guān)系管理理論的律師事務(wù)所CRM系統(tǒng)的建設(shè)思想，并切實地設(shè)計實現(xiàn)了一套律師事務(wù)所CRM系統(tǒng)遼寧濱城律師事務(wù)所CRM系統(tǒng)。論文簡要介紹了CRM理論的基本內(nèi)涵、核心理念等，分析了運(yùn)用CRM系統(tǒng)對于改善律師事務(wù)所經(jīng)營現(xiàn)狀的作用及意義，探討了CRM應(yīng)用系統(tǒng)的基本架構(gòu)及數(shù)據(jù)倉庫在系統(tǒng)中的應(yīng)用情況。文中著重闡述了該CRM系統(tǒng)的數(shù)據(jù)庫及體系結(jié)構(gòu)設(shè)計，給出了系統(tǒng)數(shù)據(jù)倉庫設(shè)計方案，提出了包含數(shù)據(jù)支撐、分析處理及客戶管理應(yīng)用系統(tǒng)三個子系統(tǒng)的體系結(jié)構(gòu)設(shè)計方案，說明了每個子系統(tǒng)的功能劃分及主要數(shù)據(jù)模型，并詳細(xì)描述了客戶管理應(yīng)用子系統(tǒng)的具體實現(xiàn)。本系統(tǒng)主要使用SQLSEVER數(shù)據(jù)庫系統(tǒng)及DELPHI開發(fā)環(huán)境，采用三層軟件體系結(jié)構(gòu)的開發(fā)模式。

簡介：隨著INTERINTRA的飛速發(fā)展以INTER為核心的計算平臺使數(shù)據(jù)庫應(yīng)用環(huán)境發(fā)生了巨大的變化大多數(shù)信息已不再局限于傳統(tǒng)的結(jié)構(gòu)性形式而是以諸如電子郵件、圖像、視頻聲頻對象、工作流等非結(jié)構(gòu)化的形式存在著并呈指數(shù)級激增眾多領(lǐng)域?qū)τ谶@類信息的應(yīng)用范圍日趨擴(kuò)大其處理要求也在進(jìn)一步向檢索、事務(wù)處理等更深入的方向發(fā)展基于INTERWEB的應(yīng)用向傳統(tǒng)的數(shù)據(jù)庫領(lǐng)域提出了前所未有的挑戰(zhàn)面對這些日益增長的處理需求亟需研究新型的非結(jié)構(gòu)化信息存儲系統(tǒng)并在系統(tǒng)內(nèi)部實現(xiàn)必需的事務(wù)處理技術(shù)以支持紛繁復(fù)雜的電子商業(yè)、貿(mào)易等領(lǐng)域在INTER級別上對于非結(jié)構(gòu)化信息的應(yīng)用事務(wù)是數(shù)據(jù)存儲系統(tǒng)的邏輯工作單元事務(wù)管理是數(shù)據(jù)存儲系統(tǒng)保證其完整一致、實現(xiàn)信息共享的重要手段系統(tǒng)通過對事務(wù)處理的支持保證系統(tǒng)中一切事務(wù)的原子性、一致性、隔離性和持續(xù)性使存儲系統(tǒng)始終處于一致性狀態(tài)作為對非結(jié)構(gòu)化信息存儲系統(tǒng)的事務(wù)處理研究的探索該文提出了一種基于XML的非結(jié)構(gòu)化信息事務(wù)處理的初步解決方案該文首先介紹了事務(wù)在傳統(tǒng)數(shù)據(jù)庫中的處理技術(shù)及其故障恢復(fù)和并發(fā)控制理論其次分析和探討了XML技術(shù)在描述、存儲非結(jié)構(gòu)化信息方面的優(yōu)勢及其與非結(jié)構(gòu)化信息相結(jié)合的必然性在上述相關(guān)理論的支持下該文以一個基于本體ONTOLOGY的XML文檔表示模式的非結(jié)構(gòu)化信息存儲平臺為基礎(chǔ)將傳統(tǒng)的登錄日志、封鎖調(diào)度等理論運(yùn)用到非結(jié)構(gòu)化信息存儲系統(tǒng)中并結(jié)合實際情況對上述技術(shù)加以改進(jìn)在采用自行設(shè)計的非緩沖型邏輯日志和物理日志記錄相關(guān)事務(wù)信息降低封鎖粒度使用兩級檢查點(diǎn)機(jī)制控制緩沖區(qū)與磁盤數(shù)據(jù)的同步等技術(shù)的基礎(chǔ)上提出OBSATPS事務(wù)處理系統(tǒng)模型將該模型劃分為事務(wù)管理、事務(wù)處理、緩沖區(qū)管理及磁盤存儲等幾個模塊并對各主要模塊進(jìn)行了設(shè)計和初步實現(xiàn)最后作者以上述技術(shù)理論為指導(dǎo)結(jié)合JAVA及XML技術(shù)在湖北省教育廳科研資助項目基于XML的WEB存儲系統(tǒng)研究的研究開發(fā)過程中初步實現(xiàn)了該文所提出的OBSATPS事務(wù)處理系統(tǒng)模型

簡介：在分布式環(huán)境中，事務(wù)的多個子事務(wù)通常在不同的結(jié)點(diǎn)上完成。當(dāng)前，為了保證分布式事務(wù)的ACID特性，最廣泛采用的提交協(xié)議是兩階段提交協(xié)議以及衍生出的三階段提交協(xié)議等。然而，隨著網(wǎng)絡(luò)服務(wù)環(huán)境的發(fā)展，分布式事務(wù)也出現(xiàn)了一些新的問題，例如網(wǎng)絡(luò)服務(wù)環(huán)境中的資源并發(fā)問題，處理時間很長的長事務(wù)問題等。本文針對網(wǎng)絡(luò)服務(wù)環(huán)境中的這些新問題提出了串行長事務(wù)的流水線模型以及分布式事務(wù)的并發(fā)控制模型，并在此之上構(gòu)建了一個網(wǎng)格事務(wù)處理平臺及其應(yīng)用系統(tǒng)。網(wǎng)絡(luò)服務(wù)環(huán)境中的長事務(wù)通常需要運(yùn)行很長時間，也需要長時間地鎖住資源，會影響事務(wù)處理系統(tǒng)的效率。一般的解決方案是補(bǔ)償事務(wù)模型，即允許子事務(wù)獨(dú)立地提交，一旦事務(wù)失敗只需要執(zhí)行具有相反效果的補(bǔ)償事務(wù)即可。然而，在很多情況下，補(bǔ)償事務(wù)很難產(chǎn)生，而且有些事務(wù)是無法補(bǔ)償?shù)?。本文針對于長事務(wù)中的串行長事務(wù)，提出了一種新的基于流水線的處理模型，令事務(wù)處理的過程由串行變?yōu)榱魉幚恚蟠筇嵘耸聞?wù)處理的性能，且無需補(bǔ)償事務(wù)。根據(jù)兩階段提交協(xié)議，分布式事務(wù)的子事務(wù)在執(zhí)行時如果請求同一個資源時會發(fā)生死鎖現(xiàn)象，包括局部事務(wù)死鎖和全局事務(wù)死鎖。本文針對局部事務(wù)死鎖提出了基于資源復(fù)制的并發(fā)處理方案，允許請求同一個資源的多個子事務(wù)在資源副本上串行地執(zhí)行，在避免死鎖的情況下保證了事務(wù)的一致性和原子性。針對全局事務(wù)死鎖，本文提出了基于時間戳的資源預(yù)定機(jī)制，在兩階段提交協(xié)議之前增加資源預(yù)定階段，從而在事務(wù)執(zhí)行之前就能夠檢測到死鎖并進(jìn)行規(guī)避，提高了事務(wù)處理的效率。此外，時間戳機(jī)制也有效了減少了事務(wù)饑餓的發(fā)生。基于面向服務(wù)的事務(wù)處理模型，本文還介紹了面向服務(wù)的網(wǎng)格事務(wù)處理平臺及其應(yīng)用系統(tǒng)的設(shè)計與實現(xiàn)。網(wǎng)格事務(wù)處理系統(tǒng)作為網(wǎng)格服務(wù)和實際應(yīng)用之間的中間件軟件，為各種網(wǎng)格事務(wù)提供了統(tǒng)一的協(xié)調(diào)接口，包括原子事務(wù)，長事務(wù)，實時事務(wù)，以及串行長事務(wù)等。建立在此之上的典型應(yīng)用包括銀行轉(zhuǎn)賬系統(tǒng)，旅行計劃制定系統(tǒng)，股票交易系統(tǒng)，以及訂單處理系統(tǒng)。

簡介：點(diǎn)擊查看更多基于DTP模型的交易中間件事務(wù)系統(tǒng)的設(shè)計與實現(xiàn).pdf精彩內(nèi)容。

簡介：山西大學(xué)201O屆碩士學(xué)位論文財產(chǎn)、權(quán)力與國家一一近現(xiàn)代晉中民間契約文書研究作者姓名指導(dǎo)教師學(xué)科專業(yè)研究方向培養(yǎng)單位學(xué)習(xí)年限張仲偉行龍教授中國近現(xiàn)代史中國近代社會史歷史文化學(xué)院2007年9月一2010年6月二。一。年六月連二契示例一一單契示例連三契示例

簡介：點(diǎn)擊查看更多基于J2EE的法律事務(wù)管理系統(tǒng)的設(shè)計與實現(xiàn).pdf精彩內(nèi)容。

簡介：華中科技大學(xué)碩士學(xué)位論文摘要運(yùn)行在嵌入式環(huán)境下的實時數(shù)據(jù)庫的事務(wù)處理和傳統(tǒng)數(shù)據(jù)庫差別很大。傳統(tǒng)數(shù)據(jù)庫中的事務(wù)處理不考慮數(shù)據(jù)和事務(wù)的定時限制，處理的是永久的數(shù)據(jù)，追求平均性能和系統(tǒng)的吞吐率，而主動實時嵌入式數(shù)據(jù)庫根據(jù)時間緊迫度的不同，事務(wù)執(zhí)行有優(yōu)先級順序，要保證盡量多的事務(wù)在截止期前完成。ARTSEDB是自行研發(fā)、擁有自主知識產(chǎn)權(quán)的嵌入式主動實時數(shù)據(jù)庫。ARTSEDB設(shè)計的多線索模塊化的進(jìn)程結(jié)構(gòu)和事務(wù)執(zhí)行模型適應(yīng)嵌入式微內(nèi)核的結(jié)構(gòu)，它具有靈活、快速和移植性好的特點(diǎn)，是整個系統(tǒng)構(gòu)建的基礎(chǔ)。為了滿足事務(wù)處理的實時要求，ARTSEDB首先建立對時間描述的數(shù)據(jù)模型和有定時限制及相互關(guān)聯(lián)的事務(wù)模型，其次，傳統(tǒng)數(shù)據(jù)庫不限制系統(tǒng)中事務(wù)的數(shù)量，事務(wù)在執(zhí)行過程中由于內(nèi)外存頻繁交換而使得事務(wù)運(yùn)行時間增長，并且執(zhí)行時間具有不確定性。ARTSEDB通過對事務(wù)的接納處理，控制事務(wù)數(shù)量，保證事務(wù)運(yùn)行期間不訪問外存存取數(shù)據(jù)，有效提高事務(wù)的響應(yīng)時間。ARTSEDB根據(jù)事務(wù)的截止期，采用最早截止期最優(yōu)先的算法分派優(yōu)先級，并基于該優(yōu)先級對事務(wù)進(jìn)行有序調(diào)度，當(dāng)不同優(yōu)先級的事務(wù)對內(nèi)存或數(shù)據(jù)等其他資源競爭時，基于優(yōu)先級進(jìn)行搶占式的調(diào)度。ARTSEDB采用了基于優(yōu)先級的強(qiáng)兩階段封鎖協(xié)議維護(hù)數(shù)據(jù)的一致性和完整性，該并發(fā)控制協(xié)議采用鎖表繼承的策略支持嵌套事務(wù)的并發(fā)處理。關(guān)鍵詞嵌入式主動實時數(shù)據(jù)庫，多線索模塊化，接納處理，優(yōu)先級分派搶占式調(diào)度，基于優(yōu)先級的強(qiáng)兩階段封鎖協(xié)議獨(dú)創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是我個人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。盡我所知，除文中己經(jīng)標(biāo)明引用的內(nèi)容外，本論文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫過的研究成果。對本文的研究做出貢獻(xiàn)的個人和集體，均己在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律結(jié)果由本人承擔(dān)。學(xué)位論“作者簽“申碩日期LOO年獷月日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位論文的規(guī)定，即學(xué)校有權(quán)保留并向國家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和電子版，允許論文被查閱和借閱。本人授權(quán)華中科技大學(xué)可以將本學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存和匯編本學(xué)位論文。保密口，在年解密后適用本授權(quán)書。本論文屬于不保密口。請在以上方框內(nèi)打“J“學(xué)位論文“者簽名牽AK日期O0Q年歲月日指導(dǎo)教師簽名日期’4年夕“少日