Flexible Transactions in DBMS: Formalism and Support Using Active Capability

DBMS 中的灵活事务：形式主义和使用主动功能的支持

• 批准号: 9528390
• 负责人: Sharma Chakravarthy
• 金额: $ 20.49万
• 依托单位: University of Florida
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-05-01 至 2000-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9528390&HistoricalAwards=false
• 关键词: Flexible; Transactions; DBMS; Formalism; Support

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.

数据库系统在非传统应用中的使用促进了新事务模型的发展，这些模型的语义既不同于传统模型，也不同于传统模型。该项目涉及以可扩展的方式支持各种交易模型的框架的开发。ECA(事件-条件-操作)规则在系统级别定义，与目前在应用程序级别支持的ECA规则形成对比。这些规则适用于事务和/或数据结构的重要操作，并用于支持传统和扩展事务模型。各种事务模型之间的交互的形式化允许同一数据库管理系统(DBMS)上的不同应用程序使用不同的事务模型。该项目的成果将进一步加强数据库系统的使用--用于目前传统数据库管理系统不能直接支持的新的应用程序类别(例如，工作流程和企业建模)。