Spanner: Becoming a SQL System
The part-time parliament