article

Free access

Consistency and correctness of duplicate database systems

Author:

Clarence A. EllisAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 11, Issue 5

Pages 67 - 84

https://doi.org/10.1145/1067625.806548

Published: 01 November 1977 Publication History

Abstract

Solutions to the duplicate database update problem are considered, and a formal validation technique using the theory of L systems is developed and applied to the problem. The paper shows some particular solutions but is primarily concerned with general properties of the problem, convenient representational techniques, and formal proof procedures which are general enough to apply to this and to a number of other problems in parallel processing and synchronization.

References

[1]

Alsberg, P., and Day, J. "A Principle for Resilient Sharing of Distributed Resources", Proceedings of the Second International Conference on Software Engineering, October, 1976.]]

Digital Library

[2]

Bernstein, P., "Redundant Update Methodology of SDD-1" Informal talk presented at the Lake Arrowhead Workshop on Distributed Databases, September, 1977.]]

[3]

Casey, R.C., "Allocation of Copies of a File in an Information Network", AFIPS Conference Proceedings, vol. 40, pp. 617-625, 1972.]]

[4]

Chamberlin, Boyce, and Traigner, "A Deadlock Free Schema for Resource Locking in a Database Environment", IFIPS Conference, 1974.]]

[5]

Chandler, W.J., "Interference between Communicating Parallel Processes", CACM 15, 6 (1972).]]

Digital Library

[6]

Chandra, A.N., Howe, W.C., and Karp, D.P., "Deadlock on Loosely Coupled Computing Facilities", IBM Report, Nov. 1971.]]

[7]

Chu, W.W., "Optimal File Allocation in a Computer Network" in Computer-Communications Networks, Abramson, N. and Kuo, F. (Eds.), Prentice-Hall, Englewood Cliffs, N.J., 1973.]]

[8]

Coffman, E., Elphick, M., and Shoshani, A., "System Deadlocks", Computing Surveys, 3, 2.]]

Digital Library

[9]

Ellis, C.A., "A Robust Algorithm for Updating Duplicate Databases", Proceedings of the 2nd Berkeley Conference on Distributed Data and Computer Networks, May, 1977.]]

[10]

Eswaran, Gray, Lorie, and Traiger, "The Notion of Consistency and Predicate Locks in a Database System", CACM 19,11 (1976).]]

Digital Library

[11]

Forsdick, H.C., "A Comparison of Two Schemes that Control Multiple Updating of Data Bases", MIT, May 1975.]]

[12]

Grapa, E. Characterization of a Distributed Database System, Ph.D. Dissertation, Univ. of Illinois, 1976.]]

Digital Library

[13]

Habermann, A.N., "Synchronization of Communicating Processes", CACM, 15, 13 (1972).]]

Digital Library

[14]

Holler, E., "Files in Computer Networks", in Proceedings of IRIA Conference on Networks, Springer-Verlag, 1975.]]

[15]

Kanodia, R. and Reed, D. "Eventcounts, A Distributed Synchronization Mechanism", MIT Report, Jan. 1976.]]

[16]

Keller, R.M., "Formal Verification of Parallel Programs", CACM 19, 7 (July, 1976).]]

Digital Library

[17]

Lamport, L., "Comments on Duplicate Databases", Massachusetts Computer Associates Report.]]

[18]

Lamport, L. "The Implementation of Reliable Distributed Multiprocess Systems" Massachusetts Computer Associates, Inc., report CA-7705-1911, May, 1977.]]

[19]

Lampson, B. and Sturgis, H. "Crash Recovery in a Distributed Data Storage System" To appear.]]

[20]

Lampson, B. and Sturgis, H. "Design of a Distributed File System", Xerox Palo Alto Research Center Report, February 1976.]]

[21]

Lindenmayer, A. and Rozenberg, G. "Developmental Systems and Languages", 4th ACM Theory of Computing Symposium, 1972.]]

Digital Library

[22]

Metcalfe, R.M. and Boggs, D.R., "Ethernet: Distributed Packet Switching for Local Computer Networks", CACM 19, 7. (1976)]]

Digital Library

[23]

Mullery, A.P., "The Distributed Control of Multiple Copies of Data", IBM Report RC 3642, Dec. 1971.]]

[24]

Nutt, G.J., The Formulation and Application of Evaluation Nets, Ph.D. Dissertation, Univ. of Washington, 1972.]]

Digital Library

[25]

Nutt, G.J., Evaluation Nets for Computer Performance Analysis, Proc. of FJCC, 1972.]]

[26]

Rothnie, J.B. and Goodman,N., "An Approach to Updating in a Redundant Distributed Data Base Environment" Computer Corporation of America Report CCA-77-01, February, 1977.]]

[27]

Rozenberg, G., L Systems, Springer-Verlag, New York, N.Y., 1974.]]

[28]

Salomaa, A., Formal Languages, Academic Press, N.Y., 1973.]]

Digital Library

[29]

Stonebraker, M. and Neuhold, E., "A Distributed Database Version of INGRES" Proceedings of the Second Berkeley Workshop on Distributed Data Management and Computer Networks, May, 1977.]]

[30]

Thomas,R. and Johnson, P., "The Maintenance of Duplicate Databases", Network working group RFC 677 working paper, Jan. 1975.]]

Digital Library

[31]

Thomas,R. "A Majority Concensus Approach to the Synchronization Problem", unpublished working paper.]]

Cited By

(2019)ReferencesConcurrency10.1145/3335772.3335940(319-333)Online publication date: 4-Oct-2019
https://dl.acm.org/doi/10.1145/3335772.3335940
Dongol BHierons RKoskinen EGrohe MShankar N(2016)Decidability and Complexity for Quiescent ConsistencyProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/2933575.2933576(116-125)Online publication date: 5-Jul-2016
https://dl.acm.org/doi/10.1145/2933575.2933576
Cohen D(2013) Database Systems : Implementation of a Distributed Database Management System to Support Logical Subnetworks Bell System Technical Journal10.1002/j.1538-7305.1982.tb03435.x61:9(2459-2474)Online publication date: 29-Jul-2013
https://doi.org/10.1002/j.1538-7305.1982.tb03435.x
Show More Cited By

Index Terms

Consistency and correctness of duplicate database systems

Recommendations

Consistency and correctness of duplicate database systems
SOSP '77: Proceedings of the sixth ACM symposium on Operating systems principles

Solutions to the duplicate database update problem are considered, and a formal validation technique using the theory of L systems is developed and applied to the problem. The paper shows some particular solutions but is primarily concerned with general ...
Database Systems: A Practical Approach to Design, Implementation and Management
Partition consistency

This paper provides a case study of specifying an abstract memory consistency model, providing possible implementations for the model, and proving the correctness of implementations. Specifically, we introduce a class of memory consistency models called ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 11, Issue 5

November 1977

175 pages

ISSN:0163-5980

DOI:10.1145/1067625

Issue’s Table of Contents

SOSP '77: Proceedings of the sixth ACM symposium on Operating systems principles
November 1977
180 pages
ISBN:9781450378673
DOI:10.1145/800214
Chairmen:
Saul Rosen,
Peter J. Denning

Copyright © 1977 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1977

Published in SIGOPS Volume 11, Issue 5

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

54
Total Citations
View Citations
590
Total Downloads

Downloads (Last 12 months)90
Downloads (Last 6 weeks)23

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

(2019)ReferencesConcurrency10.1145/3335772.3335940(319-333)Online publication date: 4-Oct-2019
https://dl.acm.org/doi/10.1145/3335772.3335940
Dongol BHierons RKoskinen EGrohe MShankar N(2016)Decidability and Complexity for Quiescent ConsistencyProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/2933575.2933576(116-125)Online publication date: 5-Jul-2016
https://dl.acm.org/doi/10.1145/2933575.2933576
Cohen D(2013) Database Systems : Implementation of a Distributed Database Management System to Support Logical Subnetworks Bell System Technical Journal10.1002/j.1538-7305.1982.tb03435.x61:9(2459-2474)Online publication date: 29-Jul-2013
https://doi.org/10.1002/j.1538-7305.1982.tb03435.x
Breitbart YKorth HSilberschatz A(2009)An Optimistic Concurrency Control Protocol for Replicated DatabasesFundamental Problems in Computing10.1007/978-1-4020-9688-4_12(327-351)Online publication date: 2009
https://doi.org/10.1007/978-1-4020-9688-4_12
Pâris J(2005)Efficient voting protocols with witnessesICDT '9010.1007/3-540-53507-1_85(305-317)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-53507-1_85
Pâris J(2005)Efficient management of replicated dataICDT '8810.1007/3-540-50171-1_26(396-409)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-50171-1_26
Breitbart YKorth H(1999)Replication and Consistency in a Distributed EnvironmentJournal of Computer and System Sciences10.1006/jcss.1999.163959:1(29-69)Online publication date: 1-Aug-1999
https://dl.acm.org/doi/10.1006/jcss.1999.1639
Breitbart YKorth HMendelzon AÖzsoyoglu Z(1997)Replication and consistencyProceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems10.1145/263661.263681(173-184)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/263661.263681
Paris J(1994)An Available Copy Protocol Tolerating Network PartitionsProceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications10.1109/PCCC.1994.504096(77)Online publication date: 1994
https://doi.org/10.1109/PCCC.1994.504096
Paris JSloope P(1992)Dynamic management of highly replicated data[1992] Proceedings 11th Symposium on Reliable Distributed Systems10.1109/RELDIS.1992.235146(20-27)Online publication date: 1992
https://doi.org/10.1109/RELDIS.1992.235146
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents