基于MVCC的保存点设计与实现

通过保存点实现部分回滚是事务理论中的一个重要方法，它能够极大地提高数据库管理系统的事务管理的灵活性和系统的性能。基于保存点的原理，本文提出了基于多版本并发控制下DBMS的事务保存点实现方法，并通过改进PostgreSQL进行了验证。最后给出保存点在工作流事务中的应用。     

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

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

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

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

天舟公司发布基于SuperSky-Master 2000的项目版本管理器

为确保产品设计数据安全性和产品全生命周期多版本改进改型设计的顺利进行,天舟公司全新开发了基于SuperSky-Master 2000的项目版本管理器。此管理器具有完整的版本保存、版本恢复和版本借用功能,可以与SuperSky-Master 2000系列软件一起,为企业构筑全面的产品数据管理体系。天舟公司发布基于SuperSky-Master 2000的项目版本管理器     

事务处理技术研究与实践

事务处理技术是有效管理和使用计算机信息资源的关键。文章介绍了在资源管理器的作用下，事务管理器和日志管理器如何协同工作以保证事务的原子性、持久性和一致性，以及如何利用并发控制技术实现事务的隔离性。通过各种并发控制技术的对比，得知封锁是一种较为容易实现的方式。文章以VC＋＋6.0为编程环境，模拟了事务管理器、日志管理器和封锁管理器的工作流程，提供了建立具有ACID特性事务的计算机制。     

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

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

Oracle Workspace Manager版本管理机理和应用研究

主要介绍Oracle工作区管理器这一版本管理工具的机理并使其膻用在土地利用现状数据更新的实际应用中.指出土地利用数据的现实性和准确性是制定科学的土地管理决策的关键.针对土地调查海量数据的高效管理和快速更新问题,探讨了Oracle Workspace Manager版本管理工具的机理,分析了Oracle工作区管理器版本管理机制的实现原理.阐述了其版本管理方法和具体实现,最后通过其在对土地变更数据进行管理并更新土地利用现状数据的中的应用,证实了其可行性和实用性.     

Oracle Workspace Manager版本管理机理和应用研究

主要介绍Oracle工作区管理器这一版本管理工具的机理并使其应用在土地利用现状数据更新的实际应用中。指出土地利用数据的现实性和准确性是制定科学的土地管理决策的关键。针对土地调查海量数据的高效管理和快速更新问题,探讨了Oracle Workspace Manager版本管理工具的机理,分析了Oracle工作区管理器版本管理机制的实现原理。阐述了其版本管理方法和具体实现,最后通过其在对土地变更数据进行管理并更新土地利用现状数据的中的应用,证实了其可行性和实用性。     

协同CAD系统中的并发控制机制

并发操作是协同CAD系统中至关重要的问题。该文提出了并发操作控制机制的设计原则，阐述了基于语义的并发控制机制利用嵌套事务来解决传统图档事务并发控制中的数据一致性低、中间版本不易维护等问题，结合实际给出了博士CAD系统中并发控制的系统模型，并作了相应的说明。     

网络化嵌入式质量管理器的设计与实现

针对现场质量控制存在的实时性差、质量信息不能有效采集等问题，提出了将带有蓝牙接口的嵌入式质量管理器应用到现场质量管理车间的方案，设计和实现了一个基于Linux的网络化嵌入式质量管理器。研究表明，该管理器能通过蓝牙技术实现点对点和点对多点的无线数据传输，又能通过网络对数控机床、相关工序点进行远程监控与管理，为嵌入式系统在企业中的运用提供了一种新思路。     

分布事务管理器的性能优化

作为应用服务器重要组成部分的分布管理器主要用于提供分布环境下的事务处理能力，它的性能是制约应用服务器上分布事务吞吐能力的重要因素。讨论了在J2EE应用服务器框架下如何进行分布事务管理器的性能优化，同时给出了分布事务管理器ISTX的性能优化实现。实验数据表明，对ISTX的性能优化能在保证分布事务可靠性的前提下，较大幅度地提高了分布事务处理的性能。     

软件事务存储自适应竞争管理策略研究

在并行程序设计中,软件事务存储(STM)是对传统基于锁的同步机制的一种替代方式。其中竞争管理器用于消解事务冲突,决定哪个事务继续执行,哪个事务放弃,对于STM系统的性能有非常重要的影响。但是当前已有的竞争管理策略因受限于环境负载和STM系统的参数配置,性能表现往往是不稳定的。因此,提出了一种自适应的竞争管理策略(ACM),该策略通过构建竞争管理器池(Contention Manger Pool)和自适应竞争管理算法动态地为STM系统选择当前最优的竞争管理策略。实验结果表明ACM不仅可以通用于不同环境而且其平均性能也优于现有的静态竞争管理策略。     

Performance considerations for an operating system transactionmanager

Results of a previous comparison study (A. Kumar and M. Stonebraker, 1987) between a conventional transaction manager and an operating system (OS) transaction manager indicated that the OS transaction manager incurs a severe performance penalty and appears to be feasible only in special circumstances. Three approaches for enhancing the performance of an OS transaction manager are considered. The first strategy is to improve performance by reducing the cost of lock acquisition and by compressing the log. The second strategy explores the possibility of still further improvements from additional semantics to be built into an OS transaction system. The last strategy is to use a modified index structure that makes update operations less expensive to perform. The results show that the OS will have to implement essentially all of the specialized tactics for transaction management that are currently used by a database management system (DBMS) in order to match DBMS performance     

J2EE平台的扩展事务模型支持框架

随着Internet和分布计算的发展，应用趋向于分布、松耦合和复杂化，平面事务模型已经越来越不适应于这些新型的应用，因此出现了多种扩展事务模型．但目前的研究多关注于特定应用环境的模型的提出和分析，同时由于受数据源接口的限制，难以实现事务模型的一些扩展原语，所以真正实现扩展事务模型的系统很少．提出了一种J2EE平台下的扩展事务模型支持框架，通过增强事务管理器的数据并发控制，实现了对常见扩展事务模型的支持．     

基于Web服务的EDI系统的事务处理

本文分析了EDI系统和Web服务的特点，将基于Web服务的EDI系统事务分为两种类型：含单个Web服务的事务和包括多个Web服务的事务。对前者采用传统两阶段提交协议进行处理。后者由于跨时域和地域，可以通过扩展传统两阶段提交协议和增加事务管理器来统一处理。     

分布事务服务的一致性测试

作为J2EE应用服务器重要组成部分的分布事务管理器主要用于提供分布环境下的事务处理能力。文章拓宽了协议一致性测试的理论和技术的应用范围，探讨了分布事务服务的一致性测试，也给出了分布事务服务的形式化描述和非基于经验的测试序列的生成方案。     

Large scale interoperability and distributed transaction processing

This article integrates an interoperability architecture, the OSCA^TM architecture, and a distributed transaction processing protocol, the X/Open^® Distributed Transaction Processing model, into a unified model of large scale interoperability and distributed transaction processing. Applications supporting different business operations are often deployed in heterogeneous environments in which applications are stand alone islands and operations are fragmented. But in order to have integrated operations, a loosely coupled system of autonomous applications is required often bound together via a distributed transaction processing protocol. This article describes a model for this configuration. It will propose that the span of control of a transaction manager defines the transaction environment for a single application. Any two applications need not conform to the same supplier's transaction environment nor reside in the same environment. Interoperability must be provided among applications, since any one application cannot assume that any other application is under the control of the same transaction manager. Requirements are imposed upon the interactions of applications to support interoperability. The interface between transaction managers must be compatible with these requirements. Other distributed architecture standards must define the requirements for release independence, resource independence, accessibility transparency, location transparency, contract interfaces, and secure environment.     

一种基于CORBA OTS的联邦事务管理器模型

联邦数据库系统允许用户访问多个自治数据库管理系统中的数据。通过联邦事务管理确保分布在多个自治的并可能是异构的局部数据库中数据的一致性。该文提出了一种基于CORBAOTS的联邦事务管理器模型。     

基于智能卡COS的电子现金设计与测试

针对U盾与金融卡分离引起的安全漏洞,设计了一种安全电子现金系统。该系统基于华虹SHC1302-N芯片,集公钥基础设施PKI卡和电子现金卡功能为一体,支持接触式和非接触式通信。阐述了文件系统、应用管理系统、安全机制、双通信模块的设计方法,给出了电子现金的功能模式和交易流程,说明了硬件仿真系统测试和智能卡系统测试的方法。     

多库系统的两阶段局部代理失败恢复策略

从保证全局事务的ACID性及实际的可操作性出发，提出了一种较为可靠的两阶段局部代理的工作流程，使用局部代理作为全局事务管理系统与局部数据库的中间层，模拟出符合2PC协议的状态，从而在多数据库的事务处理中使用2PC协议，在最大限度保证异构数据库自治的前提下，从一定程度上解决了全局事务的原子性保证问题和局部站点失败恢复的问题