Update Propagation Protocols For Replicated Databases