Certification-Based Database Replication Protocols under the Perspective of the I / O Automaton Model