# Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"

## TL;DR

This paper corrects a false lemma in a previous work on counting database repairs satisfying conjunctive queries with self-joins, providing a new proof for the main theorem.

## Contribution

It offers a corrected proof for a key theorem in database repair counting, addressing an error in prior literature.

## Key findings

- The original lemma was false, affecting the proof of the main theorem.
- A new, valid proof for Theorem 3 is provided.
- Ensures correctness of counting repairs in databases with self-joins.

## Abstract

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.