We identify one of the incompatibility problems associated with atomic commit :protocols that prevents them from being used together and weiderive a correctness criterion that captures the correctness of their integration. We also present a new atomic commit Iprotocol, called Presumed Any, that integrates the three commonly known two-phase commit protocols and prove its correctness. Keywords Two-Phase Commit, Atomic Commit Protocols, Distributed Transaction Processing, Multi-database Systems, Distributed Systems.
Yousef J. Al-Houmaily, Panos K. Chrysanthis