2000 character limit reached
Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"
Published 29 Mar 2019 in cs.DB | (1903.12469v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.