Edinburgh Research Explorer A Practical Theory of Language-integrated Query
Edinburgh Research Explorer A Practical Theory of Language-integrated Query
复制标题
爱丁堡研究探索者语言集成查询的实用理论
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
P. Wadler
中科院分区：
文献类型：
--
作者：
James Cheney;S. Lindley;P. Wadler
数据库集成查询正在重新受到关注，部分原因是它通过Microsoft的LINQ框架提供支持。我们提出了一个实用的理论，语言集成查询的基础上报价和规范化的报价条款。我们的技术支持连接查询，抽象的值和谓词，合成查询，动态生成查询，查询嵌套中间数据。高阶特征甚至在构造一阶查询时也被证明是有用的。我们证明了一个定理的特点时，主机查询保证生成一个单一的SQL查询。我们目前的实验结果证实我们的技术作品，即使在微软的LINQ框架either未能产生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, compo- sition 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 ei- ther fails to produce an SQL query or, in one case, produces an avalanche of SQL queries.