Hypertree decompositions: Questions and answers

G Gottlob, G Greco, N Leone, F Scarcello - Proceedings of the 35th ACM …, 2016 - dl.acm.org
In the database context, the hypertree decomposition method is used for query optimization,
whereby conjunctive queries having a low degree of cyclicity can be recognized and …

Skew strikes back: new developments in the theory of join algorithms

HQ Ngo, C Ré, A Rudra - Acm Sigmod Record, 2014 - dl.acm.org
Evaluating the relational join is one of the central algorithmic and most well-studied
problems in database systems. A staggering number of variants have been considered …

Taming the infinite chase: Query answering under expressive relational constraints

A Calì, G Gottlob, M Kifer - Journal of Artificial Intelligence Research, 2013 - jair.org
The chase algorithm is a fundamental tool for query evaluation and for testing query
containment under tuple-generating dependencies (TGDs) and equality-generating …

Hypertree decompositions and tractable queries

G Gottlob, N Leone, F Scarcello - Proceedings of the eighteenth ACM …, 1999 - dl.acm.org
Several important decision problems on conjunctive queries (CQs) are NP-complete in
general but become tractable, and actually highly parallelizable, if restricted to acyclic or …

FAQ: questions asked frequently

M Abo Khamis, HQ Ngo, A Rudra - … of the 35th ACM SIGMOD-SIGACT …, 2016 - dl.acm.org
We define and study the Functional Aggregate Query (FAQ) problem, which encompasses
many frequently asked questions in constraint satisfaction, databases, matrix operations …

An annotated bibliography on guaranteed graph searching

FV Fomin, DM Thilikos - Theoretical computer science, 2008 - Elsevier
Graph searching encompasses a wide variety of combinatorial problems related to the
problem of capturing a fugitive residing in a graph using the minimum number of searchers …

The complexity of homomorphism and constraint satisfaction problems seen from the other side

M Grohe - Journal of the ACM (JACM), 2007 - dl.acm.org
We give a complexity theoretic classification of homomorphism problems for graphs and,
more generally, relational structures obtained by restricting the left hand side structure in a …

Hypertree decompositions: A survey

G Gottlob, N Leone, F Scarcello - … Lázne, Czech Republic, August 27–31 …, 2001 - Springer
This paper surveys recent results related to the concept of hypertree decomposition and the
associated notion of hypertree width. A hypertree decomposition of a hypergraph (similar to …

Constraint solving via fractional edge covers

M Grohe, D Marx - ACM Transactions on Algorithms (TALG), 2014 - dl.acm.org
Many important combinatorial problems can be modeled as constraint satisfaction problems.
Hence, identifying polynomial-time solvable classes of constraint satisfaction problems has …

Playing games with algorithms: Algorithmic combinatorial game theory

ED Demaine - … Symposium on Mathematical Foundations of Computer …, 2001 - Springer
Combinatorial games lead to several interesting, clean problems in algorithms and
complexity theory, many of which remain open. The purpose of this paper is to provide an …