Testing Database Transactions

Confirm that complex multi-step database operations satisfy ACID requirements upon failure.