层次结构的多数据库系统中事务执行的正确性准则

研究了层次式多数据库中事务执行的正确性问题。给出了层次式多数据库的定义和结构以及建立在其上的事务结构,根据多数据的特点提出了一种层次式多数据库中事务执行正确性准则,并举例说明其应用,最后给出了该标准的评价以及应用展望。

过程实例跃迁正确性判定准则研究

过程模型的动态更改会引起运行中的过程实例向更改后的过程模型跃迁,必须保证过程实例跃迁后运行的一致性。由于多分支结构的影响,不同过程实例的跃迁条件不易确定。研究了过程模型更改机制,通过删除、插入、修改三类元更改操作构造更改域。将过程执行历史能否重放作为过程实例跃迁正确性的判定准则,提出一种高效的过程实例精确跃迁条件评判方法,可以确定拥有不同路由结构、不同运行状态的过程实例的跃迁策略。该方法能适应多分支的过程模型,灵活性高,便于实现过程模型动态更改和实例跃迁的自动化。

实时数据库中事务执行的正确性研究

实时数据库就是其数据和事务都有显式定时限制的数据库,系统的正确性不仅依赖于事务的逻辑结果,而且依赖于该逻辑结果所产生的时间,事务处理是实时数据库中的关键问题。从实时数据库的事务特征入手,分析事务执行的结果正确性、行为正确性、结构正确性与时间正确性,论述三种正确性准则在保证时间一致性限制方面的作用,从而研究事务执行的正确性问题。

柔性协同事务模型(英文)

提出了一个 CSCW领域中的高级事务处理模型—柔性协同事务模型 FCTM(flexible cooperativetransaction model) .首先给出了协同事务的定义 ,并描述了协同事务的状态 ,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系 ,最后用协同事务的状态依赖描述了可串行化正确性准则 .FCTM的优点在于用户能够根据不同的 CSCW应用领域的需求 ,灵活地定义协同事务的状态和状态依赖 .

分布式工作流中的柔性事务模型

描述了一种可以为分布式工作流提供事务支持的模型设计,并提出了一种柔性事务模型。给出了柔性事务的定义,然后描述了保证柔性事务被正确调度的可串行化正确性准则。该模型具有在多层工作流管理系统中处理分布式业务流程的能力。