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.