ACTA is a comprehensive transaction framework that permits a transaction modeler to specify the e ects of extended transactions on each other and on objects in the database. ACTA allows the speci cation of (1) the interactions between transactions in terms of relationships between signi cant (transaction management) events, such as begin, commit, abort, delegate, split, and join, pertaining to ...