Disjunctive databases for representing repairs

DOI10.1007/S10472-009-9159-0zbMATH Open1196.68074arXiv0811.2117OpenAlexW2051867327WikidataQ62047431 ScholiaQ62047431MaRDI QIDQ987484FDOQ987484

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)

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.

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

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

zbMATH Keywords

inconsistent databasesrepairsincomplete databasesdisjunctive databases

Mathematics Subject Classification ID

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

Cites Work

• Minimal-change integrity maintenance using tuple deletions
• Answer sets for consistent query answering in inconsistent databases
• Title not available (Why is that?)
• Distance semantics for database repair
• Title not available (Why is that?)
• Complexity tailored design: a new design methodology for databases with incomplete information.

Cited In (9)

• Database repair via event-condition-action rules in dynamic logic
• Database repairs and analytic tableaux
• Title not available (Why is that?)
• Quasi-classical reasoning in paraconsistent databases
• On measuring inconsistency in definite and indefinite databases with denial constraints
• Computational methods for database repair by signed formulae
• Distance-Based Repairs of Databases
• Foundations of Information and Knowledge Systems
• Title not available (Why is that?)

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)