Incompatibility Dimensions and Integration of Atomic Commit Protocols
Advanced software application systems contain transactions that tend to traverse incompatible database sites belonging to different human organizations. One key requirement of these application systems is universal transactional support and, in particular, guaranteeing the atomicity property of transactions in the presence of incompatible atomic commit protocols. Detailed analysis show that incompatibilities among atomic commit protocols could be due to the semantics of coordination messages or the presumptions about the outcome of terminated transactions. This leads to the definition of "Operational correctness", a criterion that captures the practical integration of incompatible atomic commit protocols.