The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case) | Synapse