Strengthening the ACID Properties: Modular Transaction Models and TP Systems

事务处理（Transaction Processing，TP）系统是数据库管理系统中的核心软件组件，它使多用户分布式环境中的信息共享和并发处理成为可能。 然而，目前使用的原子性，一致性，隔离性和持久性（ACID）的事务属性限制了TP系统在新的应用程序，如工程设计和长期活动，由于他们的可扩展性。这个项目加强了ACID属性，以支持一系列的选择。例如，Epsilon Serializability为应用程序设计人员在有界不一致容限规范中提供了细粒度的选择。这项工作补充了ACTA框架等理论成果。该项目将增强的原子性、隔离性和耐久性属性映射到现有的经过验证的软件系统上，特别是TP监视器，如Transarc Encina。理论与实践相结合，本研究的成果将为协同长距离传输和互联网上的自治TP等高级应用的设计者和实现者提供增强的生产TP系统

Transaction Processing (TP) systems form a core software component in database management systems, making sharing of information and concurrent processing in multi-user, distributed environments possible. However, the currently used Atomicity, Consistency, Isolation, and Durability (ACID) properties of transactions have limited the use of TP systems in new applications such as engineering design and long activities, due to their inflexibility. This project strengthens the ACID properties to support a spectrum of choices. For example, Epsilon Serializability gives application designers fine-grained choices in the specification of bounded inconsistency tolerance. This work complements theoretical results such as the ACTA framework. This project maps strengthened atomicity, isolation, and durability properties onto existing proven software systems, in particular, TP monitors such as Transarc Encina. Combining theory with practice, the results from this research will make strengthened production TP systems available to the designers and implementors of advanced applications such as cooperative long tra nsactions and autonomous TP on the Internet