Transaction recovery in federated autonomous databases

San Yih Hwang, Jaideep Srivastava, Jianzhong Li

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


Transaction management for federated database systems (FDBSs), where each participating DBMS is autonomous, supports global transactions that can access more than one database. A number of concurrency control algorithms exist for the failure-free environment. Handling transaction failure, due to concurrency control or site related reasons, becomes especially difficult in the presence of autonomy. Due to local autonomy, carrying out 2-phase commit may not be possible. This can be simulated by providing a server on top of the pre-existing DBMS at each site, which is responsible for submitting the local operations to the associated DBMS and communicating with the transaction's originating site. In this paper we formalize the problem of ensuring transaction consistency in an FDBS environment in the presence of failure. The key problem is that due to autonomy, the local DBMS and FDBS may have different views of an execution sequence generated at a site. Local recoverability is identified as the property of local execution sequences necessary for correctness. The other main problem is of guaranteeing that the various locally recoverable histories are consistent with each other. These identified properties are necessary and sufficient conditions for the correctness of FDBS recovery algorithms, and can be used to evaluate the correctness of the proposed algorithms. This paper also presents an FDBS recovery algorithm that has been proved to be correct. Formal proofs of all properties and a comparison of different algorithms are provided.

Original languageEnglish (US)
Pages (from-to)151-182
Number of pages32
JournalDistributed and Parallel Databases
Issue number2
StatePublished - Apr 1 1994


  • Transaction management
  • federated databases
  • global serializability
  • local recoverability
  • transaction recovery


Dive into the research topics of 'Transaction recovery in federated autonomous databases'. Together they form a unique fingerprint.

Cite this