Repair Program

The repair program Π(D, IC) for a database instance D without nulls has the following rules: Program facts: P(¯a) for each atom P(¯a) ∈ D. For a constraint of the form ∀¯x(∀i=1^m Pi(¯xi) → n j=1 Qj(¯yj) ∨ ϕ), the rules:...

Data and Resources

Cite this as

Leopoldo Bertossi (2024). Dataset: Repair Program. https://doi.org/10.57702/ozmuz2qg

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.2108.08423
Author Leopoldo Bertossi