English
Related papers

Related papers: Fine-Grained Dichotomies for Conjunctive Queries w…

200 papers

Directed q-analysis is a recent extension of q-analysis, an established method for extracting structure from networks, to directed graphs. Until recently, a lack of efficient algorithms heavily restricted the application of this technique:…

Data Structures and Algorithms · Computer Science 2025-08-22 Felix Windisch , Florian Unger

While extensive research on query evaluation has achieved consistent improvements in the time complexity of algorithms, the space complexity of query evaluation has been largely ignored. This is a particular challenge in settings with…

Databases · Computer Science 2025-09-29 Kyle Deeds , Timo Camillo Merkl , Reinhard Pichler , Dan Suciu

To answer database queries over incomplete data the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can be found efficiently for conjunctive queries and their…

Databases · Computer Science 2023-10-20 Amélie Gheerbrant , Leonid Libkin , Alexandra Rogova , Cristina Sirangelo

Reverse engineering problems for conjunctive queries (CQs), such as query by example (QBE) or definability, take a set of user examples and convert them into an explanatory CQ. Despite their importance, the complexity of these problems is…

Databases · Computer Science 2016-07-08 Pablo Barcelo , Miguel Romero

This paper addresses the problem of approximate processing for flexible queries in the form SELECT-FROM-WHERE-GROUP BY with join condition. It offers a flexible framework for online aggregation while promoting response time at the expense…

Databases · Computer Science 2013-12-24 Minyar Sassi-Hidri , Soukaina Ben Bdira

We study the minimization problem for Conjunctive Regular Path Queries (CRPQs) and unions of CRPQs (UCRPQs). This is the problem of checking, given a query and a number $k$, whether the query is equivalent to one of size at most $k$. For…

Databases · Computer Science 2025-04-02 Diego Figueira , Rémi Morvan , Miguel Romero

We embark on a study of the consistent answers of queries over databases annotated with values from a naturally ordered positive semiring. In this setting, the consistent answers of a query are defined as the minimum of the semiring values…

Databases · Computer Science 2025-04-04 Phokion G. Kolaitis , Nina Pardal , Jonni Virtema , Jef Wijsen

This paper aims at providing extremely efficient algorithms for approximate query enumeration on sparse databases, that come with performance and accuracy guarantees. We introduce a new model for approximate query enumeration on classes of…

Databases · Computer Science 2021-01-19 Isolde Adler , Polly Fahey

Answering Boolean conjunctive queries over the guarded fragment is decidable, however, as yet no practical decision procedure exists. Meanwhile, ordered resolution, as a practically oriented algorithm, is widely used in state-of-art modern…

Logic in Computer Science · Computer Science 2020-07-23 Sen Zheng , Renate A. Schmidt

Access limitations are restrictions in the way in which the tuples of a relation can be accessed. Under access limitations, query answering becomes more complex than in the traditional case, with no guarantee that the answer tuples that can…

Databases · Computer Science 2014-01-06 Davide Martinenghi

We consider the issue of answering unions of conjunctive queries (UCQs) with disjunctive existential rules and mappings. While this issue has already been well studied from a chase perspective, query rewriting within UCQs has hardly been…

Databases · Computer Science 2023-06-12 Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli

The increasing availability of structured datasets, from Web tables and open-data portals to enterprise data, opens up opportunities~to enrich analytics and improve machine learning models through relational data augmentation. In this…

Databases · Computer Science 2025-03-06 Aécio Santos , Aline Bessa , Fernando Chirigati , Christopher Musco , Juliana Freire

Given an undirected graph representing similarities between a set of items and an additive measure evaluating the items, we treat the position of a special subset of items in an ordinal ranking through a collection of combinatorial…

Data Structures and Algorithms · Computer Science 2026-05-05 Samuel Boardman

Motivated by the pervasiveness of strong inapproximability results for Max-CSPs, we introduce a relaxed notion of an approximate solution of a Max-CSP. In this relaxed version, loosely speaking, the algorithm is allowed to replace the…

Computational Complexity · Computer Science 2012-04-26 Per Austrin , Johan Håstad

Bilevel optimization involves a hierarchical structure where one problem is nested within another, leading to complex interdependencies between levels. We propose a single-loop, tuning-free algorithm that guarantees anytime feasibility,…

Optimization and Control · Mathematics 2025-08-15 Sina Sharifi , Erfan Yazdandoost Hamedani , Mahyar Fazlyab

Priority queues are abstract data structures which store a set of key/value pairs and allow efficient access to the item with the minimal (maximal) key. Such queues are an important element in various areas of computer science such as…

Data Structures and Algorithms · Computer Science 2015-09-24 Jakob Gruber

Neural models for question answering (QA) over documents have achieved significant performance improvements. Although effective, these models do not scale to large corpora due to their complex modeling of interactions between the document…

Computation and Language · Computer Science 2018-05-22 Sewon Min , Victor Zhong , Richard Socher , Caiming Xiong

Marx (STOC~2010, J.~ACM 2013) introduced the notion of submodular width of a conjunctive query (CQ) and showed that for any class $\Phi$ of Boolean CQs of bounded submodular width, the model-checking problem for $\Phi$ on the class of all…

Databases · Computer Science 2020-03-03 Christoph Berkholz , Nicole Schweikardt

Matching dependencies were recently introduced as declarative rules for data cleaning and entity resolution. Enforcing a matching dependency on a database instance identifies the values of some attributes for two tuples, provided that the…

Databases · Computer Science 2010-08-24 Leopoldo Bertossi , Solmaz Kolahi , Laks V. S. Lakshmanan

Valued constraint satisfaction problems (VCSPs) are discrete optimisation problems with a $(\mathbb{Q}\cup\{\infty\})$-valued objective function given as a sum of fixed-arity functions. In Boolean surjective VCSPs, variables take on labels…

Computational Complexity · Computer Science 2020-05-15 Peter Fulla , Hannes Uppman , Stanislav Zivny
‹ Prev 1 3 4 5 6 7 10 Next ›