ACID Explained: Atomic, Consistent, Isolated & Durable