Sign inSign up
Formal Verification of Data Provenance Records thumbnail
slide-image
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Formal Verification of Data Provenance Records

Published on Dec 10, 20123290 Views

Szymon Klarman

PlanetData Video Journal Volume 1

Related categories

Semantic Web

Chapter list

Formal Verification of Data Provenance Records00:00
Problem (1)00:11
Problem (2)02:35
Data provenance records03:03
Provenance Specification Logic03:38
Validation04:16
Summary04:33