Language-Integrated Queries: a BOLDR Approach

Véronique Benzaken (1) , Giuseppe Castagna (2, 3) , Laurent Daynes (4) , Julien Lopez (1) , Kim Nguyen (1) , Romain Vernoux (5)

1 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)
2 CNRS - Centre National de la Recherche Scientifique
3 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
4 Oracle Labs
5 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay

We present BOLDR, a modular framework that enables the evaluation in databases of queries containing application logic and, in particular, user-defined functions. BOLDR also allows the nesting of queries for different databases of possibly different data models. The framework detects the boundaries of queries present in an application, translates them into an intermediate representation together with the relevant language environment, rewrites them in order to avoid query avalanches and to make the most out of database optimizations, and converts the results back to the application. Our experiments show that the techniques we implemented are applicable to real-world database applications, successfully handling a variety of language-integrated queries with good performances.

Mots clés: CCS CONCEPTS • Theory of computation → Database query languages (prin- ciples); Language-integrated queries; R; data-centric languages; Database query processing and optimization (theory); Func- tional constructs; • Software and its engineering → Imperative languages; Compilers; • Information systems → Query opera- tors; KEYWORDS Language-integrated queries; databases

Domaines: Langage de programmation [cs.PL]

Véronique Benzaken, Giuseppe Castagna, Laurent Daynes, Julien Lopez, Kim Nguyen, et al.. Language-Integrated Queries: a BOLDR Approach. WWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩. ⟨hal-01717995v2⟩