English
Related papers

Related papers: Design of an intermediate representation for query…

200 papers

Large Language Models (LLMs) excel at general code generation, yet translating natural-language trading intents into correct option strategies remains challenging. Real-world option design requires reasoning over massive, multi-dimensional…

Artificial Intelligence · Computer Science 2026-03-18 Haochen Luo , Zhengzhao Lai , Junjie Xu , Yifan Li , Tang Pok Hin , Yuan Zhang , Chen Liu

We introduce an abstract machine architecture for classical/quantum computations---including compilation---along with a quantum instruction language called Quil for explicitly writing these computations. With this formalism, we discuss…

Quantum Physics · Physics 2017-02-20 Robert S. Smith , Michael J. Curtis , William J. Zeng

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

We consider the problem of defining semantic metrics for relational database queries. Informally, a semantic query metric for a query language $L$ is a metric function $\delta:L\times L\to \mathbb{N}$ where $\delta(Q_1, Q_2)$ represents the…

Databases · Computer Science 2025-03-25 George Fletcher , Peter Wood , Nikolay Yakovets

The number of databases as well as their size and complexity is increasing. This creates a barrier to use especially for non-experts, who have to come to grips with the nature of the data, the way it has been represented in the database,…

Computation and Language · Computer Science 2021-04-15 Adrián Bazaga , Nupur Gunwant , Gos Micklem

The goal of this paper is to provide a strong integration between constraint modelling and relational DBMSs. To this end we propose extensions of standard query languages such as relational algebra and SQL, by adding constraint modelling…

Artificial Intelligence · Computer Science 2021-06-02 Marco Cadoli , Toni Mancini

Traditionally, query optimizers have been designed for computer systems that share a common architecture, consisting of a CPU, main memory and disk subsystem. The efficiency of query optimizers and their successful employment relied on the…

Databases · Computer Science 2022-03-03 K. F. D. Rietveld , H. A. G. Wijshoff

Query Optimisation (QO) is the most important optimisation problem in databases. The goal of QO is to compute the best physical plan under a given cost model. In that process, physical operators are used as building blocks for the planning…

Databases · Computer Science 2019-12-18 Jens Dittrich , Joris Nix

Fault-tolerant protocols enable large and precise quantum algorithms. Many such protocols rely on a feed-forward processing of data, enabled by a hybrid of quantum and classical logic. Representing the control structure of such programs can…

Qwerty is a high-level quantum programming language built on bases and functions rather than circuits. This new paradigm introduces new challenges in compilation, namely synthesizing circuits from basis translations and automatically…

During the last two decades, it has been increasingly acknowledged that the engineering of information systems usually requires a huge effort in integrating master data and business processes. This has led to a plethora of proposals, both…

Databases · Computer Science 2019-07-10 Diego Calvanese , Marco Montali , Fabio Patrizi , Andrey Rivkin

We often add arithmetic to extend the expressiveness of query languages and study the complexity of problems such as testing query containment and finding certain answers in the framework of answering queries using views. When adding…

Databases · Computer Science 2020-11-19 Foto N. Afrati , Matthew Damigos

From the moment of their inception, languages for relational data have been described as sublanguages embedded in a host programming language. Rel is a new relational language whose key design goal is to go beyond this paradigm with…

Database query engines use pull-based or push-based approaches to avoid the materialization of data across query operators. In this paper, we study these two types of query engines in depth and present the limitations and advantages of each…

Databases · Computer Science 2016-10-31 Amir Shaikhha , Mohammad Dashti , Christoph Koch

We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL. Since Curry is statically typed, our emphasis on this SQL integration is on type safety. Our…

Programming Languages · Computer Science 2017-01-04 Michael Hanus , Julia Krone

In the constraint database model, spatial and spatio-temporal data are stored by boolean combinations of polynomial equalities and inequalities over the real numbers. The relational calculus augmented with polynomial constraints is the…

Logic in Computer Science · Computer Science 2007-12-13 Bart Kuijpers , Walied Othman , Rafael Grimson

Multiple lines of research have developed Natural Language (NL) interfaces for formulating database queries. We build upon this work, but focus on presenting a highly detailed form of the answers in NL. The answers that we present are…

Databases · Computer Science 2020-07-10 Daniel Deutch , Nave Frost , Amir Gilad

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood…

Artificial Intelligence · Computer Science 2011-11-02 Birte Glimm , Ian Horrocks , Carsten Lutz , Ulrike Sattler

Big data management aims to establish data hubs that support data in multiple models and types in an all-around way. Thus, the multi-model database system is a promising architecture for building such a multi-model data store. For an…

Databases · Computer Science 2021-05-18 Yu Yan , Nan Jiang , Hongzhi Wang , Yutong Wang , Chang Liu , Yuzhuo Wang