主动实时数据库复杂事务的管理

讨论了嵌套事务模型在主动实时数据库中的应用，提出了一种管理主动实时数据库嵌套事务的策略和方法。允许子事务的不同步执行使最紧急的事务尽可能快地执行，子事务的独立提交或中止可将失败影响局限在局限范围内，在实时数据库系统中尽可能地满足事务的时限。     

工程数据库中支持合作设计过程的事务模型与实现方法

讨论了ＣＡＤ／ＣＡＭ环境下支持合作设计过程的工程数据库事务模型及其实现方法，该模型是对传统的基于ＡＣＩＤ性质的平面事务模型的修改和扩充。它具有一上嵌套的事务结构和数据对象代理机制，能够较好地满足设计过程的长期性，合作性和用衣控制的要求。     

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

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

扩展嵌套事务模型的研究

在主动数据库的规则处理过程中，为了更好地适应规则的嵌套触发和多种耦合方式的处理，在分析了嵌套事务模型的基础上，对其进行了扩展，提出了扩展嵌套事务模型，并在此基础上，对规则的处理进行了相应的分析。     

分布式主动实时事务预分析与预测的集成框架

为改善分布式主动实时数据库事务处理的可预测性,提出了一种新的基于树的事务语义模型,并基于该模型提出了一个分布式主动实时事务预分析处理与动态预测的集成框架,包括事务生成时的静态预分析、事务接纳时的初始动态预分析和事务运行阶段的即席分析与预测,它可以有效地支持分布式主动实时事务的静动结合分析,改善事务处理的实时性能．     

基于组件技术的嵌套事务模型

在传统的嵌套事务模型基础上,根据CAD系统事务的并发性和数据的一致性,提出一种基于组件的嵌套事务模型,并给出组件的功能实现。同时,分析了该模型对CAD系统事务的影响,并给出了模型的应用实例。     

实时数据库系统的并发控制策略及其实现

讨论了解决实时与非实时事务冲突的2级并发控制策略，分析了依次序共享2段锁协议和嵌套事务封锁协议，给出了RTDBS中以控制嵌套实时事务并发执行的RC 2PL－OS协议。     

实时事务功能替代集的研究

主要研究了基于功能替代集的实时事务的模型,并讨论了功能替代集本身所具有的特性以及实时事务预分析的步骤,同时提出了实时事务预分析的算法,该算法直接引入了链表数据结构,比原算法节省了队列的存取步骤,提高了系统的执行效率。     

一种实时事务预分析处理的三段法

给出了一种“三段式”预分析预处理系统框架,提出了一种基于实时事务语义,行为,结构及相关性知识的预分析预处理的“相关图”策略与方法,引入了“影子事务”的概念和机制来支持与实现实时事务的正确执行,系统的内外存数据交换等,从而保证实时事务的定时性要求。     

网格环境下实时数据库事务处理模型

在分析网格和网格实时数据库事务处理特点的基础上,提出了一个适用于网格环境下实时数据库事务处理模型.该模型采用网格中间件和功能等价服务,能够满足网格环境中对实时事务自治性、异构性、动态性等特点的要求.     

实时数据库系统的并发控制策略及其实现

针对实时数据库系统 ,提出了一种两级并发控制策略 ,以适应应用中两类不同特征事务的并发控制特征 ;给出了一个两级并发控制策略的具体实现方面的体系结构及功能分布 ;针对嵌套事务的不同特征 ,分析和讨论了其可能发生的问题及相应封锁协议、协议的多种特性 .     

实时数据库系统的面向对象数据模型及调度策略研究

分析了实时数据库系统中的数据和事务的特性。提出了一种实时面向对象的数据模型,它充分考虑了实时数据库系统对数据和事务的逻辑及时间一致性的要求。依据这种数据模型,可以设计出各种合适的并发控制协议及事务调度策略,以提高实时数据库系统的性能。     

主动实时数据库的数据管理研究

讨论主动实时数据库（ＡＲＴＤＢ）系统中数据和事务的特征及其对数据与日志的安置、日志记录和数据库恢复的影响，进而给出了一个合理的数据与日志的安置策略     

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

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

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

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

Quasi serializable concurrency control in mobile broadcast environments

The problem of maintaining data consistency in mobile broadcast environments is researched.Quasi serializability is formally defined and analyzed at first.It was shown that quasi serializability is less stringent than serializability when database consistency is maintained for transactions.Then,corresponding concurrency control protocol that supports both update transactions and read-only transactions is outlined for mobile broadcast environments.Finally,the simulation results confirmed that the proposed protocol could improve the response time significantly.     

一个内存数据库管理系统的数据组织

在分析多种内存数据库概念的基础上,给出了新的内存数据库的形式定义,提出了内存数据库的一种数据组织结构,在Ｔ树的基础上,经过改造开发了一个在自行研制的主动实时ＤＢＭＳ原型系统中实现的索引结构Ｔ树,着重讨论了其严格的定义和操作算法．