Recovery semantics for a DB/DC system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Recovery semantics for a DB/DC system

Full text

Pdf (471 KB)

Source

ACM Annual Conference/Annual Meeting archive
Proceedings of the annual conference table of contents

Atlanta, Georgia, United States

Pages: 136 - 141

Year of Publication: 1973

Author

Charles T. Davies, Jr.

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 15, Citation Count: 30

Additional Information:

abstract references cited by index terms

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/800192.805694 What is a DOI?

ABSTRACT

Presented is a unified, systematic view of integrity/recovery as it relates to a data-processing system—whether man, machine, or both. The concept, sphere of control (SOC), as a bound around a process, is developed to permit describing and solving many of the rather aggravating problems of auditability, repeatability, reproducibility, scheduling, consistency, recovery and general integrity. Identified are the relationships among resources and SOCs, the types of resource status which must be maintained, and the effects that dependency versus commitment has on process scheduling and recovery strategy. Virtually ignored are the problems of lost storage for which redundancy is a solution, mainly because information already exists in this realm.

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	The Semantics of the Preservation and Recovery of Integrity in a Data System, L.A. Bjork and C.T. Davies, Jr., IBM Technical Report TR 02.540, Dec. 1972.
	2	A Recovery/Integrity Architecture for a Data System, C.T. Davies, Jr., IBM Technical Report TR 02. 528, May 1972.
	3	Lawrence A. Bjork, Recovery scenario for a DB/DC system, Proceedings of the annual conference, p.142-146, August 27-29, 1973, Atlanta, Georgia, United States [doi>10.1145/800192.805695]

CITED BY 30

	Gerhard Weikum, Principles and realization strategies of multilevel transaction management, ACM Transactions on Database Systems (TODS), v.16 n.1, p.132-180, March 1991
	Lawrence A. Bjork, Recovery scenario for a DB/DC system, Proceedings of the annual conference, p.142-146, August 27-29, 1973, Atlanta, Georgia, United States
	A. Fekete , N. Lynch , M. Merrit , W. Weihl, Nested transactions and read-write locking, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.97-111, March 23-25, 1987, San Diego, California, United States
	J. E. Allchin , M. S. McKendry, Synchronization and recovery of actions, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.31-44, August 17-19, 1983, Montreal, Quebec, Canada
	Daniel J. Rosenkrantz , Richard E. Stearns , Philip M. Lewis, II, System level concurrency control for distributed database systems, ACM Transactions on Database Systems (TODS), v.3 n.2, p.178-198, June 1978
	Hector Garcia-Molina, Using semantic knowledge for transaction processing in a distributed database, ACM Transactions on Database Systems (TODS), v.8 n.2, p.186-213, June 1983
	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
	William Weihl , Barbara Liskov, Specification and implementation of resilient, atomic data types, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.53-64, June 27-29, 1983, San Francisco, California, United States
	Jim Gray , Paul McJones , Mike Blasgen , Bruce Lindsay , Raymond Lorie , Tom Price , Franco Putzolu , Irving Traiger, The Recovery Manager of the System R Database Manager, ACM Computing Surveys (CSUR), v.13 n.2, p.223-242, June 1981
	William E. Weihl, Data-dependent concurrency control and recovery (Extended Abstract), Proceedings of the second annual ACM symposium on Principles of distributed computing, p.63-75, August 17-19, 1983, Montreal, Quebec, Canada
	Brian M. Oki , Barbara H. Liskov , Robert W. Scheifler, Reliable object storage to support atomic actions, ACM SIGOPS Operating Systems Review, v.19 n.5, p.147-159, Dec. 1-4, 1985
	B. Randell, System structure for software fault tolerance, ACM SIGPLAN Notices, v.10 n.6, p.437-449, June 1975
	David P. Reed, Implementing atomic actions on decentralized data, ACM Transactions on Computer Systems (TOCS), v.1 n.1, p.3-23, Feb. 1983
	William E. Weihl, Linguistic support for atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.2, p.178-202, April 1990
	William Weihl , Barbara Liskov, Implementation of resilient, atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.244-269, April 1985
	Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983
	Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico
	William E. Weihl, Data-dependent concurrency control and recovery, ACM SIGOPS Operating Systems Review, v.19 n.1, p.19-31, January 1985
	Theo Haerder , Kurt Rothermel, Concepts for transaction recovery in nested transactions, ACM SIGMOD Record, v.16 n.3, p.239-248, Dec. 1987
	Naser S. Barghouti , Gail E. Kaiser, Concurrency control in advanced database applications, ACM Computing Surveys (CSUR), v.23 n.3, p.269-317, Sept. 1991
	W. E. Weihl, Local atomicity properties: modular concurrency control for abstract data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.2, p.249-282, April 1989
	Rob Strom , Shaula Yemini, Optimistic recovery in distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.3, p.204-226, Aug. 1985
	J. McDermott , A. Kim , J. Froscher, Merging paradigms of survivability and security: stochastic faults and designed faults, Proceedings of the 2003 workshop on New security paradigms, August 18-21, 2003, Ascona, Switzerland
	Steven P. Ketchpel , Hector Garcia-Molina, A sound and complete algorithm for distributed commerce transactions, Distributed Computing, v.12 n.1, p.13-29, March 1999
	J. E. Allchin , M. S. McKendry, Synchronization and recovery of actions, ACM SIGOPS Operating Systems Review, v.19 n.1, p.32-45, January 1985
	Theo Haerder , Andreas Reuter, Principles of transaction-oriented database recovery, ACM Computing Surveys (CSUR), v.15 n.4, p.287-317, December 1983
	Kunal Agrawal , Charles E. Leiserson , Jim Sukha, Memory models for open-nested transactions, Proceedings of the 2006 workshop on Memory system performance and correctness, October 22-22, 2006, San Jose, California
	Bernd Walter, Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications, Proceedings of the 10th International Conference on Very Large Data Bases, p.161-171, August 27-31, 1984
	Henry F. Korth, The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept, Proceedings of the 21th International Conference on Very Large Data Bases, p.2-6, September 11-15, 1995
	Robert Schaefer, Debugging debugged, a metaphysical manifesto of systems integration, ACM SIGSOFT Software Engineering Notes, v.33 n.3, May 2008