A Practical Theory of Language-Integrated Query
A Practical Theory of Language-Integrated Query
复制标题
DOI：
10.1145/2500365.2500586
复制
发表时间：
2013-09-01
影响因子：
--
通讯作者：
Wadler, Philip
中科院分区：
文献类型：
--
作者：
Cheney, James;Lindley, Sam;Wadler, Philip
语言集成的查询引起了新的关注，部分原因是它通过Microsoft的LINQ框架提供了支持。我们提出了一种基于引用术语的引号和标准化语言集成查询的实用理论。我们的技术支持加入查询，对值和谓词的抽象，查询的组成，查询的动态生成以及具有嵌套中间数据的查询。即使对于构建一阶查询，高阶功能也很有用。我们证明，当保证主机查询生成单个SQL查询时，我们证明了一个定理的特征。我们提出了实验结果，即使在Microsoft的LINQ框架无法产生SQL查询的情况下，也可以证实我们的技术有效，或者在一种情况下会产生SQL查询的雪崩。
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.