Database repairs for a class of constraints

Trifonova E.E.

Abstract:

We consider the use of formal logic for eliminating inconsistencies in database content. We deﬁne a class of formulas in predicate calculus that allows expressing constraints deﬁned 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

Publication language: russian, pages: 31

Research direction:

Mathematical modelling in actual problems of science and technics

Russian source text:

List of publications citation:

Export link to publication in format:

View statistics (updated once a day)
over the last 30 days — 3 (-2), total hit from 01.09.2019 — 191

About authors:

Trifonova Ekaterina Evgen’evna, , ,