Title: Replication in a database cluster with freshness and correctness guarantees