Eventual Durability of ACID Transactions in Database Systems