Flexible Transactions in DBMS: Formalism and Support Using Active Capability

将数据库系统用于非传统应用程序促使了新的事务模型的发展，这些模型的语义与传统模型不同，而且彼此之间也不同。这个项目关注的是以可扩展的方式支持各种事务模型的框架的开发。ECA（事件-条件-操作）规则是在系统级别定义的，与当前在应用程序级别支持的ECA规则相反。这些规则适用于事务和/或数据结构的重要操作，并用于支持传统和扩展的事务模型。各种事务模型之间交互的形式化允许同一数据库管理系统（DBMS）上的不同应用程序使用不同的事务模型。这个项目的成果将进一步增强数据库系统的使用——用于新类别的应用程序（例如，工作流和企业建模），这些应用程序目前不能由传统dbms直接支持。

Use of database systems for non-traditional applications has prompted the development of new transaction models whose semantics vary from the traditional model, as well as from each other. This project is concerned with the development of a framework for supporting various transaction models in an extensible manner. ECA (event-condition-action) rules are defined at the system level, in contrast to the ECA rules currently supported at the application level. The rules apply to significant operations of a transaction and/or data structures and are used to support both traditional and extended transaction models. Formalization of the interaction among various transaction models allows the use of different transaction models by different applications on the same database management system (DBMS). The results of this project will further enhance the use of database systems -- for new classes of applications (e.g., workflow and enterprise modeling) that cannot be currently supported directly by traditional DBMSs.