We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Correctness Conditions for Highly Available Replicated Databases

Thumbnail Image
Download
Name

MIT-LCS-TR-364.pdf

Size

1.98 MB

Format

Adobe PDF

Checksum (MD5)

dc49c52cd19f58951ac5bedd6293ec71

Author(s)
Lynch, Nancy A.
•
Blaustein, Barbara
•
Siegel, Michael
Date Issued
June 1986
Series/Report no.
MIT-LCS-TR-364
Abstract
Correctness conditions are given which describe some of the properties exhibited by highly available distributed database systems such as the SHARD (System for Highly Available Replicated Data) system currently being developed at Computer Corporation of America. This system allows a database application to continue operation in the face of communication failures, including network partitions.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.