Transaction recovery in federated autonomous databases

San Yih Hwang, Jaideep Srivastava, Jianzhong Li

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

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
Volume2
Issue number2
Publication statusPublished - Apr 1994
Externally publishedYes

Fingerprint

Database Systems
Transactions
Recovery
Correctness
Formal Proof
Data base
Necessary Conditions
Necessary
Evaluate
Sufficient Conditions

ASJC Scopus subject areas

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

Cite this

Transaction recovery in federated autonomous databases. / Hwang, San Yih; Srivastava, Jaideep; Li, Jianzhong.

In: Distributed and Parallel Databases, Vol. 2, No. 2, 04.1994, p. 151-182.

Research output: Contribution to journalArticle

Hwang, San Yih ; Srivastava, Jaideep ; Li, Jianzhong. / Transaction recovery in federated autonomous databases. In: Distributed and Parallel Databases. 1994 ; Vol. 2, No. 2. pp. 151-182.
@article{f74684249d52497bb18c4b80aea08bb6,
title = "Transaction recovery in federated autonomous databases",
abstract = "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.",
author = "Hwang, {San Yih} and Jaideep Srivastava and Jianzhong Li",
year = "1994",
month = "4",
language = "English",
volume = "2",
pages = "151--182",
journal = "Distributed and Parallel Databases",
issn = "0926-8782",
publisher = "Springer Netherlands",
number = "2",

}

TY - JOUR

T1 - Transaction recovery in federated autonomous databases

AU - Hwang, San Yih

AU - Srivastava, Jaideep

AU - Li, Jianzhong

PY - 1994/4

Y1 - 1994/4

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0028420040&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028420040&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0028420040

VL - 2

SP - 151

EP - 182

JO - Distributed and Parallel Databases

JF - Distributed and Parallel Databases

SN - 0926-8782

IS - 2

ER -