English
Related papers

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

200 papers

The proliferation of unstructured data poses a fundamental challenge to traditional database interfaces. While Text-to-SQL has democratized access to structured data, it remains incapable of interpreting semantic or multi-modal queries.…

Computation and Language · Computer Science 2025-11-07 Zhengren Wang , Dongwen Yao , Bozhou Li , Dongsheng Ma , Bo Li , Zhiyu Li , Feiyu Xiong , Bin Cui , Linpeng Tang , Wentao Zhang

We address the problem of semantic querying of relational databases (RDB) modulo knowledge bases using very expressive knowledge representation formalisms, such as full first-order logic or its various fragments. We propose to use a…

Logic in Computer Science · Computer Science 2009-05-03 Alexandre Riazanov

Converting natural language queries into SQL queries is a crucial challenge in both industry and academia, aiming to increase access to databases and large-scale applications. This work examines how in-context learning and chain-of-thought…

Databases · Computer Science 2025-09-30 Saumya Chaturvedi , Aman Chadha , Laurent Bindschaedler

Database queries traditionally operate under the closed-world assumption, providing no answers to questions that require information beyond the data stored in the database. Hybrid querying using SQL offers an alternative by integrating…

Databases · Computer Science 2024-11-19 Fuheng Zhao , Divyakant Agrawal , Amr El Abbadi

Recently, Large Language Models (LLMs) have been demonstrated to possess impressive capabilities in a variety of domains and tasks. We investigate the issue of prompt design in the multi-turn text-to-SQL task and attempt to enhance the…

Computation and Language · Computer Science 2024-05-07 Hanchong Zhang , Ruisheng Cao , Hongshen Xu , Lu Chen , Kai Yu

The Web of Linked Data is composed of tons of RDF documents interlinked to each other forming a huge repository of distributed semantic data. Effectively querying this distributed data source is an important open problem in the Semantic Web…

Databases · Computer Science 2015-07-21 Olaf Hartig , Jorge Pérez

Tables are often created with hierarchies, but existing works on table reasoning mainly focus on flat tables and neglect hierarchical tables. Hierarchical tables challenge existing methods by hierarchical indexing, as well as implicit…

Computation and Language · Computer Science 2022-03-29 Zhoujun Cheng , Haoyu Dong , Zhiruo Wang , Ran Jia , Jiaqi Guo , Yan Gao , Shi Han , Jian-Guang Lou , Dongmei Zhang

Utterance rewriting aims to recover coreferences and omitted information from the latest turn of a multi-turn dialogue. Recently, methods that tag rather than linearly generate sequences have proven stronger in both in- and out-of-domain…

Computation and Language · Computer Science 2022-08-09 Lisa Jin , Linfeng Song , Lifeng Jin , Dong Yu , Daniel Gildea

The rise of Large Language Models (LLMs) has significantly advanced Text-to-SQL (NL2SQL) systems, yet evaluating the semantic equivalence of generated SQL remains a challenge, especially given ambiguous user queries and multiple valid SQL…

Computation and Language · Computer Science 2025-06-12 Qingyun Zeng , Simin Ma , Arash Niknafs , Ashish Basran , Carol Szabo

Text-to-SQL semantic parsing faces challenges in generalizing to cross-domain and complex queries. Recent research has employed a question decomposition strategy to enhance the parsing of complex SQL queries. However, this strategy…

Computation and Language · Computer Science 2023-10-23 Ben Eyal , Amir Bachar , Ophir Haroche , Moran Mahabi , Michael Elhadad

There is a growing demand for supporting inference queries that combine Structured Query Language (SQL) and Artificial Intelligence / Machine Learning (AI/ML) model inferences in database systems, to avoid data denormalization and transfer,…

Databases · Computer Science 2026-03-02 Lixi Zhou , Kanchan Chowdhury , Lulu Xie , Jaykumar Tandel , Hong Guan , Zhiwei Fan , Xinwei Fu , Jia Zou

Text-to-SQL is a pivotal task that bridges natural language understanding and structured data access, yet it remains fundamentally challenging due to semantic ambiguity and complex compositional reasoning. While large language models (LLMs)…

Artificial Intelligence · Computer Science 2025-10-20 Jiayuan Bai , Xuan-guang Pan , Chongyang Tao , Shuai Ma

There are massive amounts of textual data residing in databases, valuable for many machine learning (ML) tasks. Since ML techniques depend on numerical input representations, word embeddings are increasingly utilized to convert symbolic…

Databases · Computer Science 2020-01-23 Michael Günther , Maik Thiele , Wolfgang Lehner

Surrogate keys are now extensively utilized by database designers to implement keys in SQL tables. They are straightforward, easy to understand, and enable efficient access, despite lacking any real-world semantic meaning. In this context,…

Query rewriting, the process of transforming queries into semantically equivalent yet more efficient variants, is crucial for database optimization. Existing solutions predominantly rely on either rule-based heuristics or Large Language…

Databases · Computer Science 2026-04-09 Jiahui Li , Tongwang Wu , Yuren Mao , Rong Kang , Tieying Zhang , Yunjun Gao

Large Language Models (LLMs) have made significant progress in assisting users to query databases in natural language. While LLM-based techniques provide state-of-the-art results on many standard benchmarks, their performance significantly…

Artificial Intelligence · Computer Science 2024-07-09 Nina Narodytska , Shay Vargaftik

Language-integrated query based on comprehension syntax is a powerful technique for safe database programming, and provides a basis for advanced techniques such as query shredding or query flattening that allow efficient programming with…

Programming Languages · Computer Science 2021-07-20 Wilmer Ricciotti , James Cheney

This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling possible errors in such queries. First, we define a…

Databases · Computer Science 2020-02-19 Fernando Sáenz-Pérez

Dynamic HoTT (DHoTT) is a conservative extension of Homotopy Type Theory designed for evolving texts in conversational AI. In a chat system, a large language model (LLM) is queried with a growing prefix: at turn tau the input is C(tau), the…

Logic in Computer Science · Computer Science 2025-11-18 Iman Poernomo

Large Language Model-based (LLM-based) Text-to-SQL methods have achieved important progress in generating SQL queries for real-world applications. When confronted with table content-aware questions in real-world scenarios, ambiguous data…

Databases · Computer Science 2025-11-07 Wenbo Xu , Liang Yan , Chuanyi Liu , Peiyi Han , Haifeng Zhu , Yong Xu , Yingwei Liang , Bob Zhang