多级安全数据库系统中多级事务原子性的研究

文章在证明了不可能同时保证多级事务的原子性和安全性的基础上,介绍了多级事务三种不同程度的原子性,给出了两种基本算法,并通过引入多版本机制消除事务节间的语义依赖。     

事务工作流的建模和分析

事务工作流由若干个事务组成，其执行满足松弛原子性．只有良构的事务工作流才能保证所有执行均满足松弛原子性．事务具有不同的可补偿特性和可重复特性，在包含多种控制结构的复杂事务工作流中，事务之间组合失配问题可能造成事务工作流的非良构性．该文给出了事务工作流模型及良构性的形式化定义，提出了一个良构性判断定理，通过一种构造性的方法来有效地验证事务工作流的良构性，还设计了事务工作流的描述语言ISWDL并实现了良构性验证器．     

分布式实时事务提交协议

在分布式实时数据库系统中，保证事务原子性的唯一途径是研究和开发出一个实时的原子提交协议．首先详细分析了事务因数据访问冲突而形成的各种依赖关系，在此基础上提出了实时的原子乐观提交协议——2SC协议，该协议减少了事务的等待时间，提高了事务的并发度，且能无缝地和现有的并发控制协议集成在一起，保证事务的可串行化和原子性．通过模拟实验研究表明，采用该协议能够减少超过截止期的事务数目。     

实时数据库事务的研究与实现

根据设计的实时数据库操作类型,对实时事务进行了分类,时间性是实时事务重要属性,提供了实时事务的时间性、原子性、并发性以及优先级分配的策略,对实时事务进行有效的调度。     

Web事务的弱原子性与正确性标准

事务处理是现代应用系统的基础支撑部件,也是Web服务能否成功支持商务应用的关键技术.但由于环境的高度分布与自治性,传统的可串行化理论已不能再作为Web事务的正确性标准.本文放松了事务的原子性规定,将事务看作由若干原子单元组成的偏序集,并将可串行性扩展为事务的弱可串行性,作为事务的正确性标准.文章最后给出了一个完全分布式的事务并发控制算法,用以实现弱串行性的判定.     

CovaTM及其实现

以原子性、一致性、隔离性和持久性为特征的传统事务模型在满足协同应用的需求方面存在诸多局限。为了解决这一问题，该文提出了一种新的协同事务模型CovaTM，它将协作过程的一次执行看作一个事务，对应的活动看成子事务。CovaTM提供了复杂而灵活的控制流，放松了传统事务的原子性和隔离性的要求，能够支持协作。该文介绍了CovaTM的具体实现机制，包括如何根据协作过程的描述形成事务的各个要素以及运行过程中的按制结构及其算法并与相关工作进行了比较。     

达梦数据库并发控制机制

事务事务是构成单一逻辑工作单元的操作集合。无论有没有故障,数据库都必须保证事务的正确执行——执行完整个事务的所有操作或者属于该事务的操作一个都不执行。事务有四个特性:原子性(atomicity)、     

移动多数据库事务模型及其可串行化事务管理

提出了一个移动多数据库全局事务模型及其可串行化事务管理技术。该技术通过从各自治站点中获取本地可串行化信息构造全局事务可串行化图GTSG来判定全局事务的可串行性。它支持全局事务的迁移、网络的断接(包括可能发生的灾难性断接)并保证全局事务的关键站点子事务的原子性和隔离性。     

分布式实时事务的原子提交

分布式实时数据库系统中，事务除具有传统数据库事务的ACID特性外，还具有定时限制（如截止期等）。传统提交协议及已研究出的实时提交协议都不保证分布式实时事务的原子性，结合实时事务截止期要求，描述了分布式实时事务的原子提前及其正确性准则，给出了适合于固（或软）实时事务的原子提前协议RTACP及其处理过程并证明了其正确性，还对RTACP进行了性能比较和评价，表明其分别在不同方面更优越。     

一个数据库互操作事务调度模型

全局事务调度是分布异构数据库互操作系统研究的重要方面，调度的目的是保证全局事务执行的原子性、顺序化及与本地事务的互斥。本文介绍一个基于两阶段提交的事件计数法的互操作事务调度模型，包括全局事务调度、远程事务调度及互操作事务与本地事务的互斥。     

工作流中的长事务模型

本文首先分析了工作流长事务的特性,并针对工作流中频繁出现的长事务问题基础上提出了一种多层事务模型FLTM。该事务模型并不要求所有事务都遵循严格的ACID特性,它可以刻画从松弛到严格的各种事务要求,用户可以根据具体的应用定制事务补偿的终点和事务失败时的处理方式。本文给出了松弛的原子性、一致性和隔离性的定义,并形式地描述了FLTM事务的补偿和执行过程。     

基于多银行的匿名的电子商务协议

提出了一种基于多银行的、匿名的、公平的电子商务协议。它具有如下特点:交易的安全性、公平性和匿名性;如果不发生争执,信任三方是处于离线状态;商家和顾客的帐户不必在同一银行;交易事务的原子性:钱的原子性、商品的原子性、确认发送的原子性。最后,文章对方案各方面进行了分析。     

面向组合服务动态自适应的事务级主动伺机服务替换算法

动态服务环境的各种异常随时会导致整个业务流程暂时无响应或服务中断,极大影响业务流程的可靠性.已有替换机制大多缺乏事务支持而适应性差,进而不能有效保证系统执行过程中事务服务的原子性和数据一致性,也无法保障替换过程要求的正确性、实时性和高效性.该文以"事务支持"为核心,充分考虑了服务间多关系以及Web服务的事务特性,提出一种事务级组合服务主动伺机替换算法.首先,该文给出了事务粒度的获取及替换范围识别算法.然后,提出事务级替换代价/收益QoS模型,将事务补偿代价与替换代价有机结合,保证以最少的代价实现服务替换.在此基础上,提出了全新的QoS驱动的事务级服务替换算法.为了提高替换的时效性,提出了早期预测模式挖掘算法,对运行的服务实时监控保证其识别失效服务的早期性.实验结果证明,该模型不仅保证了替换过程中业务流程的事务原子性和数据一致性,而且提高了系统的可靠性和时效性.     

基于关联事务的移动数据库冲突处理算法

移动数据库系统由于自身的特点采用乐观复制机制。该文引入关联事务的概念,提出关联事务划分算法(UTDA)及冲突处理算法(CRA)。UTDA算法将移动终端在本地提交的移动事务划分成关联事务,把关联事务作为数据同步和冲突处理的基本粒度。实验结果表明,UTDA算法满足事务执行的原子性和串行性,提交时间比传统事务提交时间减少了2/3,为移动数据库系统的冲突处理提供了可行的解决方案。     

JMS在解决企业信息系统长事务中的应用

传统系统中事务处理的原子性、可串行性原则不适用于企业信息系统(EIS)的长事务处理。应用Java消息服务(JMS)处理进程间通信，可以避免直接的方法调用，有助于把一个长事务分解成为多个并行子事务。     

主动实时嵌套事务的正确性

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性。在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型。主动实时嵌套事务的正确性比传统的原子事务更复杂。本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础。     

可扩充的事务模型

一、引言传统的事务模型(层次、网状、关系数据库中的事务模型)是面向传统的应用领域的(如商务数据处理),具有四个特点:(1)原子性;(2)持久性;(3)一致性;(4)隔离性。然而在新的应用领域中,一个事务可能要存取很多的对象,在一个事务活动期间,还可能有冗长的计算,并且又可能是交互式的,在执行过程中会停下来等待用户的     

数据网格中面向服务的事务技术

讨论了数据网格的背景以及目前国内外的研究状况.并根据应用的需求,提出了数据网格中面向服务的事务管理观点.定义了服务事务在数据网格体系结构中的位置、功能和实现方案,阐述了原子事务和业务事务两类事务的实现协议,最后以一个原子事务的例子说明了一个服务事务的执行过程.     

网格环境下的事务提交机制的研究

由于网格具有异构性、动态性、自治性和分布性等特点,分布式体系结构下的分布式事务提交机制已经不能适用于网格环境下的事务管理需求.根据网格事务处理的特点,提出一种基于Agent的网格事务模型,设计一种网格环境下的事务提交协议和相应的算法.该协议的思想是放松对事务原子性的要求,保证事务在网格环境中能正确提交,并尽量减少已完成事务对资源的占用时间,以适应网格环境中资源的自治性要求.最后,对协议的正确性进行了证明,并通过理论上与其他提交协议进行性能对比分析,说明所提出的协议具有较好的性能.     

基于多元π演算的Web服务原子事务协议研究

Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化.采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质.最后,采用MWB工具证明了它的正确性.