Transaction decomposition using transaction semantics

Distributed and Parallel Databases

Volumn 4, Issue 1, 1996, Pages 25-47

  Bernstein, Arthur J ^a   Lewis, Philip M ^a  

^a Stony Brook University   (United States)

Author keywords

Concurrency control; Non serializable execution; Transaction decomposition; Transaction semantics

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONCURRENCY CONTROL; NETWORK PROTOCOLS;

CORRECTNESS CRITERION; NONSERIALIZABLE EXECUTION; TRANSACTION DECOMPOSITION; TRANSACTION SEMANTICS;

DATABASE SYSTEMS;

EID: 0029732079     PISSN: 09268782     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00122147     Document Type: Article

References (38)

1. D. Agrawal, A. El Abbadi, and A. Singh, "Consistency and orderability: Semantics based correctness criteria for databases," ACM Transactions on Database Systems, vol. 18, no. 3, Sept. 1993.
2. B. Badinrath and K. Ramamritham, "Semantics-based concurrency control: Beyond commutativity," ACM Transactions on Database Systems, March 1992.
3. F. Bancilhon, W. Kim, and H. Korth, "A model of cad transactions," in Proc. of Eleventh Int'l Conf. on Very Large Databases, 1985.
4. N. Barghouti and G. Kaiser, "Concurrency control in advanced database applications," ACM Computing Surveys, Sept. 1991.
5. A. Bernstein and P. Lewis, Concurrency in Programming and Database Systems, Jones and Bartlett, 1993.
6. A.J. Bernstein and P.M. Lewis, "High performance transaction systems using transaction semantics," Technical Report 93/05, Dept. of Computer Science, State Univ. of New York at Stony Brook, July 1993.
7. A. Buchmann, M. Ozsu, M. Hornick, D. Georgakopoulos, and F. Manola, "A transaction model for distributed object systems," in Database Transaction Models for Advanced Applications, Morgan Kaufman, 1992.
8. P. Chrysanthis and K. Ramamritham, "Acta: The saga continues," in Database Transaction Models for Advanced Applications, Morgan Kaufman, 1992.
9. C. Davies, "Data processing spheres of control," IBM Systems Journal, vol. 17, no. 2, 1978.
10. C. Eastman, "Database facilities for engineering design," Proceedings of the IEEE, vol. 69, no. 10, 1981.
11. A. Elmagarmid (Ed.), Database Transaction Models for Advanced Applications, Morgan Kaufman, 1992.
12. A. Farrag and M. Ozsu, "Using semantic knowledge of transactions to increase concurrency," ACM Transactions on Database Systems, Dec. 1989.
13. H. Garcia-Molina, "Using semantic knowledge for transaction processing in a distributed database," ACM Transactions on Database Systems, June 1983.
14. H. Garcia-Molina and K. Salem, "Sagas," in Proc. ACM SIGMOD Int'l. Conf. on Management of Data, 1987.
15. M. Herlihy, "Apologizing versus asking permission: Optimistic concurrency control for abstract data types," ACM Transactions on Database Systems, Mar. 1990.
16. C.A.R. Hoare, "An axiomatic basis for computer programming," Communications of the ACM, Oct. 1969.
17. G. Kaiser, "A flexible transaction model for software engineering," in Proc. Sixth Int'l. Conf. on Data Engineering, Feb. 1990.
18. H. Korth, W. Kim, and F. Bancilhon, "On long duration cad transactions," Information Sciences, vol. 46, 1988.
19. H. Korth, E. Levy, and A. Silberschatz, "A formal approach to recovery by compensating transactions," in Proc. of 16th Int'l. Conf. on Very large Databases, 1990.
20. H. Korth and G. Speegle, "Formal model for correctness without serializability," in Proc. of ACM SIGMOD Conf. on Management of Data, June 1988.
21. P. Krychniak, M. Rusinkiewicz, A. Sheth, and G. Thomas, "Bounding the effects of compensation under relaxed multi-level serializability," Technical Report UH-CS-92-06, Dept. of Computer Science, Univ. of Houston, 1992.
22. E. Kuhn, F. Puntigam, and A. Elmagarmid, "Multidatabase transaction and query processing in logic," in Database Transaction Models for Advanced Applications, Morgan Kaufman, 1992.
23. E. Levy, H. Korth, and A. Silberschatz, "An optimistic commit protocol for distributed transaction management," in Proc. of ACM SIGMOD Int'l. Conf. on Management of Data, May 1991.
24. E. Levy, H. Korth, and A. Silberschatz, "A theory of relaxed atomicity," in Proc. of Tenth ACM Symp. on Principles of Distributed Computing, Aug. 1991.
25. N. Lynch, "Multilevel atomicity - a new correctness criterion for database concurrency control," ACM Trans. on Database Systems, vol. 8, no. 4, Dec. 1983.
26. P. Muth, T. Rakow, W. Klas, and E. Neuhold, "A transaction model for an open publication environment," in Database Transaction Models for Advanced Applications, Morgan Kaufman, 1992.
27. M. Nodine, S. Ramaswamy, and S. Zdonik, "A cooperative transaction model for design databases," in Database Transaction Models for Advanced Applications, Morgan Kaufman, 1992.
28. S. Owicki and D. Gries, "An axiomatic proof technique for parallel programs I," Acta Informatica, vol. 6, 1976.
29. R. Rastogi, S. Mehrotra, Y. Breitbart, H. Korth, and A. Silberschatz, "On correctness of non-serializable executions," in Proc. of ACM Symp. on Principles of Database Systems, May 1993.
30. A. Reuter and H. Wachter, "The contract model," Quarterly Bulletin of IEEE Computer Society Tech. Comm. on Data Engineering, March 1991.
31. L. Sha, J. Lehoczky, and E. Jensen, "Modular concurrency control and failure recovery," IEEE Trans. on Computers, vol. 37, no. 2, Feb. 1988.
32. D. Shasha, E. Simon, and P. Valduriez, "Simple rational guidance for chopping up transactions," in Proc. of 11th ACM SIGMOD/PODS Conf., June 1992.
33. A. Sheth, M. Rusinkiewicz, and G. Karabatis, "Using polytransactions to manage inter-dependent data," in Database Transaction Models for Advanced Applications, Morgan Kaufman, 1992.
34. D. Stemple, S. Mazumdar, and T. Sheard, "On the modes and meaning of feedback to transaction designers," in Proc. ACM SIGMOD Int'l. Conf. on Management of Data, 1987.
35. A. Tuzhilin and P. Spirakis, "A semantic approach to correctness of concurrent transaction execution," in Proc. of 4th ACM SIGACT-SIGMOD-SIGMOD-SIGART Symp. on Principles of Database Systems, 1985.
36. H. Wachter and A. Reuter, "The contract model," Technical Report 8/91, Univ. of Stuttgart, 1991.
37. W. Weihl, "Commutativity-based concurrency control for abstract data types," IEEE Trans. on Computers, vol. 37, no. 12, Dec. 1988.
38. G. Weikum, "Principles and realization strategies of multilevel transaction management," ACM Transactions of Database Systems, vol. 16, no. 1, March 1991.