Language-integrated provenance
Language-integrated provenance
复制标题
语言集成的出处
DOI：
10.1145/2967973.2968604
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
J. Cheney
中科院分区：
文献类型：
--
作者：
Stefan Fehrenbach;J. Cheney
出处或有关数据原点或推导的信息，对于评估数据的可信度以及识别和纠正错误很重要。大多数先前的数据出处实现都涉及对数据库系统的重量修改，并且很少关注如何在此类系统之外使用这些出处数据。我们向链接编程语言提供了扩展，该语言以其对语言集成查询的支持为基础，以通过重写和标准化Monadic综合并扩展类型系统来支持出处查询，以区分出处元数据和正常数据。本文的主要贡献是表明，可以有效地实施两种最常见的出处形式，并安全地用作编程语言功能，而没有更改数据库系统。
Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight modifications to database systems and little attention has been paid to how the provenance data can be used outside such a system. We present extensions to the Links programming language that build on its support for language-integrated query to support provenance queries by rewriting and normalizing monadic comprehensions and extending the type system to distinguish provenance metadata from normal data. The main contribution of this paper is to show that the two most common forms of provenance can be implemented efficiently and used safely as a programming language feature with no changes to the database system.
PUG：为什么和为什么不起源的框架和实际实施
DOI：
10.1007/s00778-018-0518-5
发表时间：
2018
期刊：
The VLDB Journal
影响因子：
--
作者：
Lee, Seokki;Ludäscher, Bertram;Glavic, Boris
通讯作者：
Glavic, Boris
解释其工作的数据库查询
DOI：
10.1145/2643135.2643143
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Cheney J
通讯作者：
Cheney J
解释其工作的函数式程序
DOI：
10.1145/2364527.2364579
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Perera R
通讯作者：
Perera R