A taxonomy of correctness criteria in database applications

VLDB Journal

Volumn 5, Issue 1, 1996, Pages 85-97

  Ramamritham, Krithi ^a   Chrysanthis, Panos K ^b  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

^b University of Pittsburgh   (United States)

Author keywords

Concurrency control; Database correctness criteria; Formal specifications; Transaction processing

Indexed keywords

EID: 0002087549     PISSN: 10668888     EISSN: None     Source Type: Journal    
DOI: 10.1007/s007780050017     Document Type: Article

References (54)

1. Badrinath BR, Ramamritham K (1990) Performance evaluation of semantics-based multilevel concurrency control protocols. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, pp 163-172
2. Barghouti NS, Kaiser GE (1991) Concurrency control in advanced database applications. ACM Comp Surv 23:269-317
3. Beeri C, Bernstein PA, Goodman N (1989) A model for concurrency in nested transaction systems. J ACM 36:230-269
4. Bernstein PA, Hadzilacos V, Goodman N (1987) Concurrency control and recovery in database systems. Addison-Wesley, Reading, Mass
5. Breitbart Y et al (1990) Final report of the workshop on multidatabases and semantic interoperability. Tulsa, Okla, November
6. Breitbart Y, Georgakopoulos D, Rusinkiewicz M, Silberschatz A (1991) On rigorous transaction scheduling. IEEE Trans Software Eng 17:954-960
7. Breitbart Y, Garcia-Molina H, Silberschatz A (1992) Overview of multidatabase transaction management. VLDB J 1:181-240
8. Buchmann A, Hornick AM, Markatos E, Chronaki C (1990) Specification of a transaction mechanism for a distributed active object system. In: Proceedings of the OOPSLA/ECOOP 90 Workshop on Transactions and Objects, Ottawa, pp 1-9
9. Chrysanthis PK, Ramamritham K (1990) ACTA: a framework for specifying and reasoning about transaction structure and behavior. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, pp 194-203
10. Chrysanthis PK, Ramamritham K (1991) A formalism for extended transaction models. In: Proceedings of the 17th International Conference on Very Large Databases, Barcelona, Spain, pp 103-112
11. Chrysanthis PK, Ramamritham K (1992) ACTA: the SAGA continues. In: Elmagarmid AK (ed) Database transaction models for advanced applications. Morgan Kaufman, San Mateo, Calif, pp 349-397
12. Chrysanthis PK, Raghuram S, Ramamritham K (1991) Extracting concurrency from objects: a methodology. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Denver, pp 108-117
13. Dayal U, Hsu M, Ladin R (1990) Organizing long-running activities with triggers and transactions. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, pp 204-214
14. Dittrich KR, Dayal U (1991) Active database systems (tutorial notes). In: The 17th International Conference on Very Large Databases, Barcelona, Spain
15. Du W, Elmagarmid AK (1989) Quasiserializability: a correctness criterion for global concurrency control in interBase. In: Proceedings of the 15th International Conference on Very Large Databases, Amsterdam, pp 347-355
16. Elmagarmid A (ed) (1992) Database transaction models for advanced applications. Morgan Kaufman, San Mateo, Calif
17. Eswaran KP, Gray JN, Lone RA, Traiger IL (1976) The notion of consistency and predicate locks in a database system. Commun ACM 19:624-633
18. Farrag A, Ozsu MT (1989) Using semantic knowledge of transactions to increase concurrency. ACM Trans Database Syst 4:503-525
19. Fekete A, Lynch N, Weihl W (1990) A serialization graph construction for nested transactions. In: Proceedings of the 9th ACM Symposium on Principles of Database Systems, May 1990, Atlantic City
20. Garcia-Molina H (1983) Using semantic knowledge for transaction processing in a distributed database. ACM Trans Database Syst 8:186-213
21. Garcia-Molina H, Salem K (1987) SAGAS. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, San Francisco, pp 249-259
22. Garcia-Molina H, Gawlick D, Klein J, Kleissner K, Salem K (1991) Modeling long-running activities as nested sagas. Bull IEEE Tech Comm Data Eng 14:14-18
23. Gray JN, Lorie RA, Putzulo GR, Traiger IL (1975) Granularity of locks and degrees of consistency in a shared database. In: Proceedings of the 1st International Conference on Very Large Databases, pp 25-33
24. Herlihy MP, Weihl W (1988) Hybrid concurrency control for abstract data types. In: Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Austin TX, May, pp 201-210
25. Herlihy MP, Wing JM (1987) Axioms for concurrent objects. In: Proceedings of the 14th ACM Symposium on Principles of Programming Languages, January, pp 13-26
26. Hou W, Ozsoyoglu G, Taneja BK (1989) Processing aggregate relational queries with hard time constraints. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, May
27. Korth HF, Speegle G (1988) Formal models of correctness without serializability. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, June, pp 379-386
28. Korth HF, Kim W, Bancilhon F (1988) On long-duration CAD transactions. Inform Sci 46:73-107
29. Korth HF, Speegle G (1990) Encapsulation of transaction management in object databases. In: Proceedings of the OOPSLA/ECOOP '90 Workshop on Transactions and Objects, Ottawa, pp 27-32
30. Korth HF, Levy E, Silberschatz A (1990a) Compensating transactions: a new recovery paradigm. In: Proceedings of the 16th International Conference on Vary Large Databases, Brisbane, pp 95-106
31. Korth HF, Soparkar N, Silberschatz A (1990b) Triggered real-time databases with consistency constraints. In: Proceedings of the 16th International Conference on Vary Large Databases, Brisbane, pp 71-82
32. Lynch NA (1983) Multilevel atomicity - a new correctness for database concurrency control. ACM Trans Database Syst 8:484-502
33. Martin BE (1988) Scheduling protocols for nested objects. (Technical report CS-094) Department of Computer Science and Engineering, University of California, San Diego
34. Martin BE, Pedersen C (1992) Long-lived concurrent activities. In: Oszu T, Dayal U, Valduries P (eds) Distributed object management. Morgan Kaufmann, San Mateo, CA
35. Mehrotra S, Rastogi R, Korth H, Silberschatz A (1991) Non-serializable executions in heterogeneous distributed database systems. In: Proceedings of the 1st International Conference on Parallel and Distributed Information Systems, Florida
36. Mehrotra S, Rastogi R, Breitbart Y, Korth H, Silberschatz A (1992) Ensuring transaction atomicity in multidatabase systems. In: Proceedings of the 11th Symposium on Principles of Database Systems, Denver, Colorado, pp 164-175
37. Moss JEB (1981) Nested transactions: an approach to reliable distrubuted computing. PhD thesis, Massachusetts Institute of Technology, Cambridge, Mass
38. Moss JEB, Griffeth N, Graham M (1986) Abstraction in recovery management. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Washington DC, pp 72-83
39. O'Neil PE (1986) The escrow transactional method. ACM Trans Database Syst 11:405-430
40. Pu C, Leff A (1991) Replica control in distributed systems: an asynchronous approach. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Denver, Colorado, pp 377-386
41. Pu C, Kaiser G, Hutchinson N (1988) Split-transactions for open-end activities. In: Proceedings of the 14th International Conference on Very Large Databases, pp 36-37
42. Ramamritham K (1993) Real-time databases. Int J Distrib Parallel Databases 1:199-226
43. Ramamritham K, Pu C (1995) A formal characterization of epsilon serializability. IEEE Trans Knowl Data Eng, December
44. Rusinkiewicz M, Elmagarmid A, Leu Y, Litwin W (1990) Extending the transaction model to capture more meaning. ACM Sigmod Rec 19:3-7
45. Rusinkiewicz M, Sheth A, Karabatis G (1991) Specification of dependencies for the management of interdependent data. IEEE Comp 12:46-54
46. Sha L (1985) Modular concurrency control and failure recovery - consistency, correctness and optimality. PhD thesis, Department of Computer and Electrical Engineering, Carnegie-Mellon University, Pittsburgh
47. Sheth A, Rusinkiewicz M (1990) Management of interdependent data: specifying dependency and consistency requirements. In: Proceedings of the Workshop on the Management of Replicated Data, November, pp 133-136
48. Sheth A, Leu Y, Elmagarmid A (1991) Maintaining consistency of interdependent data in multidatabase systems. (Technical report CSD-TR-91-016) Computer Science Department, Purdue University, West Lafayette, Ind
49. Sheth A, Rusinkiewicz M, Karabatis G (1992) Polytransactions: a mechanism for management of interdependent data. In: Elmagarmid A (ed) Transaction models for advanced database applications. Morgan-Kaufman, San Mateo, Calif
50. Skarra A (1991) Localized correctness specifications for cooperating transactions in an object-oriented database. IEEE Bull Off Knowl Eng 4:79-106
51. Stemple DW, Morrison R (1992) Specifying flexible concurrency control schemes: an abstract operational approach. In: Annual Australian Computer Science Conference
52. Wächter H, Reuter A (1991) The ConTract model. In: Elmagarmid AK (ed) Database transaction models for advanced applications, Morgan Kaufman, San Mateo, Calif
53. Weikum G, Schek HJ (1984) Architectural issues of transaction management in layered systems. In: Proceedings of the 10th Conference on Very Large Databases, Singapore, pp 454-465
54. Yannakakis M (1984) Serializability by locking. J ACM 31:227-244