KIAM Main page Web Library  •  Publication Searh   

KIAM Preprint  201, Moscow, 2018
Authors: Trifonova E.E.
Database repairs for a class of constraints
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.
database repair, constraints, inconsistency
Publication language: russian,  pages: 31
Research direction:
Mathematical modelling in actual problems of science and technics
Russian source text:
Export link to publication in format:   RIS    BibTeX
View statistics (updated once a day)
over the last 30 days 1 (+0), total hit from 01.09.2019 147
About authors:
  • Trifonova Ekaterina Evgenevna,  KIAM RAS