Title: Computational methods for database repair by signed formulae
Authors: Arieli, Ofer ×
Denecker, Marc
Van Nuffelen, Bert
Bruynooghe, Maurice #
Issue Date: Feb-2006
Publisher: Springer
Series Title: Annals of mathematics and artificial intelligence vol:46 issue:1-2 pages:4-37
Abstract: We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i.e., to describe the possible ways of restoring its consistency. We do so by what we call signed formulae, and show how the 'signed theory' that is obtained can be used by a variety of off-the-shelf computational models in order to compute the corresponding solutions, i.e., consistent repairs of the database.
ISSN: 1012-2443
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
41949.pdf Published 351KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science