en
0.25
0.5
0.75
1.25
1.5
1.75
2
Formal Veri cation of Data Provenance Records
Published on Dec 03, 20124023 Views
Data provenance is the history of derivation of a data artifact from its original sources. As the real-life provenance records can likely cover thousands of data items and derivation steps, one of the
Related categories
Chapter list
Formal Veri cation of Data Provenance Records00:00
Problem: reasoning over data provenance - 100:12
Problem: reasoning over data provenance - 201:57
Overview05:23
Data provenance records - 106:31
Data provenance records - 207:43
Veri cation as model-checking08:27
Provenance speci cation logic10:04
The First Provenance Challenge12:31
Example13:29
Accommodating rich provenance metadata15:14
Example cntd.16:39
Observations18:56
Reasoning21:38
Summary23:33