English
Related papers

Related papers: Rewriting Consistent Answers on Annotated Data

200 papers

We study question-answering over semi-structured data. We introduce a new way to apply the technique of semantic parsing by applying machine learning only to provide annotations that the system infers to be missing; all the other parsing…

Computation and Language · Computer Science 2017-09-12 Kedar Dhamdhere , Kevin S. McCurley , Mukund Sundararajan , Ankur Taly

In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanations for a series of observations with the same domain. The…

Artificial Intelligence · Computer Science 2007-05-23 Fangzhen Lin , Jia-Huai You

Nowadays e-commerce search has become an integral part of many people's shopping routines. One critical challenge in today's e-commerce search is the semantic matching problem where the relevant items may not contain the exact terms in the…

Information Retrieval · Computer Science 2021-05-31 Yiming Qiu , Kang Zhang , Han Zhang , Songlin Wang , Sulong Xu , Yun Xiao , Bo Long , Wen-Yun Yang

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…

Databases · Computer Science 2026-03-18 Florent Capelli , Nofar Carmeli , Oliver Irwin , Sylvain Salvati

In this work we establish and investigate connections between causes for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new research areas in databases,…

Databases · Computer Science 2016-10-25 Leopoldo Bertossi , Babak Salimi

We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a…

Logic in Computer Science · Computer Science 2007-05-23 Davy Van Nieuwenborgh , Dirk Vermeir

Ontological queries are evaluated against an ontology rather than directly on a database. The evaluation and optimization of such queries is an intriguing new problem for database research. In this paper we discuss two important aspects of…

Databases · Computer Science 2011-12-05 Georg Gottlob , Giorgio Orsi , Andreas Pieris

This paper presents a new technique for automatically synthesizing SQL queries from natural language. Our technique is fully automated, works for any database without requiring additional customization, and does not require users to know…

Databases · Computer Science 2017-02-07 Navid Yaghmazadeh , Yuepeng Wang , Isil Dillig , Thomas Dillig

We present ReFoRCE, a Text-to-SQL agent that tops the Spider 2.0 leaderboard--a challenging benchmark reflecting complex, real-world Text-to-SQL scenarios. While Text-to-SQL systems enable natural language queries over structured databases,…

Computation and Language · Computer Science 2025-06-05 Minghang Deng , Ashwin Ramachandran , Canwen Xu , Lanxiang Hu , Zhewei Yao , Anupam Datta , Hao Zhang

This paper concerns an expansion of first-order Belnap-Dunn logic, named $\mathrm{BD}^{\supset,\mathsf{F}}$, and an application of this logic in the area of relational database theory. The notion of a relational database, the notion of a…

Databases · Computer Science 2024-03-15 C. A. Middelburg

Queries with aggregation and arithmetic operations, as well as incomplete data, are common in real-world database, but we lack a good understanding of how they should interact. On the one hand, systems based on SQL provide ad-hoc rules for…

Databases · Computer Science 2022-11-02 Marco Console , Leonid Libkin , Liat Peterfreund

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

One of the main challenges in ranking is embedding the query and document pairs into a joint feature space, which can then be fed to a learning-to-rank algorithm. To achieve this representation, the conventional state of the art approaches…

Computation and Language · Computer Science 2018-08-09 Dana Sagi , Tzoof Avny , Kira Radinsky , Eugene Agichtein

Query rewriting is a crucial technique for passage retrieval in open-domain conversational question answering (CQA). It decontexualizes conversational queries into self-contained questions suitable for off-the-shelf retrievers. Existing…

Computation and Language · Computer Science 2024-06-18 Tianhua Zhang , Kun Li , Hongyin Luo , Xixin Wu , James Glass , Helen Meng

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for…

Artificial Intelligence · Computer Science 2015-02-11 Alessandro Armando , Maria Paola Bonacina , Silvio Ranise , Stephan Schulz

In this work we establish and investigate connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases, and…

Databases · Computer Science 2014-12-16 Babak Salimi , Leopoldo Bertossi

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…

Databases · Computer Science 2025-10-23 Nofar Carmeli , Nikolaos Tziavelis

We study theta-joins in general and join predicates with conjunctions and disjunctions of inequalities in particular, focusing on ranked enumeration where the answers are returned incrementally in an order dictated by a given ranking…

Databases · Computer Science 2021-08-31 Nikolaos Tziavelis , Wolfgang Gatterbauer , Mirek Riedewald

Web search engines and specialized online verticals are increasingly incorporating results from structured data sources to answer semantically rich user queries. For example, the query \WebQuery{Samsung 50 inch led tv} can be answered using…

Information Retrieval · Computer Science 2011-08-15 Sreenivas Gollapudi , Samuel Ieong , Alexandros Ntoulas , Stelios Paparizos

We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability, i.e., whether an OMQ can be rewritten as a first-order…

Databases · Computer Science 2020-11-19 Pablo Barcelo , Gerald Berger , Carsten Lutz , Andreas Pieris