Dave Ensor;Ian Stevenson
BMC Software;-
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics