A taxonomy of correctness criteria in database applications
暂无分享,去创建一个
[1] Ahmed K. Elmagarmid,et al. Maintaining Consistency of Interdependent Data in Multidatabase Systems , 1991 .
[2] Abraham Silberschatz,et al. A Formal Approach to Recovery by Compensating Transactions , 1990, VLDB.
[3] Panos K. Chrysanthis,et al. ACTA: a framework for specifying and reasoning about transaction structure and behavior , 1990, SIGMOD '90.
[4] Patrick E. O'Neil,et al. The Escrow transactional method , 1986, TODS.
[5] Ahmed K. Elmagarmid,et al. Extending the transaction model to capture more meaning , 1990, SGMD.
[6] Nancy A. Lynch,et al. Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.
[7] Umeshwar Dayal,et al. Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.
[8] Andreas Reuter,et al. The ConTract Model , 1991, Database Transaction Models for Advanced Applications.
[9] E. B. Moss,et al. Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .
[10] Rajeev Rastogi,et al. Ensuring transaction atomicity in multidatabase systems , 1992, PODS.
[11] Ricardo Alfredo Cordon. Using semantic knowledge for transaction processing (serializability, compatible, performance, recovery mechanisms) , 1985 .
[12] OzsoyogluGultekin,et al. Processing aggregate relational queries with hard time constraints , 1989 .
[13] Irving L. Traiger,et al. Granularity of Locks and Degrees of Consistency in a Shared Data Base , 1998, IFIP Working Conference on Modelling in Data Base Management Systems.
[14] Patrick Valduriez,et al. Distributed Object Management , 1993 .
[15] Panos K. Chrysanthis,et al. ACTA: The SAGA Continues , 1992, Database Transaction Models for Advanced Applications.
[16] Catriel Beeri,et al. A model for concurrency in nested transactions systems , 1989, JACM.
[17] M. Tamer Özsu,et al. Using semantic knowledge of transactions to increase concurrency , 1989, TODS.
[18] Weimin Du,et al. Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase , 1989, VLDB.
[19] Mihalis Yannakakis,et al. Serializability by Locking , 1984, JACM.
[20] Hans-Jörg Schek,et al. Architectural Issues of Transaction Management in Multi-Layered Systems , 1984, VLDB.
[21] Calton Pu,et al. Split-Transactions for Open-Ended Activities , 1988, VLDB.
[22] Amit P. Sheth,et al. Management of interdependent data: specifying dependency and consistency requirements , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.
[23] Nancy A. Lynch,et al. A serialization graph construction for nested transactions , 1990, PODS '90.
[24] Calton Pu,et al. A Formal Characterization of Epsilon Serializability , 1995, IEEE Trans. Knowl. Data Eng..
[25] B. R. Badrinath,et al. Performance evaluation of semantics-based multilevel concurrency control protocols , 1990, SIGMOD '90.
[26] Abraham Silberschatz,et al. On Rigorous Transaction Scheduling , 1991, IEEE Trans. Software Eng..
[27] Irving L. Traiger,et al. The notions of consistency and predicate locks in a database system , 1976, CACM.
[28] Gail E. Kaiser,et al. Concurrency control in advanced database applications , 1991, CSUR.
[29] Henry F. Korth,et al. Formal model of correctness without serializabilty , 1988, SIGMOD '88.
[30] Matthias Nussbaum. Database Transaction Models for Advanced Applications , 1992 .
[31] A. Elmagarmid. Database transaction models for advanced applications , 1992 .
[32] Marc H. Graham,et al. Abstraction in recovery management , 1986, SIGMOD '86.
[33] Panos K. Chrysanthis,et al. Extracting concurrency from objects: a methodology , 1991, SIGMOD '91.
[34] Hector Garcia-Molina,et al. Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.
[35] Wen-Chi Hou,et al. Processing aggregate relational queries with hard time constraints , 1989, SIGMOD '89.
[36] Calton Pu,et al. Replica control in distributed systems: as asynchronous approach , 1991, SIGMOD '91.
[37] L. DiPippo,et al. Real-Time Databases , 1995 .
[38] Andrea H. Skarra. Localized correctness specifications for cooperating transactions in an object-oriented database , 1991 .
[39] Panos K. Chrysanthis,et al. A Formalism for Extended Transaction Model , 1991, VLDB.
[40] Lui Sha. Modular concurrency control and failure recovery--consistency, correctness and optimality (transaction, database, distributed, operating systems) , 1985 .
[41] Ahmed K. Elmagarmid,et al. Transaction Models for Advanced Database Applications , 1991 .
[42] Sandra Heiler,et al. Distributed Object Management , 1992, Int. J. Cooperative Inf. Syst..
[43] K. Ramamritham,et al. A Formalism for Extended Transaction Models , 1998 .
[44] Won Kim,et al. On Long-Duration CAD Transactions , 1989, Inf. Sci..
[45] Maurice Herlihy,et al. Axioms for concurrent objects , 1987, POPL '87.
[46] Hector Garcia-Molina,et al. Modeling long-running activities as nested sagas , 1991 .
[47] Abraham Silberschatz,et al. Triggered Real-Time Databases with Consistency Constraints , 1990, VLDB.
[48] Maurice Herlihy,et al. Hybrid Concurrency Control for Abstract Data Types , 1991, J. Comput. Syst. Sci..
[49] Rajeev Rastogi,et al. Non-serializable executions in heterogeneous distributed database systems , 1991, [1991] Proceedings of the First International Conference on Parallel and Distributed Information Systems.