We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Query Lifting: Language-integrated query for heterogeneous nested collections

Abstract: Language-integrated query based on comprehension syntax is a powerful technique for safe database programming, and provides a basis for advanced techniques such as query shredding or query flattening that allow efficient programming with complex nested collections. However, the foundations of these techniques are lacking: although SQL, the most widely-used database query language, supports heterogeneous queries that mix set and multiset semantics, these important capabilities are not supported by known correctness results or implementations that assume homogeneous collections. In this paper we study language-integrated query for a heterogeneous query language $NRC_\lambda(Set,Bag)$ that combines set and multiset constructs. We show how to normalize and translate queries to SQL, and develop a novel approach to querying heterogeneous nested collections, based on the insight that ``local'' query subexpressions that calculate nested subcollections can be ``lifted'' to the top level analogously to lambda-lifting for local function definitions.
Comments: Full version of ESOP 2021 conference paper
Subjects: Programming Languages (cs.PL); Databases (cs.DB)
DOI: 10.1007/978-3-030-72019-3_21
Cite as: arXiv:2101.04102 [cs.PL]
  (or arXiv:2101.04102v2 [cs.PL] for this version)

Submission history

From: Wilmer Ricciotti [view email]
[v1] Mon, 11 Jan 2021 18:48:26 GMT (398kb,D)
[v2] Mon, 18 Jan 2021 14:55:34 GMT (400kb,D)

Link back to: arXiv, form interface, contact.