Global committability in multidatabase systems

In this paper we develop a formal basis for research into the reliability aspects of transaction processing in multidatabase systems. We define a new correctness notion called global committability (GC) for the correct unilateral commit and retry recovery of global transactions in an autonomous MDBS environment. This notion facilitates to ensure the isolation property of global transactions when the retry approach is applied. The formalization work illustrates that conventional serializability (SR) notion and recoverability (RC) notion are not sufficient to specify a correct execution (i.e., isolated execution and recovery) of global transactions when the unilateral commit and the retry recovery are used to ensure the atomicity of global transactions. This work is significant because the unilateral commit and the retry recovery is an attractive complementary means to the undo recovery (whose correct schedule is specified by the conventional RC notion) for advanced transaction applications with characteristics of site autonomy and long-lived execution.