Computer Science – Logic in Computer Science
Scientific paper
2010-06-08
EPTCS 26, 2010, pp. 63-74
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.26.6
Provenance, or information about the sources, derivation, custody or history of data, has been studied recently in a number of contexts, including databases, scientific workflows and the Semantic Web. Many provenance mechanisms have been developed, motivated by informal notions such as influence, dependence, explanation and causality. However, there has been little study of whether these mechanisms formally satisfy appropriate policies or even how to formalize relevant motivating concepts such as causality. We contend that mathematical models of these concepts are needed to justify and compare provenance techniques. In this paper we review a theory of causality based on structural models that has been developed in artificial intelligence, and describe work in progress on using causality to give a semantics to provenance graphs.
No associations
LandOfFree
Causality and the Semantics of Provenance does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Causality and the Semantics of Provenance, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Causality and the Semantics of Provenance will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-29471