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

inconsistent databasesrepairsincomplete databasesdisjunctive databases

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 1926616 (Why is no real title available?)
• 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
• Minimal-change integrity maintenance using tuple deletions

Cited in

(13)

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

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)