DocumentCode
3440991
Title
Non-deterministic computing, heterogeneous transactions and recursive atomicity
Author
Bayer, Rudolf
Author_Institution
Inst. fur Inf., Tech. Univ. Munchen, Germany
fYear
1991
fDate
13-16 May 1991
Firstpage
618
Lastpage
625
Abstract
Nondeterministic, atomic computing primitives are introduced which are used to construct A-nets for describing transaction models precisely. A-nets and the computing primitives can be applied recursively to describe transactions at arbitrary levels of refinement. The techniques are demonstrated by describing a number of well-known and widely used transaction models, in particular ACID-transactions, distributed transactions with two-phase commit, Sagas, and LU6.2 transactions
Keywords
automata theory; fuzzy logic; transaction processing; A-nets; ACID-transactions; LU6.2 transactions; Sagas; atomic computing primitives; distributed transactions; heterogeneous transactions; nondeterministic computing; recursive atomicity; refinement; transaction models; two-phase commit; Books; Computational modeling; Database systems; Microcomputers; Workstations;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
Conference_Location
Bologna
Print_ISBN
0-8186-2141-9
Type
conf
DOI
10.1109/CMPEUR.1991.257461
Filename
257461
Link To Document