Eventual vs strong consistency in distributed databases