ACTA: A Framework for Specifying and Reasoning About Transaction Structure and Behavior

ACM SIGMOD Record

Volumn 19, Issue 2, 1990, Pages 194-203

  Chrysanthis, Panayiotis K ^a   Ramamritham, Krithi ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER AIDED MANUFACTURING;

ACTA FRAMEWORK; TRANSACTION STRUCTURES;

DATABASE SYSTEMS;

EID: 0025446220     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/93605.98729     Document Type: Article

References (19)

1. Badrinath, B Concurrency control in complex information systems A semantics-based approach Phd thesis, Univeristy of Massachusetts, Amherst, MA, August 1989
2. Badrinath, B and Ramamritham, K Semantics-based concurrency control Beyond Commutativity In Fourth IEEE Conference on Data Engineering, pages 132-140, February 1987
3. Bancilhon, F, Kim, W, and Korth, H A model of CAD Transactions In Proceedings of the 11th international conference on VLDB, pages 25-33, Stockholm, August 1985
4. Chrvsanthis, P K and Ramamritham, K Capturing the structure and the behavior of complex transactions In Proceedings of the Third Workshop on Large Gram Parallelism, SEI, Carnegie Mellon University, Pittsburgh, October 1989
5. Eswaran, K, Gray, J, Lone, R, and Traiger, I The notion of consistency and predicate locks in a database system Communications of the ACM, 19(11) 624-633, November 1976
6. Fernandez, M and Zdonik, S Transaction groups A model for controlling cooperative transactions In Workshop on Persistent Object Systems Their Design, Implementation and Use, pages 128-138, January 1989
7. Gray, J The transaction concept Virtues and limitations In Proceedings of the 7th VLDB Conference, pages 144-154, September 1981
8. Gray, J N, Lone, R A, Putzulo, G R, and Traiger, I L Granularity of locks and degrees of consistency in a shared database In Proceedings of the 1st international conference on VLDB, pages 25-33, Framingham, MA, September 1975
9. Herlihy, ? P and Weihl, W Hybrid concurrency control for abstract data types In Proceedings of the 7th ACM symposium on Principles of Database Systems, pages 201-210, March 1988
10. Martin, B E Scheduling protocols for nested objects Technical Report CS-094, Department of Computer Science and Engineering, University of California, San Diego, California, 1988
11. Moss, J E B Nested Transactions An approach to reliable distributed computing PhD thesis 260, Massachusetts Institute of Technology, Cambridge, MA, April 1981
12. Moss, J E B, Griffeth, N, and Graham, M Abstraction in recovery management In Proceedings of the ACM SIGMOD international conference on management of data, pages 72-83, May 1986
13. Pu, C Replication and Nested Transanctions in the Eden Distributed System PhD thesis, University of Washington, 1986
14. Pu, C, Kaiser, G, and Hutchinson, N Split-Transactions for Open-Ended activities In Proceedings of the 14th international conference on VLDB, pages 26-37, Los Angeles, California, September 1988
15. Schwarz, P M and Spector, A Z Synchronizing shared abstract data types ACM Transactions on Computer Systems, 2(3) 223-250, August 1984
16. Shrivastava, S K and Wheater, S M Objects and multi-coloured actions In Third Workshop on Large Grain Paralellism, SEI, Carnegie Mellon University, Pittsburgh, October 1989
17. Skarra, A and Zdonik, S Concurrency Control and Object-Oriented Databases In Object-Oriented Concepts, Databases, and Applications, pages 395-421 ACM Press, 1989
18. Vinter, S, Ramamntham, K, and Stemple, D Recoverable actions in gutenberg In Proceedings of the Sixth International conference on Distributed Computing Systems, pages 242-249, May 1986
19. Weihl, W Commutativity-Based concurrency control for abstract data types IEEE Transactions on Computers, 37(12) 1488-1505, December 1988