English
Related papers

Related papers: HoTTSQL: Proving Query Rewrites with Univalent SQL…

200 papers

We introduce and address the problem of ad hoc table retrieval: answering a keyword query with a ranked list of tables. This task is not only interesting on its own account, but is also being used as a core component in many other…

Information Retrieval · Computer Science 2018-03-09 Shuo Zhang , Krisztian Balog

A prominent approach to implementing ontology-mediated queries (OMQs) is to rewrite into a first-order query, which is then executed using a conventional SQL database system. We consider the case where the ontology is formulated in the…

Artificial Intelligence · Computer Science 2018-04-20 Peter Hansen , Carsten Lutz

We consider the problem of finding equivalent minimal-size reformulations of SQL queries in presence of embedded dependencies [1]. Our focus is on select-project-join (SPJ) queries with equality comparisons, also known as safe conjunctive…

Databases · Computer Science 2009-06-27 Rada Chirkova , Michael Genesereth

Real-world tables often exhibit irregular schemas, heterogeneous value formats, and implicit relational structure, which degrade the reliability of downstream table reasoning and question answering. Most existing approaches address these…

Computation and Language · Computer Science 2026-02-24 Gaurav Najpande , Tampu Ravi Kumar , Manan Roy Choudhury , Neha Valeti , Yanjie Fu , Vivek Gupta

We present CoSQL, a corpus for building cross-domain, general-purpose database (DB) querying dialogue systems. It consists of 30k+ turns plus 10k+ annotated SQL queries, obtained from a Wizard-of-Oz (WOZ) collection of 3k dialogues querying…

Structured Query Language (SQL) remains the standard language used in Relational Database Management Systems (RDBMSs) and has found applications in healthcare (patient registries), businesses (inventories, trend analysis), military,…

Databases · Computer Science 2022-03-08 George Obaido

Text-to-SQL translates natural language questions into SQL statements grounded in a target database schema. Ensuring the reliability and executability of such systems requires validating generated SQL, but most existing approaches focus…

Machine Learning · Computer Science 2025-12-30 Rihong Qiu , Zhibang Yang , Xinke Jiang , Weibin Liao , Xin Gao , Xu Chu , Junfeng Zhao , Yasha Wang

The database community lacks a unified relational query language for subset selection and optimisation queries, limiting both user expression and query optimiser reasoning about such problems. Decades of research (latterly under the rubric…

Databases · Computer Science 2025-09-09 David Robert Pratten , Luke Mathieson , Fahimeh Ramezani

Text-to-SQL prompt strategies based on Large Language Models (LLMs) achieve remarkable performance on well-known benchmarks. However, when applied to real-world databases, their performance is significantly less than for these benchmarks,…

This paper presents a novel approach to translating natural language questions to SQL queries for given tables, which meets three requirements as a real-world data analysis application: cross-domain, multilingualism and enabling…

Artificial Intelligence · Computer Science 2019-10-25 Yan Gao , Jian-Guang Lou , Dongmei Zhang

Text-to-SQL is a task that converts a natural language question into a structured query language (SQL) to retrieve information from a database. Large language models (LLMs) work well in natural language generation tasks, but they are not…

Computation and Language · Computer Science 2023-09-04 Chunxi Guo , Zhiliang Tian , Jintao Tang , Pancheng Wang , Zhihua Wen , Kang Yang , Ting Wang

Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, rely on fixed-point computations. The introduction of recursive common table expressions (CTEs) using the WITH RECURSIVE…

Programming Languages · Computer Science 2026-04-27 Anna Herlihy , Amir Shaikhha , Anastasia Ailamaki , Martin Odersky

Text-to-SQL is a task to generate SQL queries from human utterances. However, due to the variation of natural language, two semantically equivalent utterances may appear differently in the lexical level. Likewise, user preferences (e.g.,…

Computation and Language · Computer Science 2020-12-22 Pingchuan Ma , Shuai Wang

Traditional DBMSs execute user- or application-provided SQL queries over relational data with strong semantic guarantees and advanced query optimization, but writing complex SQL is hard and focuses only on structured tables. Contemporary…

Databases · Computer Science 2025-12-15 Guorui Xiao , Enhao Zhang , Nicole Sullivan , Will Hansen , Magdalena Balazinska

Querying databases for the right information is a time consuming and error-prone task and often requires experienced professionals for the job. Furthermore, the user needs to have some prior knowledge about the database. There have been…

Databases · Computer Science 2022-10-18 Manu Joseph , Harsh Raj , Anubhav Yadav , Aaryamann Sharma

SQL query rewriting aims to reformulate a query into a more efficient form while preserving equivalence. Most existing methods rely on predefined rewrite rules. However, such rule-based approaches face fundamental limitations: (1) fixed…

Databases · Computer Science 2025-08-18 Dongjie Xu , Yue Cui , Weijie Shi , Qingzhi Ma , Hanghui Guo , Jiaming Li , Yao Zhao , Ruiyuan Zhang , Shimin Di , Jia Zhu , Kai Zheng , Jiajie Xu

Nested relational query languages have been explored extensively, and underlie industrial language-integrated query systems such as Microsoft's LINQ. However, relational databases do not natively support nested collections in query results.…

Databases · Computer Science 2014-05-05 James Cheney , Sam Lindley , Philip Wadler

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

Logical query plan rewriting transforms a relational database query into an equivalent but more efficient form and is crucial to the performance of database-backed applications. In existing systems, rewrite rules are typically implemented…

Databases · Computer Science 2026-05-08 Sicheng Pan , Shuxian Wang , Wesley Zheng , Zirong Zeng , Vijay Sharma , Alvin Cheung

Chatbots and AI assistants have claimed their importance in today life. The main reason behind adopting this technology is to connect with the user, understand their requirements, and fulfill them. This has been achieved but at the cost of…

Computation and Language · Computer Science 2021-02-23 Muhammad Hamzah Mushtaq