Transaction recovery in federated autonomous databases

San Yih Hwang, Jaideep Srivastava, Jianzhong Li

Research output: Contribution to journalArticle

5 Citations (Scopus)


Transaction management for federated database systems (FDBSs), where each participating DBMS is autonomous, supports global transactions that can access more than one database. 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 sequence 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
Pages (from-to)151-182
Number of pages32
JournalDistributed and Parallel Databases
Issue number2
Publication statusPublished - Apr 1994
Externally publishedYes


ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Information Systems
  • Theoretical Computer Science

Cite this