English
Related papers

Related papers: Conjunctive Query Containment and Answering under …

200 papers

When data schemata are enriched with expressive constraints that aim at representing the domain of interest, in order to answer queries one needs to consider the logical theory consisting of both the data and the constraints. Query…

Databases · Computer Science 2014-01-03 Andrea Calì , Marco Console , Riccardo Frosini

A prominent problem in knowledge representation is how to answer queries taking into account also the implicit consequences of an ontology representing domain knowledge. While this problem has been widely studied within the realm of…

Artificial Intelligence · Computer Science 2021-11-24 Gabriella Pasi , Rafael Peñaloza

This thesis offers two logic-based approaches to conjunctive queries in the context of information extraction. The first and main approach is the introduction of conjunctive query fragments of the logics FC and FC[REG], denoted as FC-CQ and…

Logic in Computer Science · Computer Science 2022-08-03 Sam M. Thompson

We show that for every conjunctive query, the complexity of evaluating it on a probabilistic database is either \PTIME or #\P-complete, and we give an algorithm for deciding whether a given conjunctive query is \PTIME or #\P-complete. The…

Databases · Computer Science 2007-05-23 Nilesh Dalvi , Dan Suciu

The problem of extracting consistent information from relational databases violating integrity constraints on numerical data is addressed. In particular, aggregate constraints defined as linear inequalities on aggregate-sum queries on input…

Databases · Computer Science 2007-05-23 Sergio Flesca , Filippo Furfaro , Francesco Parisi

Preference analysis is widely applied in various domains such as social choice and e-commerce. A recently proposed framework augments the relational database with a preference relation that represents uncertain preferences in the form of…

Databases · Computer Science 2020-03-17 Haoyue Ping , Julia Stoyanovich , Benny Kimelfeld

Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator ("find the most preferred tuples in a given relation"). Such queries are parameterized by specific preference relations. Semantic…

Databases · Computer Science 2007-05-23 Jan Chomicki

We consider the following fundamental problem: given a database D, Boolean conjunctive query (CQ) q, and fact f in D, decide whether f is relevant to q wrt. D, i.e., does f belong to a minimal subset S of D such that S |= q. Despite being…

Databases · Computer Science 2026-04-27 Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

Large language models have shown unprecedented abilities in generating linguistically coherent and syntactically correct natural language output. However, they often return incorrect and inconsistent answers to input questions. Due to the…

Databases · Computer Science 2023-12-27 Jasmin Mousavi , Arash Termehchy

We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation…

Logic in Computer Science · Computer Science 2022-02-18 Antoine Amarilli , Michael Benedikt , Pierre Bourhis , Michael Vanden Boom

We study the problem of deciding satisfiability of first order logic queries over views, our aim being to delimit the boundary between the decidable and the undecidable fragments of this language. Views currently occupy a central place in…

Logic in Computer Science · Computer Science 2008-12-18 James Bailey , Guozhu Dong , Anthony Widjaja To

Causal discovery studies the problem of mining causal relationships between variables from data, which is of primary interest in science. During the past decades, significant amount of progresses have been made toward this fundamental data…

Artificial Intelligence · Computer Science 2016-11-28 Kui Yu , Jiuyong Li , Lin Liu

We consider the task of enumerating and counting answers to $k$-ary conjunctive queries against relational databases that may be updated by inserting or deleting tuples. We exhibit a new notion of q-hierarchical conjunctive queries and show…

Databases · Computer Science 2017-02-22 Christoph Berkholz , Jens Keppeler , Nicole Schweikardt

We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can…

Logic in Computer Science · Computer Science 2023-06-22 Antoine Amarilli , Michael Benedikt

Consistent answers to a query from a possibly inconsistent database are answers that are simultaneously retrieved from every possible repair of the database. Repairs are consistent instances that minimally differ from the original…

Databases · Computer Science 2021-10-20 Leopoldo Bertossi

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

Comparing relational languages by their logical expressiveness is well understood. Less well understood is how to compare relational languages by their ability to represent relational query patterns. Indeed, what are query patterns other…

Databases · Computer Science 2024-01-11 Wolfgang Gatterbauer , Cody Dunne

Database theory is exciting because it studies highly general and practically useful abstractions. Conjunctive query (CQ) evaluation is a prime example: it simultaneously generalizes graph pattern matching, constraint satisfaction, and…

Databases · Computer Science 2026-04-07 Mahmoud Abo Khamis , Hung Q. Ngo , Dan Suciu

In this paper we study the problem of reducing the evaluation costs of queries on finite databases in presence of integrity constraints, by designing and materializing views. Given a database schema, a set of queries defined on the schema,…

Databases · Computer Science 2007-05-23 Rada Chirkova , Michael R. Genesereth

In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic (DL) or using existential rules. In the literature, there…

Logic in Computer Science · Computer Science 2022-08-31 Christian Alrabbaa , Stefan Borgwardt , Patrick Koopmann , Alisa Kovtunova