1994 · 141 citations · 13 references
Local SitesEngineeringGlobal TransactionsGlobal Transaction ManagementTransactional ApplicationCloud ComputingVerificationFormal MethodsTransactional SystemTransaction ProcessingComputer ScienceDistributed SystemsFlexible TransactionsConcurrency ControlData ManagementFormal VerificationDistributed TransactionData Security
Global transaction management requires cooperation from local sites to ensure the consistent and reliable execution of global transactions in a distributed database system. In a heterogeneous distributed database (or multidatabase) environment, various local sites make conflicting assertions of autonomy over the execution of global transactions. A flexible transaction model for the specification of global transactions makes it possible to deal robustly with these conflicting requirements. This paper presents an approach that preserves the semi-atomicity (a weaker form of atomicity) of flexible transactions, allowing local sites to autonomously maintain serializability and recoverability. We offer a fundamental characterization of the flexible transaction model and precisely define the semi-atomicity. We investigate the commit dependencies among the subtransactions of a flexible transaction. These dependencies are used to control the commitment order of the subtransactions. We next identify those restrictions that must be placed upon a flexible transaction to ensure the maintenance of its semi-atomicity. As atomicity is a restrictive criterion, semi-atomicity enhances the class of executable global transactions.
13
A formal approach to recovery by compensating transactions
Henry F. Korth, Eliezer Levy, Abraham Silberschatz · 1990 · 224 citations
A multidatabase transaction model for InterBase
Ahmed K. Elmagarmid, Yungho Leu, Witold Litwin et al. · Purdue e-Pubs (Purdue University System) · 1990 · 208 citations · Full text
A transaction model for multidatabase systems
Sharad Mehrotra, R. Rastogi, Abraham Silberschatz et al. · 2003 · 163 citations
Engineering, Transactional System, Transaction Processing +21