Declaratively processing provenance metadata

Authors:
Scott Moore;Ashish Gehani;Natarajan Shankar
Affiliations:
Harvard University;SRI International;SRI International
Venue:
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Year:
2013

Citing 12
Cited 0

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies

Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
The Open Provenance Model core specification (v1.1)

Future Generation Computer Systems
PROPUB: towards a declarative approach for publishing customized, policy-aware provenance

SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
Policy-Based Integration of Provenance Metadata

POLICY '11 Proceedings of the 2011 IEEE International Symposium on Policies for Distributed Systems and Networks
Towards a model of provenance and user views in scientific workflows

DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Dedalus: datalog in time and space

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog as a lingua franca for provenance querying and reasoning

TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
Towards automated collection of application-level data provenance

TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
A PROV encoding for provenance analysis using deductive rules

IPAW'12 Proceedings of the 4th international conference on Provenance and Annotation of Data and Processes
Declarative rules for inferring fine-grained data provenance from scientific workflow execution traces

IPAW'12 Proceedings of the 4th international conference on Provenance and Annotation of Data and Processes
SPADE: support for provenance auditing in distributed environments

Proceedings of the 13th International Middleware Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Systems that gather fine-grained provenance metadata must process and store large amounts of information. Filtering this metadata as it is collected has a number of benefits, including reducing the amount of persistent storage required and simplifying subsequent provenance queries. However, writing these filters in a procedural language is verbose and error prone. We propose a simple declarative language for processing provenance metadata and evaluate it by translating filters implemented in SPADE [9], an open-source provenance collection platform.