Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

conference paper · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 2013

A practical theory of language-integrated query

James Cheney, Sam Lindley, Philip L. Wadler

Cited by 81Open access

Abstract

Language-integrated query is receiving renewed attention, in part because of its support through Microsoft's LINQ framework. We present a practical theory of language-integrated query based on quotation and normalisation of quoted terms. Our technique supports join queries, abstraction over values and predicates, composition of queries, dynamic generation of queries, and queries with nested intermediate data. Higher-order features prove useful even for constructing first-order queries. We prove a theorem characterising when a host query is guaranteed to generate a single SQL query. We present experimental results confirming our technique works, even in situations where Microsoft's LINQ framework either fails to produce an SQL query or, in one case, produces an avalanche of SQL queries.

Cite this paper

APA 7

Cheney, J., Lindley, S., & Wadler, P. L. (2013). A practical theory of language-integrated query. ACM SIGPLAN International Conference on Functional Programming (ICFP), 403–416. https://doi.org/10.1145/2500365.2500586

MLA 9

Cheney, James, et al. “A practical theory of language-integrated query.” ACM SIGPLAN International Conference on Functional Programming (ICFP), 2013, pp. 403–16, https://doi.org/10.1145/2500365.2500586.

Chicago

Cheney, James, Sam Lindley, and Philip L. Wadler. 2013. “A practical theory of language-integrated query.” ACM SIGPLAN International Conference on Functional Programming (ICFP): 403–16. https://doi.org/10.1145/2500365.2500586.

Harvard

Cheney, J., Lindley, S. and Wadler, P.L. (2013) ‘A practical theory of language-integrated query’, ACM SIGPLAN International Conference on Functional Programming (ICFP), pp. 403–416. Available at: https://doi.org/10.1145/2500365.2500586.

BibTeX
@article{cheney2013practical,
  title = {{A practical theory of language-integrated query}},
  author = {Cheney, James and Lindley, Sam and Wadler, Philip L.},
  journal = {ACM SIGPLAN International Conference on Functional Programming (ICFP)},
  pages = {403--416},
  year = {2013},
  doi = {10.1145/2500365.2500586}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers