|
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.
Citation:
E. E. Trifonova, “Database repairs for a class of constraints”, Keldysh Institute preprints, 2018, 201, 31 pp.
Linking options:
https://www.mathnet.ru/eng/ipmp2560 https://www.mathnet.ru/eng/ipmp/y2018/p201
|
Statistics & downloads: |
Abstract page: | 96 | Full-text PDF : | 16 | References: | 15 |
|