161 search results - page 1 / 33 » Verifying Compensating Transactions |
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer
TACAS
1999
Springer
13 years 9 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
HICSS
1994
IEEE
13 years 9 months ago
1994
IEEE
Compensation is the process by which a committed transaction in a database is undone by running the semantic inverse of that transaction on the database. Compensation has been pro...
VLDB
1990
ACM
13 years 9 months ago
1990
ACM
Compensating transactions are intended to handle situations where it is required to undo either committed or uncommitted transactions that affect other transactions, without resor...
TWEB
2008
13 years 5 months ago
2008
tions at runtime. We introduce the abstract service and adapter components which allow us to separate the compensation logic from the coordination logic. In this way, we can easily...