Ensuring referential integrity under causal consistency - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Ensuring referential integrity under causal consistency

Marc Shapiro
Annette Bieniusa
  • Function : Author
  • PersonId : 946508
Peter Zeller
  • Function : Author
  • PersonId : 993606
Gustavo Petri


Referential integrity (RI) is an important correctness property of a shared, distributed object storage system. It is sometimes thought that enforcing RI requires a strong form of consistency. In this paper, we argue that causal consistency suffices to maintain RI. We support this argument with pseudocode for a reference CRDT data type that maintains RI under causal consistency. QuickCheck has not found any errors in the model.
Fichier principal
Vignette du fichier
final-2018-03-08.pdf (416.08 Ko) Télécharger le fichier

Dates and versions

hal-01727207 , version 1 (09-03-2018)



Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri. Ensuring referential integrity under causal consistency. PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal. ⟨hal-01727207⟩
159 View
116 Download



Gmail Facebook X LinkedIn More