Integrity Constraint Management in Certification-Based Replication Protocols