[论文解读] Provenance Traces

James Cheney, Umut A. Acar+1 more|arXiv (Cornell University)|Dec 2, 2008

Scientific Computing and Data Management参考文献 28被引用 16

一句话总结

本文提出了溯源追踪（provenance traces）——一种基于形式化、操作语义的嵌套关系演算（NRC）溯源模型。通过捕捉确保一致性和保真度的执行轨迹，该模型统一并形式化地奠定了三种现有溯源模型的基础，为数据库中的数据血缘推理提供了稳健的语义基础。

ABSTRACT

Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due to its importance in helping scientists judge data validity, quality and integrity. However, most models of provenance have been stated as ad hoc definitions motivated by informal concepts such as comes from, influences, produces, or depends on. These models lack clear formalizations describing in what sense the definitions capture these intuitive concepts. This makes it difficult to compare approaches, evaluate their effectiveness, or argue about their validity. We introduce provenance traces, a general form of provenance for the nested relational calculus (NRC), a core database query language. Provenance traces can be thought of as concrete data structures representing the operational semantics derivation of a computation; they are related to the traces that have been used in self-adjusting computation, but differ in important respects. We define a tracing operational semantics for NRC queries that produces both an ordinary result and a trace of the execution. We show that three pre-existing forms of provenance for the NRC can be extracted from provenance traces. Moreover, traces satisfy two semantic guarantees: consistency, meaning that the traces describe what actually happened during execution, and fidelity, meaning that the traces explain how the expression would behave if the input were changed. These guarantees are much stronger than those contemplated for previous approaches to provenance; thus, provenance traces provide a general semantic foundation for comparing and unifying models of provenance in databases.

研究动机与目标

• 为解决数据库中溯源模型缺乏形式化、一致定义的问题，这些模型往往具有临时性和非形式化特征。
• 为溯源提供形式化语义基础，以支持对现有模型的严谨比较与验证。
• 为NRC定义一种追踪操作语义，既能生成查询结果，也能生成执行轨迹。
• 证明三种现有溯源模型可从溯源追踪中推导而出。
• 为溯源表示建立强语义保证——一致性与保真度。

提出的方法

• 为嵌套关系演算（NRC）定义一种追踪操作语义，既能生成查询结果，也能生成其执行的溯源轨迹。
• 将溯源轨迹建模为反映实际计算派生过程的具体数据结构，类似于自适应计算中的轨迹，但设计目标不同。
• 通过保证轨迹准确反映计算的实际执行路径来确保一致性。
• 通过确保轨迹能解释输入变化下结果如何改变来强制实现保真度，从而支持对敏感性和变化的推理。
• 从溯源轨迹中提取三种现有溯源模型（如血缘、依赖和影响）作为派生形式。
• 使用形式类型系统和操作语义确保追踪机制的正确性与组合性。

实验结果

研究问题

• RQ1 如何以形式化方式定义溯源，使其能捕捉‘源自’或‘依赖于’等直观概念？
• RQ2 在何种意义上，溯源轨迹可被视为既准确又具备对输入变化下行为的预测能力？
• RQ3 能否从单一、统一的形式化模型中推导出现有临时性的溯源模型？
• RQ4 溯源在数据库系统中要具备可信性，需要哪些语义保证？
• RQ5 NRC中的追踪机制如何同时支持查询结果的正确性与可解释性？

主要发现

• 溯源轨迹提供了一种形式化操作语义，能够捕捉NRC查询的实际执行路径，确保与观察行为的一致性。
• 该模型支持保真度，即轨迹可预测结果在输入修改下的变化，从而支持敏感性分析。
• 三种预先存在的溯源模型——血缘、依赖和影响——可系统地从溯源轨迹框架中提取。
• 该框架为比较和验证多样化的溯源模型提供了统一基础，克服了临时定义的局限性。
• 该方法通过形式化、可执行的溯源表示，支持对数据有效性、质量和完整性的严谨推理。
• 一致性与保真度的语义保证强于先前方法，增强了对溯源信息的信任。