English
Related papers

Related papers: Consistent query answers on numerical databases un…

200 papers

We investigate the notion of sufficient explanation, and a sufficiency-degree as attribution score for database tuples in relation to query answering. We also investigate and exploit connections with database repairs as used for dealing…

Databases · Computer Science 2026-05-18 Leopoldo Bertossi , Nina Pardal

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

A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that…

Databases · Computer Science 2020-09-30 Leopoldo Bertossi

Consider the situation where a query is to be answered using Web sources that restrict the accesses that can be made on backend relational data by requiring some attributes to be given as input of the service. The accesses provide lookups…

Databases · Computer Science 2015-03-19 Michael Benedikt , Georg Gottlob , Pierre Senellart

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we…

Databases · Computer Science 2023-12-14 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

The problem of recovering (count and sum) range queries over multidimensional data only on the basis of aggregate information on such data is addressed. This problem can be formalized as follows. Suppose that a transformation T producing a…

Databases · Computer Science 2007-05-23 Francesco Buccafurri , Filippo Furfaro , Domenico Sacca'

In this paper we study the problem of reducing the evaluation costs of queries on finite databases in presence of integrity constraints, by designing and materializing views. Given a database schema, a set of queries defined on the schema,…

Databases · Computer Science 2007-05-23 Rada Chirkova , Michael R. Genesereth

Causality has been recently introduced in databases, to model, characterize, and possibly compute causes for query answers. Connections between QA-causality and consistency-based diagnosis and database repairs (wrt. integrity constraint…

Databases · Computer Science 2017-08-01 Leopoldo Bertossi , Babak Salimi

Causality has been recently introduced in databases, to model, characterize and possibly compute causes for query results (answers). Connections between query causality and consistency-based diagnosis and database repairs (wrt. integrity…

Databases · Computer Science 2015-09-22 Babak Salimi , Leopoldo Bertossi

We study the complexity of consistent query answering on databases that may violate primary key constraints. A repair of such a database is any consistent database that can be obtained by deleting a minimal set of tuples. For every Boolean…

Databases · Computer Science 2018-10-09 Paraschos Koutris , Jef Wijsen

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

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

Many databases on the web are "hidden" behind (i.e., accessible only through) their restrictive, form-like, search interfaces. Recent studies have shown that it is possible to estimate aggregate query answers over such hidden web databases…

Databases · Computer Science 2014-05-02 Weimo Liu , Saravanan Thirumuruganathan , Nan Zhang , Gautam Das

Query containment and query answering are two important computational tasks in databases. While query answering amounts to compute the result of a query over a database, query containment is the problem of checking whether for every…

Databases · Computer Science 2007-05-23 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini

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

Today, data analysts largely rely on intuition to determine whether missing or withheld rows of a dataset significantly affect their analyses. We propose a framework that can produce automatic contingency analysis, i.e., the range of values…

Databases · Computer Science 2020-04-09 Xi Liang , Zechao Shang , Aaron J. Elmore , Sanjay Krishnan , Michael J. Franklin

How should we quantify the inconsistency of a database that violates integrity constraints? Proper measures are important for various tasks, such as progress indication and action prioritization in cleaning systems, and reliability…

Databases · Computer Science 2021-04-02 Ester Livshits , Rina Kochirgan , Segev Tsur , Ihab F. Ilyas , Benny Kimelfeld , Sudeepa Roy

This paper introduces and studies a declarative framework for updating views over indefinite databases. An indefinite database is a database with null values that are represented, following the standard database approach, by a single null…

Databases · Computer Science 2012-05-22 Luciano Caroprese , Irina Trubitsyna , Miroslaw Truszczynski , Ester Zumpano

With distributed computing and mobile applications becoming ever more prevalent, synchronizing diverging replicas of the same data is a common problem. Reconciliation -- bringing two replicas of the same data structure as close as possible…

Information Theory · Computer Science 2022-08-10 Elod P. Csirmaz , Laszlo Csirmaz

In its traditional definition, a repair of an inconsistent database is a consistent database that differs from the inconsistent one in a "minimal way". Often, repairs are not equally legitimate, as it is desired to prefer one over another;…

Databases · Computer Science 2016-03-08 Benny Kimelfeld , Ester Livshits , Liat Peterfreund