analysis of database replication protocols