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.

该CAP定理表明无法同时确保（强）一致性，可用性和分区容忍度。因果一致性是可用于确保分布式系统中的可用性和分区容限的弱一致性模型之一。在这项工作中，我们提出了一种工具，用于自动检查分布式/并行系统执行与因果一致性模型的一致性。我们的方法包括减少检查执行是否与解决数据记录查询因果一致的问题。减少的依据是，在这些执行中发生的操作之间适当定义的关系中，由于存在循环而违反了因果一致性的执行的完整特征。我们已经减少了针对分布式数据库的测试工具，