Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-08T00:12:42.198Z Has data issue: false hasContentIssue false

Answer sets for consistent query answering ininconsistent databases

Published online by Cambridge University Press:  31 July 2003

MARCELO ARENAS
Affiliation:
Pontificia Universidad Catolica de Chile, Departamento de Ciencia de Computacion, Santiago, Chile (e-mail: marenas@ing.puc.cl) Current address: University of Toronto, Department of Computer Science, Toronto, Canada. E-mail: marenas@cs.toronto.edu.
LEOPOLDO BERTOSSI
Affiliation:
School of Computer Science, Carleton University, Ottawa, Canada (e-mail: bertossi@scs.carleton.ca)
JAN CHOMICKI
Affiliation:
Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, NY, USA (e-mail: chomicki@cse.buffalo.edu)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

A relational database is inconsistent if it does notsatisfy a given set of integrity constraints. Nevertheless, it islikely that most of the data in it is consistent with theconstraints. In this paper we apply logic programming based onanswer sets to the problem of retrieving consistent information froma possibly inconsistent database. Since consistent informationpersists from the original database to every of its minimal repairs,the approach is based on a specification of database repairs usingdisjunctive logic programs with exceptions,whose answer set semantics can be represented and computed bysystems that implement stable model semantics. These programs allowus to declare persistence by default of data from the originalinstance to the repairs; and changes to restore consistency, byexceptions. We concentrate mainly on logic programs for binaryintegrity constraints, among which we find most of the integrityconstraints found in practice.

Information

Type
Regular Papers
Copyright
© 2003 Cambridge University Press