Disjunctive databases for representing repairs

DOI10.1007/S10472-009-9159-0MaRDI QIDQ987484zbMATH OpenOpenAlexWikidataFDO

Authors Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski

Publication date 13 August 2010

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0811.2117

zbMATH Keywords

disjunctive databasesincomplete databasesinconsistent databasesrepairs

Mathematics Subject Classification ID

Database theory (68P15) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Abstract: This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constraints is considered. We show that, given a database and a set of denial constraints, there exists a (unique) disjunctive database, called canonical, which represents the repairs of the database w.r.t. the constraints and is contained in any other disjunctive database with the same set of minimal models. We propose an algorithm for computing the canonical disjunctive database. Finally, we study the size of the canonical disjunctive database in the presence of functional dependencies for both repairs and cardinality-based repairs.

Recommendations

• On the data complexity of consistent query answering
• Foundations of Information and Knowledge Systems
• Advances in Databases and Information Systems
• Counting and enumerating preferred database repairs
• Measuring and computing database inconsistency via repairs

Cites work

• Answer sets for consistent query answering in inconsistent databases
• Complexity tailored design: a new design methodology for databases with incomplete information.
• Distance semantics for database repair
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 1926616 (Why is no real title available?)
• Minimal-change integrity maintenance using tuple deletions

Cited in

(13)

• Database repairs and analytic tableaux
• Quasi-classical reasoning in paraconsistent databases
• An incremental algorithm for computing all repairs in inconsistent knowledge bases
• Database repair via event-condition-action rules in dynamic logic
• Counting and enumerating preferred database repairs
• From causes for database queries to repairs and model-based diagnosis and back
• Computational methods for database repair by signed formulae
• Detecting ambiguity in prioritized database repairing
• Distance-Based Repairs of Databases
• scientific article; zbMATH DE number 1953144 (Why is no real title available?)
• scientific article; zbMATH DE number 2080021 (Why is no real title available?)
• Foundations of Information and Knowledge Systems
• On measuring inconsistency in definite and indefinite databases with denial constraints

This page was built for publication: Disjunctive databases for representing repairs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987484)