Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Under consideration for publication in Math. Struct. in Comp. Science Provenance as Dependency Analysis
 

Summary: Under consideration for publication in Math. Struct. in Comp. Science
Provenance as Dependency Analysis
James Cheney1
and Amal Ahmed2
and Umut A. Acar3
1
University of Edinburgh
2
Indiana University
3
Max-Planck Institute for Software Systems
Received 15 October 2010
Provenance is information recording the source, derivation, or history of some information.
Provenance tracking has been studied in a variety of settings, particularly database management
systems; however, although many candidate definitions of provenance have been proposed, the
mathematical or semantic foundations of data provenance have received comparatively little
attention. In this article, we argue that dependency analysis techniques familiar from program
analysis and program slicing provide a formal foundation for forms of provenance that are intended
to show how (part of) the output of a query depends on (parts of) its input. We introduce a semantic
characterization of such dependency provenance for a core database query language, show that

  

Source: Ahmed, Amal - School of Informatics, Indiana University

 

Collections: Computer Technologies and Information Sciences