English
Related papers

Related papers: Axiomatic Foundations and Algorithms for Deciding …

200 papers

Evaluation of QA systems is very challenging and expensive, with the most reliable approach being human annotations of correctness of answers for questions. Recent works (AVA, BEM) have shown that transformer LM encoder based similarity…

Computation and Language · Computer Science 2023-09-22 Matteo Gabburo , Siddhant Garg , Rik Koncel Kedziorski , Alessandro Moschitti

In database theory, the term $\textit{database transformation}$ was used to refer to a unifying treatment for computable queries and updates. Recently, it was shown that non-deterministic database transformations can be captured exactly by…

Logic in Computer Science · Computer Science 2017-06-01 Flavio Ferrarotti , Klaus-Dieter Schewe , Loredana Tec , Qing Wang

Large Language Models (LLMs) are revolutionizing how users interact with information systems, yet their high inference cost poses serious scalability and sustainability challenges. Caching inference responses, allowing them to be retrieved…

Machine Learning · Computer Science 2026-02-16 Xutong Liu , Baran Atalar , Xiangxiang Dai , Jinhang Zuo , Siwei Wang , John C. S. Lui , Wei Chen , Carlee Joe-Wong

Two natural decision problems regarding the XML query language XQuery are well-definedness and semantic type-checking. We study these problems in the setting of a relational fragment of XQuery. We show that well-definedness and semantic…

Databases · Computer Science 2007-05-23 Jan Van den Bussche , Dirk Van Gucht , Stijn Vansummeren

This paper studies the completeness of conjunctive queries over a partially complete database and the approximation of incomplete queries. Given a query and a set of completeness rules (a special kind of tuple generating dependencies) that…

Databases · Computer Science 2024-07-31 Julien Corman , Werner Nutt , Ognjen Savković

Detecting structural similarity between queries is essential for selecting examples in in-context learning models. However, assessing structural similarity based solely on the natural language expressions of queries, without considering SQL…

Computation and Language · Computer Science 2024-03-26 Mohammadreza Pourreza , Davood Rafiei , Yuxi Feng , Raymond Li , Zhenan Fan , Weiwei Zhang

In ecommerce search, query autocomplete plays a critical role to help users in their shopping journey. Often times, query autocomplete presents users with semantically similar queries, which can impede the user's ability to find diverse and…

Information Theory · Computer Science 2025-05-14 Adithya Rajan , Weiqi Tong , Greg Sharp , Prateek Verma , Kevin Li

Translating natural language to SQL for data retrieval has become more accessible thanks to code generation LLMs. But how hard is it to generate SQL code? While databases can become unbounded in complexity, the complexity of queries is…

Databases · Computer Science 2026-03-27 Yue Li , David Mimno , Unso Eun Seo Jo

Automatic query reformulation is a widely utilized technology for enriching user requirements and enhancing the outcomes of code search. It can be conceptualized as a machine translation task, wherein the objective is to rephrase a given…

Software Engineering · Computer Science 2023-07-04 Yuetian Mao , Chengcheng Wan , Yuze Jiang , Xiaodong Gu

We develop a query answering system, where at the core of the work there is an idea of query answering by rewriting. For this purpose we extend the DL DL-Lite with the ability to support n-ary relations, obtaining the DL DLR-Lite, which is…

Databases · Computer Science 2009-02-11 Mantas Simkus , Evaldas Taroza , Lina Lubyte , Daniel Trivellato , Zivile Norkunaite

People primarily consult tables to conduct data analysis or answer specific questions. Text generation systems that can provide accurate table summaries tailored to users' information needs can facilitate more efficient access to relevant…

Computation and Language · Computer Science 2023-11-08 Yilun Zhao , Zhenting Qi , Linyong Nan , Boyu Mi , Yixin Liu , Weijin Zou , Simeng Han , Ruizhe Chen , Xiangru Tang , Yumo Xu , Dragomir Radev , Arman Cohan

Query containment and query answering are two important computational tasks in databases. While query answering amounts to compute the result of a query over a database, query containment is the problem of checking whether for every…

Databases · Computer Science 2007-05-23 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini

Table Question-Answering involves both understanding the natural language query and grounding it in the context of the input table to extract the relevant information. In this context, many methods have highlighted the benefits of…

Databases · Computer Science 2024-02-22 Raphaël Mouravieff , Benjamin Piwowarski , Sylvain Lamprier

Meetings are a key component of human collaboration. As increasing numbers of meetings are recorded and transcribed, meeting summaries have become essential to remind those who may or may not have attended the meetings about the key…

Computation and Language · Computer Science 2021-04-14 Ming Zhong , Da Yin , Tao Yu , Ahmad Zaidi , Mutethia Mutuma , Rahul Jha , Ahmed Hassan Awadallah , Asli Celikyilmaz , Yang Liu , Xipeng Qiu , Dragomir Radev

Query Segmentation is one of the critical components for understanding users' search intent in Information Retrieval tasks. It involves grouping tokens in the search query into meaningful phrases which help downstream tasks like search…

Information Retrieval · Computer Science 2017-07-26 Ajinkya Kale , Thrivikrama Taula , Sanjika Hewavitharana , Amit Srivastava

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

Data cleaning is a long-standing challenge in data management. While powerful logic and statistical algorithms have been developed to detect and repair data errors in tables, existing algorithms predominantly rely on domain-experts to first…

To translate natural language questions into executable database queries, most approaches rely on a fully annotated training set. Annotating a large dataset with queries is difficult as it requires query-language expertise. We reduce this…

Computation and Language · Computer Science 2022-06-01 Irina Saparina , Anton Osokin

Since a user usually has to issue a sequence of queries and examine multiple documents to resolve a complex information need in a search session, researchers have paid much attention to evaluating search systems at the session level rather…

Information Retrieval · Computer Science 2024-01-24 Haonan Chen , Zhicheng Dou , Jiaxin Mao

Recently, various automated testing approaches have been proposed that use specialized test oracles to find hundreds of logic bugs in mature, widely-used Database Management Systems (DBMSs). These test oracles require database and query…

Software Engineering · Computer Science 2026-01-27 Suyang Zhong , Manuel Rigger