Sciweavers

DBPL
1997
Springer
133views Database» more  DBPL 1997»
13 years 8 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters