Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres | Synapse