A detailed overview of how we built a distributed SQL (or NewSQL) database with next-generation availability guarantees while supporting ACID transactions.