Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"
The helping Lemma 7 in [Maslowski and Wijsen, ICDT, 2014] is false. The lemma is used in (and only in) the proof of Theorem 3 of that same paper. In this corrigendum, we provide a new proof for the latter theorem.
READ FULL TEXT