A logic-based framework for database repairs

Nicolas Fröhlich, Arne Meier, Nina Pardal +1

We introduce a general abstract framework for database repairs, where the repair notions are defined using formal logic. We distinguish between integrity constraints and so-called…