English
Related papers

Related papers: Consistent query answers on numerical databases un…

200 papers

We initiate an investigation how the fundamental concept of independence can be represented effectively in the presence of incomplete information in relational databases. The concepts of possible and certain independence are proposed, and…

Databases · Computer Science 2025-10-10 Miika Hannula , Minna Hirvonen , Juha Kontinen , Sebastian Link

We consider the problem of privately answering queries defined on databases which are collections of points belonging to some metric space. We give simple, computationally efficient algorithms for answering distance queries defined over an…

Data Structures and Algorithms · Computer Science 2012-12-03 Zhiyi Huang , Aaron Roth

Estimating the output size of a query is a fundamental yet longstanding problem in database query processing. Traditional cardinality estimators used by database systems can routinely underestimate the true output size by orders of…

Databases · Computer Science 2024-06-07 Mahmoud Abo Khamis , Vasileios Nakos , Dan Olteanu , Dan Suciu

String constraint solving refers to solving combinatorial problems involving constraints over string variables. String solving approaches have become popular over the last years given the massive use of strings in different application…

Artificial Intelligence · Computer Science 2021-07-01 Roberto Amadini

We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We consider three…

Logic in Computer Science · Computer Science 2026-05-01 Meghyn Bienvenu , Camille Bourgaux

The problem of answering queries posed to a peer who is a member of a peer-to-peer data exchange system is studied. The answers have to be consistent wrt to both the local semantic constraints and the data exchange constraints with other…

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

Contention resolution addresses the challenge of coordinating access by multiple processes to a shared resource such as memory, disk storage, or a communication channel. Originally spurred by challenges in database systems and bus networks,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-30 Ioana Banicescu , Trisha Chakraborty , Seth Gilbert , Maxwell Young

XML access control policies involving updates may contain security flaws, here called inconsistencies, in which a forbidden operation may be simulated by performing a sequence of allowed operations. This paper investigates the problem of…

Databases · Computer Science 2007-08-16 Loreto Bravo , James Cheney , Irini Fundulaki

The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes graph to describe a set of shape constraints paired with…

Computational Complexity · Computer Science 2024-08-01 Shqiponja Ahmetaj , Timo Camillo Merkl , Reinhard Pichler

Increasing amounts of available data have led to a heightened need for representing large-scale probabilistic knowledge bases. One approach is to use a probabilistic database, a model with strong assumptions that allow for efficiently…

Artificial Intelligence · Computer Science 2019-04-04 Tal Friedman , Guy Van den Broeck

Exploiting the relationships among data is a classical query optimization technique. As persistent data is increasingly being created and maintained programmatically, prior work that infers data relationships from data statistics misses an…

Databases · Computer Science 2023-01-02 Xiaoxuan Liu , Shuxian Wang , Mengzhu Sun , Sicheng Pan , Ge Li , Siddharth Jha , Cong Yan , Junwen Yang , Shan Lu , Alvin Cheung

A key task in the context of consistent query answering is to count the number of repairs that entail the query, with the ultimate goal being a precise data complexity classification. This has been achieved in the case of primary keys and…

Databases · Computer Science 2024-04-10 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

When combining data from multiple sources, inconsistent data complicates the production of a coherent result. In this paper, we introduce a new type of constraints called edit rules under a partial key (EPKs). These constraints can model…

Databases · Computer Science 2024-03-29 Antoon Bronselaer , Maribel Acosta

To combine and query ordered data from multiple sources, one needs to handle uncertainty about the possible orderings. Examples of such "order-incomplete" data include integrated event sequences such as log entries, lists of properties…

Databases · Computer Science 2018-01-30 Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart

We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggregation, and recent work has suggested to capture provenance…

Databases · Computer Science 2015-03-17 Yael Amsterdamer , Daniel Deutch , Val Tannen

Model-driven software engineering is a suitable method for dealing with the ever-increasing complexity of software development processes. Graphs and graph transformations have proven useful for representing such models and changes to them.…

Software Engineering · Computer Science 2023-07-19 Alexander Lauer

Query equivalence is investigated for disjunctive aggregate queries with negated subgoals, constants and comparisons. A full characterization of equivalence is given for the aggregation functions count, max, sum, prod, toptwo and parity. A…

Databases · Computer Science 2007-05-23 Sara Cohen , Werner Nutt , Yehoshua Sagiv

Increasingly more data is becoming available on the Web, estimates speaking of 1 billion documents in 2002. Most of the documents are Web pages whose data is considered to be in XML format, expecting it to eventually replace HTML. A common…

Databases · Computer Science 2007-05-23 Martin Bernauer

When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph is consistent or inconsistent with respect to a set of…

Software Engineering · Computer Science 2026-03-11 Lars Fritsche , Alexander Lauer , Maximilian Kratz , Andy Schürr , Gabriele Taentzer

We investigate the data exchange from relational databases to RDF graphs inspired by R2RML with the addition of target shape schemas. We study the problems of consistency i.e., checking that every source instance admits a solution, and…

Databases · Computer Science 2020-04-01 Iovka Boneva , Jose Lozano , Sławek Staworko