ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior.
Krithi Ramamritham
Panos K. Chrysanthis
ACM SIGMOD Conference
1990
19
2
194
203
Recently, a number of extensions to the traditional transaction model have been proposed to support new information-intensive applications such as CAD/CAM and software development. However, these extended models capture only a subset of interactions th