Database repairs for a class of constraints

E. E. Trifonova


Abstract: We consider the use of formal logic for eliminating inconsistencies in database content. We define a class of formulas in predicate calculus that allows expressing constraints defined in SQL for real databases. We consider different constructions of database repairs depending on the structure of formulas from this class.

Keywords: database repair, constraints, inconsistency.

DOI: 10.20948/prepr-2018-201

Bibliographic databases:

•