Checking causal consistency of distributed databases

TitreChecking causal consistency of distributed databases
Publication TypeJournal Article
Year of Publication2022
AuthorsZennou, R, Biswas, R, Bouajjani, A, Enea, C, Erradi, M
Mots-clésConsistency model, Distributed database, Distributed database systems, Distributed systems, Efficiency of the suggested approaches, Intelligent databases, Partition tolerances, Real case, Testing tools, Weak consistency

The CAP Theorem shows that (strong) consistency, availability, and partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency models that can be implemented to ensure availability and partition tolerance in distributed systems. In this work, we propose a tool to check automatically the conformance of distributed/concurrent systems executions to causal consistency models. Our approach consists in reducing the problem of checking if an execution is causally consistent to solving datalog queries. The reduction is based on complete characterizations of the executions violating causal consistency in terms of the existence of cycles in suitably defined relations between the operations occurring in these executions. We have implemented the reduction in a testing tool for distributed databases, and carried out several experiments on real case studies, showing the efficiency of the suggested approach. © 2021, The Author(s), under exclusive licence to Springer-Verlag GmbH, AT part of Springer Nature.




Suivez-nous sur





Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 /

        Résidences : 06 61 82 89 77



    Compteur de visiteurs:483,470
    Education - This is a contributing Drupal Theme
    Design by WeebPal.