English
Related papers

Related papers: Translating database mathematical schemes into rel…

200 papers

A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedded SQL queries and commands. In this paper, we introduce a…

Logic in Computer Science · Computer Science 2016-10-10 Shachar Itzhaky , Tomer Kotek , Noam Rinetzky , Mooly Sagiv , Orr Tamir , Helmut Veith , Florian Zuleger

In this paper, we motivated the need for relational database systems to support subset query processing. We defined new operators in relational algebra, and new constructs in SQL for expressing subset queries. We also illustrated the…

Databases · Computer Science 2007-05-23 Satyanarayana R Valluri , Kamalakar Karlapalem

Most business process automation is still developed using traditional automation technologies such as workflow engines. These systems provide domain specific languages that require both business knowledge and programming skills to…

Computation and Language · Computer Science 2022-07-22 Michael Desmond , Evelyn Duesterwald , Vatche Isahagian , Vinod Muthusamy

Many database columns contain string or numerical data that conforms to a pattern, such as phone numbers, dates, addresses, product identifiers, and employee ids. These patterns are useful in a number of data processing applications,…

Databases · Computer Science 2017-12-07 Andrew Ilyas , Joana M. F. da Trindade , Raul Castro Fernandez , Samuel Madden

AI-Powered database (AI-DB) is a novel relational database system that uses a self-supervised neural network, database embedding, to enable semantic SQL queries on relational tables. In this paper, we describe an architecture and…

Artificial Intelligence · Computer Science 2023-03-02 Prabhakar Kudva , Rajesh Bordawekar , Apoorva Nitsure

Training effective Text-to-SQL models remains challenging due to the scarcity of high-quality, diverse, and structurally complex datasets. Existing methods either rely on limited human-annotated corpora, or synthesize datasets directly by…

Computation and Language · Computer Science 2026-01-09 Xuanguang Pan , Chongyang Tao , Jiayuan Bai , Jianling Gao , Zhengwei Tao , Xiansheng Zhou , Gavin Cheung , Shuai Ma

Text-to-SQL is emerging as a practical interface for real world databases. The dominant paradigm for Text-to-SQL is cross-database or schema-independent, supporting application schemas unseen during training. The schema of a database…

XML has emerged as the standard for representing and exchanging data on the World Wide Web. It is critical to have efficient mechanisms to store and query XML data to exploit the full power of this new technology. Several researchers have…

Databases · Computer Science 2010-10-11 Mustafa Atay , Yezhou Sun , Dapeng Liu , Shiyong Lu , Farshad Fotouhi

Databases have been studied category-theoretically for decades. The database schema -- whose purpose is to arrange high-level conceptual entities -- is generally modeled as a category or sketch. The data itself, often called an instance, is…

Category Theory · Mathematics 2025-01-20 Patrick Schultz , David I. Spivak , Christina Vasilakopoulou , Ryan Wisnesky

Optimization tasks over relational data, such as clustering, often suffer from the prohibitive cost of join operations, which are necessary to access the full dataset. While geometric data structures like BBD trees yield fast approximation…

Databases · Computer Science 2026-03-13 Aryan Esmailpour , Stavros Sintos

A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebraic structure (for instance the natural numbers, the lists,…

Logic in Computer Science · Computer Science 2012-04-16 Mnacho Echenim , Nicolas Peltier

Learning a natural language interface for database tables is a challenging task that involves deep language understanding and multi-step reasoning. The task is often approached by mapping natural language queries to logical forms or…

Computation and Language · Computer Science 2017-03-03 Arvind Neelakantan , Quoc V. Le , Martin Abadi , Andrew McCallum , Dario Amodei

Efficient querying and analysis of large tabular datasets remain significant challenges, especially for users without expertise in programming languages like SQL. Text-to-SQL approaches have shown promising performance on benchmark data;…

Databases · Computer Science 2025-08-27 Yipeng Zhang , Chen Wang , Yuzhe Zhang , Jacky Jiang

Model-Based Systems Engineering aims at creating a model of a system under development, covering the complete system with a level of detail that allows to define and understand its behavior and enables to define any interface and…

Software Engineering · Computer Science 2022-01-19 Florian Schummer , Maximilian Hyba

Set constraints provide a highly general way to formulate program analyses. However, solving arbitrary boolean combinations of set constraints is NEXPTIME-hard. Moreover, while theoretical algorithms to solve arbitrary set constraints…

Programming Languages · Computer Science 2020-03-03 Joseph Eremondi

A central problem in data integration and data cleansing is to find entities in different data sources that describe the same real-world object. Many existing methods for identifying such entities rely on explicit linkage rules which…

Databases · Computer Science 2012-08-02 Robert Isele , Christian Bizer

Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This can be applied to a system that translates SQL to Datalog to…

Programming Languages · Computer Science 2016-09-23 Fernando Sáenz-Pérez

The task of translating between programming languages differs from the challenge of translating natural languages in that programming languages are designed with a far more rigid set of structural and grammatical rules. Previous work has…

Machine Learning · Computer Science 2018-07-06 Mehdi Drissi , Olivia Watkins , Aditya Khant , Vivaswat Ojha , Pedro Sandoval , Rakia Segev , Eric Weiner , Robert Keller

We consider the problem of embedding entities and relations of knowledge bases in low-dimensional vector spaces. Unlike most existing approaches, which are primarily efficient for modeling equivalence relations, our approach is designed to…

Machine Learning · Computer Science 2013-04-29 Antoine Bordes , Nicolas Usunier , Alberto Garcia-Duran , Jason Weston , Oksana Yakhnenko

Traditional relation extraction predicts relations within some fixed and finite target schema. Machine learning approaches to this task require either manual annotation or, in the case of distant supervision, existing structured sources of…

Machine Learning · Computer Science 2013-01-29 Sebastian Riedel , Limin Yao , Andrew McCallum