一种基于两级事务模型的先提交协议

将集中数据库中的多级事务模型引入多数据库中，使之成为两级事务模型．分析了一种提交协议：局部数据库的全局子事务先于全局最终决定提交，简称先提交协议．指出先提交协议十分适合两级事务模型，能取得很高的并发度     

一种事务处理原子性保证策略

讨论了多数据库系统中各个局部数据库管理系统不支持准备－提交操作时，在全局事务取消或失败的情况下，如何保证事务的原子性的问题。在一个系统中实现了重做、重试和补偿三种方法的有机结合。     

一种基于两级事务模型的先提交协议

将集中数据库中的多级事务模型引入多数据库中，使之成为两级事务模型，分析了一种提交协议；局部数据库 局子事故先于全局最终决定间称先提交协议，指出先提交协议十分天使两级事务模型，能取得很高的并发度。     

关于COM+事务运行机制的分析

在COM 中，提供了完整的事务服务，利用它可以方便地完成在分布式应用程序中的事务控制。本文首先介绍了COM 事务体系结构的各个主要环节，然后深入地分析了COM 在运行时，使用分布式事务协调器(DTC)来自动控制分布式事务的运行过程。最后，以实例来说明COM 事务运行机制的实现。     

语义协同事务的恢复

在CSCW系统中，有些子事务是不可补偿的，如果彩和数据库中的恢复技术，不能完全实现协同事务的恢复。为了保证协同事务最终能够提交或夭折，需要构造扩展调度。本研究针对基于语义的协同事务模型，讨论了协同事务的恢复问题。     

一种快速的Web用户和URL聚类算法

该文提出一个基于Web日志的用户和URL聚类的快速算法。利用用户浏览行为建立用户事务矩阵,在此基础上综合考虑用户浏览时间以及点击频率来获取用户权值和页面权值,构建带权值的模糊聚类。为了缩小运算量,构造等价事务,进行事务约减:并针对于FCM算法簇数目初始化敏感的问题,提出了一种全局搜索的方法,搜寻最优的类中心数。实验证实,该算法在精度和效率上都获得了大大提高。     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

实时数据库的事务处理

本文在介绍了实时数据库（RTDB）之后，分析了RTDB事务的特征，给出了RTDB事务优先级分配的几种方法，并针对事务并发调度中出现的“优先级颠倒”情况，提出了相应的改进方案。     

一种改进的事务提交机制

结合文献[3,4]以及已有的一阶段提交协议,提出一种改进的Early no Prepare（ENP）协议.该协议消除了两阶段提交协议（2PC）中的处理消息阶段,参与者无需向协调者发送提交消息,子事务可自行决定提交或是终止,不必等待协调者的最终命令,从而降低消息复杂度和日志复杂度,保证了状态的一致性.     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

基于Web服务的事务处理

随着Web服务发展和广泛应用，为了保证Web服务的一致性和可靠性，需要考虑在Web服务环境下的事务处理．讨论了基于Web服务对传统的原子型事务的处理方式，并分析了如何构架Web服务以加强对长事务即业务事务的支持。     

一种适于对象-关系数据库的事务模型

对象－关系数据库往往需要处理长时间运行的事务，这使得传统的事务模型不再适合于对象－关系数据库。为此讨论了结合嵌套事务，显式谓词和多版本模型优点的QT／WD模型，形式化地描述了模型的结合和正确性。嵌套事务使用了多级事务框架，提供了事务的多级原子性，显式谓词有助于增加事务之间的合作，多版本使限制谓词可以更容易满足而增加了并发，这些新特性使得QT／WD模型非常适合于长事务处理，提高了长事务的运行性能。     

多数据库事务处理中的并发控制

分析了多数据库系统中事务的特征,指出多数据库事务处理的并发控制问题需保持全局可串行化,即要求在各局部场地局部事务的执行不违反全局的执行次序．研究了ＴＳＧ,Ｔｉｃｋｅｔ和基于冲突检测的保持全局可串行化算法,并对ＴＳＧ算法给出证明．     

集成数据库和文件系统的多数据库事务模型

提出了一种适合于集成文件系统和数据库系统的多数据库事务模型,讨论了事务模型组成元素全局事务管理器、事务提交协议和局部执行代理的设计与实现．     

一种分布式实时内存数据库的系统故障恢复模式

提出了一种适合分布式实时内存数据库的、基于日志的故障恢复模式.在该恢复模式中,日志记录被存储在非易失高速存储设备中,非易失日志存储区依据事务类型被分成四个不同的日志分区,不同类型事务的日志被存储在不同的日志分区;采用了执行频率动态可调的模糊检验点模式,在检验点执行过程中,一些无用的日志记录被删除;故障发生后,系统重启、恢复时,分区重装策略被采用;恢复算法结合相关恢复协议,确保了全局事务故障的原子性.实验显示,该故障恢复模式明显地改进了系统性能,提高了实时事务满足截止期的比率.     

基于UPPAAL的简单网络支付协议形式化验证

分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上,增加了超时计时器进程来负责接收来自其它进程的超时信息,在各主体的计时器触发超时之后,计时器将发送超时信息,再通过外部的仲裁程序来解决纠纷。新模型能够满足货币原子性和商品原子性,并且比原模型更加符合协议运行的实际环境。     

基于概念事务模型的分布式并发控制方法

在提出描述事务系统的“概念事务模型”的概念和建造方法后,给出一种基于概念事务模型的分布式并发控制方法．这种方法仅对能够导致冲突的事务施以全局同步,既简化了分布式并发控制机制,又提高了系统的并行度     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法．事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制．这种并发控制方法具有对数据库无结构要求、无死锁、非两阶段等优点．讨论了其集中式并发控制方法和分布式并发控制方法．