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

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

一种乐观嵌套工作流事务模型

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。     

乐观嵌套工作流事务模型的形式化描述

本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论：1）利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2）在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。     

实时数据库系统中的嵌套事务

传统的原子事务是由一个平坦数据库操作序列组成的,事 务的执行具有ACID(Atomicity, Consistency, Isolation, Durability)特性.然而,在实时 应用环境下,这些却不太适用.该文提出了一种支持实时应用的嵌套事务模型,给出了嵌套事 务的特性及正确性标准,着重对嵌套实时事务的优先级分派与并发控制协议进行了讨论.     

混合的实时嵌套事务并发控制协议

嵌套事务作为扩展事务模型的一种,提供了事务内部的并行性和更好的失败恢复选择,具有较为广泛的应用,然而却给事务并发控制带来了更高的复杂性,尤其在实时数据库中事务具有时间限制.针对实时嵌套事务模型,提出了一种混合并发控制协议,对同一事务树内的子事务采用锁协议,对不同事务树之间的事务采用基于动态调整串行化顺序的乐观并发控制协议,提高了事务的成功率,最后证明了协议的正确性.     

事务标识的研究与实现

事务标识的分配是影响嵌套事务执行效率的重要因素之一.文章深入分析了在嵌套事务模型下,事务处理对事务标识的需求.以此为基础,提出了一系列实用有效的分配策略.其中,基于位的事务标识分配策略实际应用于自行研制的面向对象数据库系统KDOODB(KeDa object oriented database)中.最后给出了性能测试的结果.     

面向对象数据库中的事务标识分配策略

在深入分析嵌套事务模型下事务处理对事务标识的需求的基础上,提出了一系列实用有效的分配策略。其中,混合策略实际应用于自行研制的面向对象数据库系统ＫＤＯＯＤＢ中。     

面向Web服务组合的pivot事务嵌套模型??

Web服务组合中的事务具有执行周期长的特性,一个全局事务会被划分为多个分布的子事务。各个子事务对全局事务而言具有不同的重要程度,关键子事务执行的成功与否,直接影响到全局事务执行的成败。另一方面,对某些出现故障的事务需要进行补偿,而执行过多的补偿事务会带来巨大的补偿开销。针对这些问题,提出了一个基于pivot事务的嵌套事务模型,模型中的事务分为pivot事务和非pivot事务,且含有至少一个pivot事务。同时基于该模型,给出了一个pivot事务优先调度（pivot transaction priority scheduling,PTPS）算法,通过优先执行pivot事务,来减少在pivot事务失败时执行的补偿事务数目,降低补偿开销。     

实时数据库嵌套事务的并发控制

传统满足可串行化正确性标准的并发控制把数据库作为一个整体来考虑，事务的执行保证数据库的一致性。往往在应用中数据库的不同对象集合之间可以独立保证一致性而不必关心别的对象集合的一致性限制以提高事务执行的并发度，这就比较适合嵌套事务模型中父子事务及兄弟事务之间的应用。本文测对嵌套事务的并发控制进行了讨论。     

主动实时数据库的事务处理

现在越来越多的研究关注于主动实时数据库。提出了主动实时数据库下的事务概念模型，这个模型是专门用在实时环境下的嵌套事务模型；介绍了一个事务执行模型的执行原理及该模型各个模块的功能；最后提出了一个事务调度算法，并在此基础上与别的常见的算法进行了性能分析。     

Sybase数据库事务完整性研究

介绍了数据库数据完整性及事务完整性概念,讨论了Sybase事务、嵌套事务、两阶段提交事务完整性技术,着重说明了利用应用编程手段实现两阶段提交事务的完整性的方法。该文所介绍的方法已成功应用于“中国铁路客票发售和预订系统”这一基于多层客户/服务器体系结构的大型实时联机事务处理系统中。     

关于实时事务调度中的优先级反转

分析了基于优先级的调度策略中优先级反转产生的原因,并且给出了RTDBS中实时平淡事务和实时嵌套事务的并发控制中优先级反转的解决方法。主要有优先级继承,高优先级夭折,优先级顶,避免优先级反转的多版本协议,基于优先级的时标排序及一些求精的算法。     

FM-Que移动事务模型

在移动计算环境中,传统数据系统的事务处理模型不能较好地支持移动事务的处理,故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点,提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制,固定子事务和移动子事务思想来支持事务移动性和频繁断接性,采用多版本预提交方式来维护数据一致性。     

一种带反馈的事务时序控制算法

给出一种带反馈的事务执行时序控制的算法。该算法通过建立事务时序与反馈信息表。动态地决定事务的可执行性。从而严格地控制事务的执行顺序。并能向用户给出友好的反馈。     

组件的可靠事务设计一致性验证研究

在基于组件的系统开发中,组件的事务控制粒度从语句一级被提升到方法一级,因此给系统开发人员带来了便利性的同时,失去了对事务控制的灵活性,通过研究,提出了一种从组件的事务属性和隔离性两方面来判定组件事务设置是否正确的方法,便开发人员能设计出拥有可靠事务的组件应用系统。     

Web服务事务中的补偿机制研究与实现

可靠的web服务事务机制是面向服务的架构（SOA）中不可缺少的要素之一,它本身也需要有一定的恢复机制,其中非常重要的技术就是事务补偿。结合Web服务事务的特点,以及数据库系统中的触发器技术,可以为Web服务的事务处理模型提供一个半自动的事务补偿机制。     

基于Sagas模型的改进事务模型

在Sagas事务模型中,一个长事务是由一个预先定义好执行顺序的子事务集合和他们对应的补偿子事务集合组成的。子事务是按照顺序依次执行的,当其中的某个子事务出现异常时,就逆序执行已提交过的子事务对应的补偿事务来撤销他们的操作结果并退出。这样做会产生三个问题,第一是当一个不重要的子事务出现异常时,就需要撤销全部已提交的事务;第二是事务在完成补偿事务后会退出,而不是选择更有效的执行手段;第三是该模型只支持所有子事务都有相应的补偿子事务的情况。针对这三个问题,提出了相应的解决方案。     

基于三层结构交易中间件系统设计

介绍了三层结构交易中间件体系结构的系统实现模型,论述了在该模型下通信层和交易调度层的设计思路和实现方法,给出了交易调度层动态优先级算法的实现思路。