English
Related papers

Related papers: Measuring and Computing Database Inconsistency via…

200 papers

Efficient consistency maintenance of incomplete and dynamic real-life databases is a quality label for further data analysis. In prior work, we tackled the generic problem of database updating in the presence of tuple generating constraints…

Databases · Computer Science 2024-05-16 Jacques Chabin , Mirian Halfeld Ferrari , Nicolas Hiot , Dominique Laurent

In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes for query answers from databases.

Databases · Computer Science 2017-06-27 Leopoldo Bertossi

We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic…

Databases · Computer Science 2013-03-14 Sergio Flesca , Filippo Furfaro , Francesco Parisi

We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted…

Databases · Computer Science 2010-09-14 L. Caroprese , M. Truszczynski

Preferences are a pivotal component in practical reasoning, especially in tasks that involve decision-making over different options or courses of action that could be pursued. In this work, we focus on repairing and querying inconsistent…

Databases · Computer Science 2024-05-28 Nina Pardal , Santiago Cifuentes , Edwin Pin , Maria Vanina Martinez , Sergio Abriola

In this paper we consider two points of views to the problem of coherent integration of distributed data. First we give a pure model-theoretic analysis of the possible ways to `repair' a database. We do so by characterizing the…

Logic in Computer Science · Computer Science 2007-05-23 Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe

In this work we establish and point out connections between the notion of query-answer causality in databases and database repairs, model-based diagnosis in its consistency-based and abductive versions, and database updates through views.…

Databases · Computer Science 2014-07-01 Leopoldo Bertossi , Babak Salimi

The formalism of active integrity constraints was introduced as a way to specify particular classes of integrity constraints over relational databases together with preferences on how to repair existing inconsistencies. The rule-based…

Databases · Computer Science 2017-08-09 Luís Cruz-Filipe

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…

Databases · Computer Science 2008-11-14 Cristian Molinaro , Jan Chomicki , Jerzy Marcinkowski

We investigate the application of inconsistency measures to the problem of analysing business rule bases. Due to some intricacies of the domain of business rule bases, a straightforward application is not feasible. We therefore develop some…

Artificial Intelligence · Computer Science 2019-11-21 Carl Corea , Matthias Thimm

We introduce a formalism to couple integrity constraints over general-purpose knowledge bases with actions that can be executed to restore consistency. This formalism generalizes active integrity constraints over databases. In the more…

Databases · Computer Science 2017-08-09 Luís Cruz-Filipe , Graça Gaspar , Isabel Nunes , Peter Schneider-Kamp

Data inconsistency evaluating and repairing are major concerns in data quality management. As the basic computing task, optimal subset repair is not only applied for cost estimation during the progress of database repairing, but also…

Databases · Computer Science 2020-01-14 Dongjing Miao , Zhipeng Cai , Jianzhong Li , Xiangyu Gao , Xianmin Liu

Consistent answers to a query from a possibly inconsistent database are answers that are simultaneously retrieved from every possible repair of the database. Repairs are consistent instances that minimally differ from the original…

Databases · Computer Science 2021-10-20 Leopoldo Bertossi

Database Management Systems (DBMSs) process a given query by creating a query plan, which is subsequently executed, to compute the query's result. Deriving an efficient query plan is challenging, and both academia and industry have invested…

Software Engineering · Computer Science 2024-01-11 Jinsheng Ba , Manuel Rigger

We describe some recent approaches to score-based explanations for query answers in databases. The focus is on work done by the author and collaborators. Special emphasis is placed on the use of counterfactual reasoning for score…

Databases · Computer Science 2023-06-19 Leopoldo Bertossi

A probabilistic database with attribute-level uncertainty consists of relations where cells of some attributes may hold probability distributions rather than deterministic content. Such databases arise, implicitly or explicitly, in the…

Databases · Computer Science 2022-12-26 Amir Gilad , Aviram Imber , Benny Kimelfeld

An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled approach to the semantics of queries posed against inconsistent…

Databases · Computer Science 2019-05-09 Akhil A. Dixit , Phokion G. Kolaitis

Consistent query answering is an inconsistency tolerant approach to obtaining semantically correct answers from a database that may be inconsistent with respect to its integrity constraints. In this work we formalize the notion of…

Databases · Computer Science 2011-06-09 M. Andrea Rodríguez , Leopoldo Bertossi , Monica Caniupan

We consider here the problem of obtaining reliable, consistent information from inconsistent databases -- databases that do not have to satisfy given integrity constraints. We use the notion of consistent query answer -- a query answer…

Databases · Computer Science 2007-05-23 Jan Chomicki , Jerzy Marcinkowski

We investigate the problem of inconsistency measurement on large knowledge bases by considering stream-based inconsistency measurement, i.e., we investigate inconsistency measures that cannot consider a knowledge base as a whole but process…

Artificial Intelligence · Computer Science 2015-05-21 Matthias Thimm