Strengthening the ACID Properties: Modular Transaction Models and TP Systems

事务处理（TP）系统构成了数据库管理系统的核心软件组件，使多用户分布式环境中的信息共享和并发处理成为可能。然而，目前使用的事务的原子性、一致性、隔离性和持久性（ACID）属性限制了TP系统在工程设计和长时间活动等新应用程序中的使用，因为它们缺乏灵活性。该项目加强了ACID特性以支持一系列选择。例如，Epsilon序列化性为应用程序设计人员提供了有界不一致容忍度规范中的细粒度选择。这项工作是对ACTA框架等理论成果的补充。该项目将增强的原子性、隔离性和持久性属性映射到现有的经过验证的软件系统上，特别是TP监视器，如Transarc Encina。本文的研究成果将理论与实践相结合，为Internet上协同长事务和自主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