Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"
Jef Wijsen
所有作者
Jef Wijsen
文献摘要
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.