English
Related papers

Related papers: Counting Answers to Existential Questions

200 papers

We present an approach to computing consistent answers to queries possibly involving an aggregation operator in databases operating under a star schema and possibly containing missing values and inconsistent data. Our approach is based on…

Databases · Computer Science 2026-02-05 Dominique Laurent , Nicolas Spyratos

We prove a complexity dichotomy for the resilience problem for unions of conjunctive digraph queries (i.e., for existential positive sentences over the signature $\{R\}$ of directed graphs). Specifically, for every union $\mu$ of…

Logic · Mathematics 2026-01-12 Manuel Bodirsky , Žaneta Semanišinová

The framework of consistent query answers and repairs has been introduced to alleviate the impact of inconsistent data on the answers to a query. A repair is a minimally different consistent instance and an answer is consistent if it is…

Databases · Computer Science 2009-02-19 Slawomir Staworko , Jan Chomicki

Conjunctive queries are one of the most common class of queries used in database systems, and the best studied in the literature. A seminal result of Grohe, Schwentick, and Segoufin (STOC 2001) demonstrates that for every class $G$ of…

Data Structures and Algorithms · Computer Science 2020-11-23 Marcelo Arenas , Luis Alberto Croquevielle , Rajesh Jayaram , Cristian Riveros

Previous work has demonstrated that categories are useful and expressive models for databases. In the present paper we build on that model, showing that certain queries and constraints correspond to lifting problems, as found in modern…

Category Theory · Mathematics 2019-02-20 David I. Spivak

This paper studies the complexity of query evaluation for databases whose relations are partially ordered; the problem commonly arises when combining or transforming ordered data from multiple sources. We focus on queries in a useful…

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

Conjunctive table algebras are introduced and axiomatically characterized. A conjunctive table algebra is a variant of SPJR algebra (a weaker form of relational algebra), which corresponds to conjunctive queries with equality. The table…

Logic · Mathematics 2024-04-03 Jens Kötters , Stefan E. Schmidt

This paper extends the work of Gottlob, Lee, and Valiant (PODS 2009)[GLV], and considers worst-case bounds for the size of the result Q(D) of a conjunctive query Q to a database D given an arbitrary set of functional dependencies. The…

Databases · Computer Science 2009-12-12 Gregory Valiant , Paul Valiant

Query evaluation over probabilistic databases is notoriously intractable -- not only in combined complexity, but often in data complexity as well. This motivates the study of approximation algorithms, and particularly of combined FPRASes,…

Databases · Computer Science 2025-12-17 Antoine Amarilli , Timothy van Bremen , Octave Gaspard , Kuldeep S. Meel

We investigate determining the exact bounds of the frequencies of conjunctions based on frequent sets. Our scenario is an important special case of some general probabilistic logic problems that are known to be intractable. We show that…

Computational Complexity · Computer Science 2019-02-05 Nikolaj Tatti

A powerful way to understand a complex query is by observing how it operates on data instances. However, specific database instances are not ideal for such observations: they often include large amounts of superfluous details that are not…

Databases · Computer Science 2022-02-24 Amir Gilad , Zhengjie Miao , Sudeepa Roy , Jun Yang

We consider answering queries where the underlying data is available only over limited interfaces which provide lookup access to the tuples matching a given binding, but possibly restricting the number of output tuples returned. Interfaces…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Michael Benedikt

Relational joins are at the core of relational algebra, which in turn is the core of the standard database query language SQL. As their evaluation is expensive and very often dominated by the output size, it is an important task for…

Databases · Computer Science 2017-11-13 Albert Atserias , Martin Grohe , Dániel Marx

We study the problem of query evaluation on probabilistic graphs, namely, tuple-independent probabilistic databases over signatures of arity two. We focus on the class of queries closed under homomorphisms, or, equivalently, the infinite…

Databases · Computer Science 2023-06-22 Antoine Amarilli , İsmail İlkan Ceylan

We study how macroscopic observational constraints restrict admissible microscopic explanatory structures when no intrinsic order or dynamics is assumed a priori. Starting from an unordered collection of measurement outcomes, we formulate…

Statistical Mechanics · Physics 2026-02-09 Akihisa Ichiki

We study the enumeration of answers to Unions of Conjunctive Queries (UCQs) with optimal time guarantees. More precisely, we wish to identify the queries that can be solved with linear preprocessing time and constant delay. Despite the…

Databases · Computer Science 2025-04-02 Karl Bringmann , Nofar Carmeli

Inferring causal relationships from observational data is rarely straightforward, but the problem is especially difficult in high dimensions. For these applications, causal discovery algorithms typically require parametric restrictions or…

Methodology · Statistics 2022-06-29 David S. Watson , Ricardo Silva

Thanks to information extraction and semantic Web efforts, search on unstructured text is increasingly refined using semantic annotations and structured knowledge bases. However, most users cannot become familiar with the schema of…

Information Retrieval · Computer Science 2012-12-27 Uma Sawant , Soumen Chakrabarti

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint…

Databases · Computer Science 2024-02-14 Cristina Feier , Carsten Lutz , Marcin Przybyłko

An answer to a query has a well-defined lineage expression (alternatively called how-provenance) that explains how the answer was derived. Recent work has also shown how to compute the lineage of a non-answer to a query. However, the cause…

Databases · Computer Science 2011-10-03 Alexandra Meliou , Wolfgang Gatterbauer , Katherine F. Moore , Dan Suciu
‹ Prev 1 3 4 5 6 7 10 Next ›