中文
相关论文

相关论文: Tractable Orders for Direct Access to Ranked Answe…

200 篇论文

Given a conjunctive query $Q$ and a database $D$, a direct access to the answers of $Q$ over $D$ is the operation of returning, given an index $k$, the $k$-th answer for some order on its answers. While this problem is $\#\mathcal{P}$-hard…

数据库 · 计算机科学 2026-03-18 Florent Capelli , Nofar Carmeli , Oliver Irwin , Sylvain Salvati

We study the fine-grained complexity of conjunctive queries with grouping and aggregation. For common aggregate functions (e.g., min, max, count, sum), such a query can be phrased as an ordinary conjunctive query over a database annotated…

数据库 · 计算机科学 2026-04-22 Idan Eldar , Nofar Carmeli , Benny Kimelfeld

We investigate the fine-grained complexity of direct access to Conjunctive Query (CQ) answers according to their position, ordered by the minimum (or maximum) value between attributes. We further use the tools we develop to explore a wealth…

数据库 · 计算机科学 2025-10-23 Nofar Carmeli , Nikolaos Tziavelis

We study the enumeration complexity of Unions of Conjunctive Queries(UCQs). We aim to identify the UCQs that are tractable in the sense that the answer tuples can be enumerated with a linear preprocessing phase and a constant delay between…

数据库 · 计算机科学 2021-05-07 Nofar Carmeli , Markus Kröll

As data analytics becomes more crucial to digital systems, so grows the importance of characterizing the database queries that admit a more efficient evaluation. We consider the tractability yardstick of answer enumeration with a…

数据库 · 计算机科学 2019-12-24 Nofar Carmeli , Shai Zeevi , Christoph Berkholz , Benny Kimelfeld , Nicole Schweikardt

We study the problem of counting answers to unions of conjunctive queries (UCQs) under structural restrictions on the input query. Concretely, given a class C of UCQs, the problem #UCQ(C) provides as input a UCQ Q in C and a database D and…

离散数学 · 计算机科学 2026-02-24 Jacob Focke , Leslie Ann Goldberg , Marc Roth , Stanislav Živný

We investigate the evaluation of conjunctive queries over static and dynamic relations. While static relations are given as input and do not change, dynamic relations are subject to inserts and deletes. We characterise syntactically three…

数据库 · 计算机科学 2025-03-28 Ahmet Kara , Zheng Luo , Milos Nikolic , Dan Olteanu , Haozhe Zhang

Direct access asks for the retrieval of query answers by their ranked position, given a query and a desired order. While the time complexity of data structures supporting such accesses has been studied in depth, and efficient algorithms for…

数据库 · 计算机科学 2026-03-23 Jiayin Hu , Nikolaos Tziavelis

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…

数据库 · 计算机科学 2023-10-20 Amélie Gheerbrant , Leonid Libkin , Alexandra Rogova , Cristina Sirangelo

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we…

数据库 · 计算机科学 2025-08-25 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

We consider the task of lexicographic direct access to query answers. That is, we want to simulate an array containing the answers of a join query sorted in a lexicographic order chosen by the user. A recent dichotomy showed for which…

数据库 · 计算机科学 2024-12-13 Karl Bringmann , Nofar Carmeli , Stefan Mengel

Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution. The issue is inherently #P-hard, extending even to classes of acyclic…

数据库 · 计算机科学 2024-09-12 Hubie Chen , Gianluigi Greco , Stefan Mengel , Francesco Scarcello

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…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Arnaud Durand , Etienne Grandjean

In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over…

数据库 · 计算机科学 2020-07-30 Pablo Barcelo , Cristina Feier , Carsten Lutz , Andreas Pieris

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…

数据库 · 计算机科学 2019-05-30 Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart

We study the computational problem of checking whether a quantified conjunctive query (a first-order sentence built using only conjunction as Boolean connective) is true in a finite poset (a reflexive, antisymmetric, and transitive directed…

计算机科学中的逻辑 · 计算机科学 2014-08-20 Simone Bova , Robert Ganian , Stefan Szeider

The constraint satisfaction problem, parameterized by a relational structure, provides a general framework for expressing computational decision problems. Already the restriction to the class of all finite structures forms an interesting…

计算机科学中的逻辑 · 计算机科学 2024-02-15 Jakub Rydval , Žaneta Semanišinová , Michał Wrona

We study ranked enumeration for Conjunctive Queries (CQs) where the answers are ordered by a given ranking function (e.g., an ORDER BY clause in SQL). We develop "any-k" algorithms, which, without knowing the number k of desired answers,…

数据库 · 计算机科学 2023-10-16 Nikolaos Tziavelis , Wolfgang Gatterbauer , Mirek Riedewald

In this paper we explore the problem of counting solutions to conjunctive queries. We consider a parameter called the \emph{quantified star size} of a formula $\varphi$ which measures how the free variables are spread in $\varphi$. We show…

计算机科学中的逻辑 · 计算机科学 2013-03-11 Arnaud Durand , Stefan Mengel

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood…

人工智能 · 计算机科学 2011-11-02 Birte Glimm , Ian Horrocks , Carsten Lutz , Ulrike Sattler
‹ 上一页 1 2 3 10 下一页 ›