English
Related papers

Related papers: Rewriting with Acyclic Queries: Mind Your Head

200 papers

This paper is a study of weighted counting of the solutions of acyclic conjunctive queries ($\ACQ$). The unweighted quantifier free version of this problem is known to be tractable (for combined complexity), but it is also known that…

Computational Complexity · Computer Science 2011-12-08 Arnaud Durand , Stefan Mengel

A query Q is monotonically determined over a set of views if Q can be expressed as a monotonic function of the view image. In the case of relational algebra views and queries, monotonic determinacy coincides with rewritability as a union of…

Logic in Computer Science · Computer Science 2020-03-13 Michael Benedikt , Stanislav Kikot , Piotr Ostropolski-Nalewaja , Miguel Romero

A conjunctive query (CQ) is semantically acyclic if it is equivalent to an acyclic one. Semantic acyclicity has been studied in the constraint-free case, and deciding whether a query enjoys this property is NP-complete. However, in case the…

Databases · Computer Science 2016-06-06 Pablo Barcelo , Georg Gottlob , Andreas Pieris

We often add arithmetic to extend the expressiveness of query languages and study the complexity of problems such as testing query containment and finding certain answers in the framework of answering queries using views. When adding…

Databases · Computer Science 2020-11-19 Foto N. Afrati , Matthew Damigos

In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A natural notion of query acyclicity for this language is…

Logic in Computer Science · Computer Science 2007-05-23 Arnaud Durand , Etienne Grandjean

We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact…

Artificial Intelligence · Computer Science 2020-10-23 Cristina Feier , Carsten Lutz , Frank Wolter

Question rewriting (QR) is a subtask of conversational question answering (CQA) aiming to ease the challenges of understanding dependencies among dialogue history by reformulating questions in a self-contained form. Despite seeming…

Computation and Language · Computer Science 2022-04-14 Etsuko Ishii , Yan Xu , Samuel Cahyawijaya , Bryan Wilie

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a fragment can thus allow for an efficient approximate evaluation. While…

Databases · Computer Science 2019-04-02 Pablo Barceló , Miguel Romero , Thomas Zeume

The standard approach for optimization of XPath queries by rewriting using views techniques consists in navigating inside a view's output, thus allowing the usage of only one view in the rewritten query. Algorithms for richer classes of…

Databases · Computer Science 2013-08-27 Bogdan Cautis , Alin Deutsch , Ioana Ileana , Nicola Onose

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 nearly acyclic queries. Examples are the evaluation of Boolean…

Databases · Computer Science 2007-05-23 G. Gottlob , N. Leone , F. Scarcello

We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the…

Databases · Computer Science 2024-07-23 Michael Benedikt , Stanislav Kikot , Johannes Marti , Piotr Ostropolski-Nalewaja

We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish…

Artificial Intelligence · Computer Science 2020-11-20 Meghyn Bienvenu , Peter Hansen , Carsten Lutz , Frank Wolter

We present an output-sensitive algorithm for evaluating an acyclic Conjunctive Regular Path Query (CRPQ). Its complexity is written in terms of the input size, the output size, and a well-known parameter of the query that is called the…

Databases · Computer Science 2026-03-17 Mahmoud Abo Khamis , Alexandru-Mihai Hurjui , Ahmet Kara , Dan Olteanu , 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

In conversational question answering (CQA), the task of question rewriting~(QR) in context aims to rewrite a context-dependent question into an equivalent self-contained question that gives the same answer. In this paper, we are interested…

Computation and Language · Computer Science 2023-11-14 Hai Ye , Hwee Tou Ng , Wenjuan Han

The problem of checking whether a recursive query can be rewritten as query without recursion is a fundamental reasoning task, known as the boundedness problem. Here we study the boundedness problem for Unions of Conjunctive Regular Path…

Databases · Computer Science 2024-07-31 Diego Figueira , S. Krishna , Om Swostik Mishra , Anantha Padmanabha

Cyclic words are equivalence classes of cyclic permutations of ordinary words. When a group is given by a rewriting relation, a rewriting system on cyclic words is induced, which is used to construct algorithms to find minimal length…

Group Theory · Mathematics 2012-11-14 Volker Diekert , Andrew Duncan , Alexei Myasnikov

Queries involving aggregation are typical in database applications. One of the main ideas to optimize the execution of an aggregate query is to reuse results of previously answered queries. This leads to the problem of rewriting aggregate…

Databases · Computer Science 2007-05-23 Sara Cohen , Werner Nutt , Alexander Serebrenik

We study the complexity of query answering using views in a probabilistic XML setting, identifying large classes of XPath queries -- with child and descendant navigation and predicates -- for which there are efficient (PTime) algorithms. We…

Databases · Computer Science 2012-08-02 Bogdan Cautis , Evgeny Kharlamov

Ontological queries are evaluated against a knowledge base consisting of an extensional database and an ontology (i.e., a set of logical assertions and constraints which derive new intensional knowledge from the extensional database),…

Databases · Computer Science 2014-05-13 Georg Gottlob , Giorgio Orsi , Andreas Pieris
‹ Prev 1 2 3 10 Next ›