Finally, safely-extensible and efficient language-integrated query

Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)

Abstract

Language-integrated query is an embedding of database queries into a host language to code queries at a higher level than the all-to-common concatenation of strings of SQL fragments. The eventually produced SQL is ensured to be well-formed and welltyped, and hence free from the embarrassing (security) problems. Language-integrated query takes advantage of the host language's functional and modular abstractions to compose and reuse queries and build query libraries. Furthermore, language-integrated query systems like T-LINQ generate efficient SQL, by applying a number of program transformations to the embedded query. Alas, the set of transformation rules is not designed to be extensible. We demonstrate a new technique of integrating database queries into a typed functional programming language, so to write welltyped, composable queries and execute them efficiently on any SQL back-end as well as on an in-memory noSQL store. A distinct feature of our framework is that both the query language as well as the transformation rules needed to generate efficient SQL are safely user-extensible, to account for many variations in the SQL backends, as well for domain-specific knowledge. The transformation rules are guaranteed to be type-preserving and hygienic by their very construction. They can be built from separately developed and reusable parts and arbitrarily composed into optimization pipelines. With this technique we have embedded into OCaml a relational query language that supports a very large subset of SQL including grouping and aggregation. Its types cover the complete set of intricate SQL behaviors.

Original languageEnglish
Title of host publicationPEPM 2016 - Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2016
EditorsTiark Rompf, Martin Erwig
PublisherAssociation for Computing Machinery, Inc
Pages37-48
Number of pages12
ISBN (Electronic)9781450340977
DOIs
Publication statusPublished - 2016 Jan 11
Event2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016 - St. Petersburg, United States
Duration: 2016 Jan 182016 Jan 19

Publication series

NamePEPM 2016 - Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2016

Other

Other2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016
CountryUnited States
CitySt. Petersburg
Period16/1/1816/1/19

Keywords

  • EDSL
  • LINQ
  • Language-integrated query
  • SQL
  • Tagless-final

ASJC Scopus subject areas

  • Computer Vision and Pattern Recognition
  • Software
  • Computer Graphics and Computer-Aided Design

Fingerprint Dive into the research topics of 'Finally, safely-extensible and efficient language-integrated query'. Together they form a unique fingerprint.

Cite this