Useless Actions Make a Difference

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Useless Actions Make a Difference: Strict Serializability of Database Updates

Full text

Pdf (503 KB)

Source

Journal of the ACM (JACM) archive
Volume 29 , Issue 2 (April 1982) table of contents

Pages: 394 - 403

Year of Publication: 1982

ISSN:0004-5411

Author

Ravi Sethi

Bell Laboratories, 600 Mountain Avenue, Murray Hill, NJ

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 39, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/322307.322314 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Philip A. Bernstein , David W. Shipman , James B. Rothnie, Jr., Concurrency control in a system for distributed databases (SDD-1), ACM Transactions on Database Systems (TODS), v.5 n.1, p.18-51, March 1980 [doi>10.1145/320128.320131]
	2	BERNSTEIN, P.A., SHIPMAN, D.W, A~rD WONG, W.S.Formal aspects of seriahzabdlty m database concurrency control. IEEE Trans. Softw. Eng. SE-5, 3 (May 1979), 203-216.
	3	Stephen A. Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing, p.151-158, May 03-05, 1971, Shaker Heights, Ohio, United States [doi>10.1145/800157.805047]
	4	K. P. Eswaran , J. N. Gray , R. A. Lorie , I. L. Traiger, The notions of consistency and predicate locks in a database system, Communications of the ACM, v.19 n.11, p.624-633, Nov. 1976 [doi>10.1145/360363.360369]
	5	Jim Gray, A Transaction Model, Proceedings of the 7th Colloquium on Automata, Languages and Programming, p.282-298, July 14-18, 1980
	6	Christos H. Papadimitriou, The serializability of concurrent database updates, Journal of the ACM (JACM), v.26 n.4, p.631-653, Oct. 1979 [doi>10.1145/322154.322158]
	7	SEThi, R. Pebble games for studying storage sharing. To appear in Theor. Comgut. Sci.
	8	SETHI, R. A model of concurrent database transactions. 22nd Ann IEEE Symp on Foundations of Computer Scienc e, Nashville, Tenn., Oct. 1981, pp. 175-184.
	9	Abraham Silberschatz , Zvi Kedem, Consistency in Hierarchical Database Systems, Journal of the ACM (JACM), v.27 n.1, p.72-80, Jan. 1980 [doi>10.1145/322169.322176]
	10	STEARNS, R E., L~wIs, P.M lI, AND ROSENga~A~Z, D.J. Concurrency control for database systems 17th Ann IEEE Syrup. on Foundations of Computer Science, Houston, Texas, Oct. 1976, pp. 19-32.
	11	Mihalis Yannakakis, A Theory of Safe Locking Policies in Database Systems, Journal of the ACM (JACM), v.29 n.3, p.718-740, July 1982 [doi>10.1145/322326.322333]
	12	YAnnaKakis, M. The various notions of correctness m database concurrency control. Unpubhshed manuscript, Bell Laboratories, Murray Hall, N J., Aug. 1980.

CITED BY 5

	Naoki Katoh , Toshihide Ibaraki , Tiko Kameda, Cautious transaction schedulers with admission control, ACM Transactions on Database Systems (TODS), v.10 n.2, p.205-229, June 1985
	Toshihide Ibaraki , Tiko Kameda , Naoki Katoh, Cautious Transaction Schedulers for Database Concurrency Control, IEEE Transactions on Software Engineering, v.14 n.7, p.997-1009, July 1988
	Toshihide Ibaraki , Tiko Kameda , Toshimi Minoura, Serializability with constraints, ACM Transactions on Database Systems (TODS), v.12 n.3, p.429-452, Sept. 1987
	T. Ibaraki , Tiko Kameda , Naoki Katoh, Multiversion Cautious Schedulers for Database Concurrency Control, IEEE Transactions on Software Engineering, v.16 n.3, p.302-315, March 1990
	Pentti A. Honkanen, Concurrency control and integrity preservation for the `RIM' DBMS, ACM SIGMIS Database, v.15 n.3, p.34-39, Spring 1984