Lazy evaluation of transactions in database systems
Calvin: fast distributed transactions for partitioned database systems