English
Related papers

Related papers: Strongly-Normalizing Higher-Order Relational Queri…

200 papers

Text-to-SQL aims to translate natural language queries into SQL statements, which is practical as it enables anyone to easily retrieve the desired information from databases. Recently, many existing approaches tackle this problem with Large…

Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference…

Programming Languages · Computer Science 2015-07-01 Derek Dreyer , Amal Ahmed , Lars Birkedal

Relational databases excel at structured data analysis, but real-world queries increasingly require capabilities beyond standard SQL, such as semantically matching entities across inconsistent names, extracting information not explicitly…

Databases · Computer Science 2026-05-15 Yin Lin , Tianjing Zeng , Zhongjun Ding , Rong Zhu , Bolin Ding , H. V. Jagadish , Jingren Zhou

Translating SQL dialects across different relational database management systems (RDBMSs) is crucial for migrating RDBMS-based applications to the cloud. Traditional SQL dialect translation tools rely on manually-crafted rules,…

Databases · Computer Science 2026-01-12 Xudong Xie , Yuwei Zhang , Wensheng Dou , Yu Gao , Ziyu Cui , Jiansen Song , Rui Yang , Jun Wei

Order-sorted algebras and many sorted algebras exist in a long history with many different implementations and applications. A lot of language specifications have been defined in order-sorted algebra frameworks such as the language…

Programming Languages · Computer Science 2018-02-20 Liyi Li , Elsa Gunter

SQL is the world's most popular declarative language, forming the basis of the multi-billion-dollar database industry. Although SQL has been standardized, the full standard is based on ambiguous natural language rather than formal…

Logic in Computer Science · Computer Science 2022-06-22 Wilmer Ricciotti , James Cheney

Despite bilingual speakers frequently using mixed-language queries in web searches, Information Retrieval (IR) research on them remains scarce. To address this, we introduce MiLQ, Mixed-Language Query test set, the first public benchmark of…

Information Retrieval · Computer Science 2025-10-21 Jonghwi Kim , Deokhyung Kang , Seonjeong Hwang , Yunsu Kim , Jungseul Ok , Gary Lee

Natural language is hypothetically the best user interface for many domains. However, general models that provide an interface between natural language and any other domain still do not exist. Providing natural language interface to…

Computation and Language · Computer Science 2020-05-18 Jovan Kalajdjieski , Martina Toshevska , Frosina Stojanovska

Translating natural language utterances to executable queries is a helpful technique in making the vast amount of data stored in relational databases accessible to a wider range of non-tech-savvy end users. Prior work in this area has…

Computation and Language · Computer Science 2020-10-21 Karthik Radhakrishnan , Arvind Srikantan , Xi Victoria Lin

This paper concerns with the conversion of a Spoken English Language Query into SQL for retrieving data from RDBMS. A User submits a query as speech signal through the user interface and gets the result of the query in the text format. We…

Computation and Language · Computer Science 2013-08-15 Sachin Kumar , Ashish Kumar , Pinaki Mitra , Girish Sundaram

An important aspect of data integration involves answering queries using various resources rather than by accessing database relations. The process of transforming a query from the database relations to the resources is often referred to as…

Databases · Computer Science 2007-05-23 J. Grant , J. Minker

When writing SQL queries, it is often convenient to use correlated subqueries. However, for the database engine, these correlated queries are very difficult to evaluate efficiently. The query optimizer will therefore try to eliminate the…

Databases · Computer Science 2024-12-06 Thomas Neumann

A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason about. Many basic problems are decidable and admit practical…

Databases · Computer Science 2012-03-02 Vince Barany , Balder ten Cate , Martin Otto

Generating structured query language (SQL) from natural language is an emerging research topic. This paper presents a new learning paradigm from indirect supervision of the answers to natural language questions, instead of SQL queries. This…

Computation and Language · Computer Science 2018-09-11 Ziwei Bai , Bo Yu , Bowen Wu , Zhuoran Wang , Baoxun Wang

Keyword search against structured databases has become a popular topic of investigation, since many users find structured queries too hard to express, and enjoy the freedom of a ``Google-like'' query box into which search terms can be…

Databases · Computer Science 2009-09-15 Arnab Nandi , H V Jagadish

To access data stored in relational databases, users need to understand the database schema and write a query using a query language such as SQL. To simplify this task, text-to-SQL models attempt to translate a user's natural language…

Computation and Language · Computer Science 2020-11-05 Amol Kelkar , Rohan Relan , Vaishali Bhardwaj , Saurabh Vaichal , Chandra Khatri , Peter Relan

While current tasks of converting natural language to SQL (NL2SQL) using Foundation Models have shown impressive achievements, adapting these approaches for converting natural language to Graph Query Language (NL2GQL) encounters hurdles due…

Computation and Language · Computer Science 2024-07-02 Yuhang Zhou , Yu He , Siyu Tian , Yuchen Ni , Zhangyue Yin , Xiang Liu , Chuanjun Ji , Sen Liu , Xipeng Qiu , Guangnan Ye , Hongfeng Chai

Relational databases are foundational to numerous domains, including business intelligence, scientific research, and enterprise systems. However, accessing and analyzing structured data often requires proficiency in SQL, which is a skill…

Databases · Computer Science 2025-07-10 Luyu Qiu , Jianing Li , Chi Su , Lei Chen

This paper concerns the paraconsistent logic LPQ$^{\supset,\mathsf{F}}$ and an application of it in the area of relational database theory. The notions of a relational database, a query applicable to a relational database, and a consistent…

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

Translating natural language to SQL queries for table-based question answering is a challenging problem and has received significant attention from the research community. In this work, we extend a pointer-generator and investigate the…

Artificial Intelligence · Computer Science 2018-11-14 Denis Lukovnikov , Nilesh Chakraborty , Jens Lehmann , Asja Fischer