Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
暂无分享,去创建一个
[1] F KorthHenry,et al. Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model , 1994 .
[2] Panos K. Chrysanthis,et al. Synthesis of extended transaction models using ACTA , 1994, TODS.
[3] M. Tamer Özsu,et al. Using semantic knowledge of transactions to increase concurrency , 1989, TODS.
[4] Henry F. Korth,et al. Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model , 1994, TODS.
[5] Lui Sha,et al. Modular Concurrency Control and Failure Recovery , 1988, IEEE Trans. Computers.
[6] Nancy A. Lynch,et al. Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.
[7] Weimin Du,et al. Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase , 1989, VLDB.
[8] Jane Sinclair,et al. Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.
[9] Henry F. Korth,et al. Formal model of correctness without serializabilty , 1988, SIGMOD '88.
[10] Patrick Valduriez,et al. Simple rational guidance for chopping up transactions , 1992, SIGMOD '92.
[11] William E. Weihl,et al. Commutativity-based concurrency control for abstract data types , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.
[12] Hector Garcia-Molina,et al. Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.
[13] Sushil Jajodia,et al. Mutual consistency in decentralized distributed systems , 1987, 1987 IEEE Third International Conference on Data Engineering.
[14] B. R. Badrinath,et al. Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.
[15] Maurice Herlihy. Extending Multiversion Time-Stamping Protocols to Exploit Type Information , 1987, IEEE Transactions on Computers.
[16] Butler W. Lampson,et al. Atomic Transactions , 1980, Advanced Course: Distributed Systems.
[17] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[18] Andreas Reuter,et al. The ConTract Model , 1991, Database Transaction Models for Advanced Applications.
[19] William E. Weihl,et al. SPECIFICATION AND IMPLEMENTATION OF ATOMIC DATA TYPES , 1984 .
[20] 永田 守男,et al. Verifying Properties of Parallel Programs : An Axiomatic Approach , 1976 .
[21] Ambuj K. Singh,et al. Consistency and orderability: semantics-based correctness criteria for databases , 1993, TODS.
[22] Maurice Herlihy,et al. Hybrid Concurrency Control for Abstract Data Types , 1991, J. Comput. Syst. Sci..