Title: Database repairing and consistent query answering
Description: Integrity constraints are semantic conditions that a database should satisfy in order to be an appropriate model of external reality. In practice, and for many reasons, a database may not satisfy those integrity constraints, and for that reason it is said to be inconsistent. However, and most likely a large portion of the database is still semantically correct, in a sense that has to be made precise. After having provided a formal characterization of consistent data in an inconsistent database, the natural problem emerges of extracting that semantically correct data, as query answers.
Subjects: Querying (Computer science), Database management, Maintenance and repair, Databases, Computer science, First-order logic, Predicate (logic), Predicate (Logic)