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.
database repair, constraints, inconsistency
Publication language:russian, pages:31
Mathematical modelling in actual problems of science and technics