Skip to main content Accessibility help
×
Home

Answer sets for consistent query answering in inconsistent databases

  • MARCELO ARENAS (a1) (a2), LEOPOLDO BERTOSSI (a3) and JAN CHOMICKI (a4)

Abstract

A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints. In this paper we apply logic programming based on answer sets to the problem of retrieving consistent information from a possibly inconsistent database. Since consistent information persists from the original database to every of its minimal repairs, the approach is based on a specification of database repairs using disjunctive logic programs with exceptions, whose answer set semantics can be represented and computed by systems that implement stable model semantics. These programs allow us to declare persistence by default of data from the original instance to the repairs; and changes to restore consistency, by exceptions. We concentrate mainly on logic programs for binary integrity constraints, among which we find most of the integrity constraints found in practice.

Copyright

Related content

Powered by UNSILO

Answer sets for consistent query answering in inconsistent databases

  • MARCELO ARENAS (a1) (a2), LEOPOLDO BERTOSSI (a3) and JAN CHOMICKI (a4)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.