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

03/29/2019
by   Jef Wijsen, et al.
0

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

page 1

page 2

page 3

page 4

research
10/11/2022

Formalizing May's Theorem

This report presents a formalization of May's theorem in the proof assis...
research
11/15/2022

A Probabilistic Proof of the nCPA to CCA Bound

We provide a new proof of Maurer, Renard, and Pietzak's bound of the CCA...
research
11/27/2018

Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem

Many problems in computer algebra and numerical analysis can be reduced ...
research
07/07/2020

An Embellished Account of Agafonov's Proof of Agafonov's Theorem

We give an account of Agafonov's original proof of his eponymous theorem...
research
07/31/2019

Deduction Theorem: The Problematic Nature of Common Practice in Game Theory

We consider the Deduction Theorem that is used in the literature of game...
research
09/26/2021

Optimal Simulation of Quantum Measurements via the Likelihood POVMs

We provide a new and simplified proof of Winter's measurement compressio...
research
10/31/2021

Gács-Kučera's Theorem Revisited by Levin

Leonid Levin (arxiv.org/abs/cs/0503039v14, p.7) published a new (and ver...

Please sign up or login with your details

Forgot password? Click here to reset