A framework to detect errors like lost writes when network partitions occur in Distributed databases.