English
Related papers

Related papers: Minimal-Change Integrity Maintenance Using Tuple D…

200 papers

For several reasons a database may not satisfy a given set of integrity constraints(ICs), but most likely most of the information in it is still consistent with those ICs; and could be retrieved when queries are answered. Consistent answers…

Databases · Computer Science 2007-05-23 Loreto Bravo , Leopoldo Bertossi

Matching dependencies (MDs) were introduced to specify the identification or matching of certain attribute values in pairs of database tuples when some similarity conditions are satisfied. Their enforcement can be seen as a natural…

Databases · Computer Science 2010-08-30 Jaffer Gardezi , Leopoldo Bertossi , Iluju Kiringa

Consistent query answering is the problem of computing the answers from a database that are consistent with respect to certain integrity constraints that the database as a whole may fail to satisfy. Those answers are characterized as those…

Databases · Computer Science 2007-05-23 L. Bertossi , L. Bravo , E. Franconi , A. Lopatenko

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

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

We investigate the complexity of computing an optimal repair of an inconsistent database, in the case where integrity constraints are Functional Dependencies (FDs). We focus on two types of repairs: an optimal subset repair (optimal…

Databases · Computer Science 2017-12-22 Ester Livshits , Benny Kimelfeld , Sudeepa Roy

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 query evaluation problem for fixed queries over fully dynamic databases where tuples can be inserted or deleted. The task is to design a dynamic data structure that can immediately report the new result of a fixed query…

Databases · Computer Science 2017-09-29 Christoph Berkholz , Jens Keppeler , Nicole Schweikardt

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

Matching Dependencies (MDs) are a relatively recent proposal for declarative entity resolution. They are rules that specify, on the basis of similarities satisfied by values in a database, what values should be considered duplicates, and…

Databases · Computer Science 2014-04-08 Leopoldo Bertossi , Jaffer Gardezi

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

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 investigate connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases, and…

Databases · Computer Science 2014-12-16 Babak Salimi , Leopoldo Bertossi

Datasets often contain values that naturally reside in a metric space: numbers, strings, geographical locations, machine-learned embeddings in a Euclidean space, and so on. We study the computational complexity of repairing inconsistent…

Databases · Computer Science 2024-09-26 Youri Kaminsky , Benny Kimelfeld , Ester Livshits , Felix Naumann , David Wajc

In this work we establish and investigate connections between causes for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new research areas in databases,…

Databases · Computer Science 2016-10-25 Leopoldo Bertossi , Babak Salimi

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

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

Databases · Computer Science 2016-02-23 Babak Salimi , Leopoldo Bertossi

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

Time complexity in rewriting is naturally understood as the number of steps needed to reduce terms to normal forms. Establishing complexity bounds to this measure is a well-known problem in the rewriting community. A vast majority of…

Logic in Computer Science · Computer Science 2023-03-24 Liye Guo , Deivid Vale

We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition monitoring can be classified as…

Databases · Computer Science 2007-05-23 Ernest Teniente , Toni Urpi