Independent updates and incremental agreement in replicated databases