COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > A logical approach to data provenance.

## A logical approach to data provenance.Add to your list(s) Download to your calendar using vCal - James Cheney, Informatics, University of Edinburgh
- Friday 17 November 2006, 14:00-15:00
- FW11.
If you have a question about this talk, please contact Tom Ridge. While scientific computation historically has been synonymous with large scale numerical computation and supercomputing, scientists are now using increasingly sophisticated computational techniques such as databases and decentralized “Grid” computation. However, scientific data is expected to meet rigorous standards of data integrity, and this is difficult to achieve using current tools. One important ingredient of scientific data integrity is that data should be accompanied by documentation of the process by which it was recorded: for example, creation/modification timestamps, descriptions of any operations performed, and identities of authors and intermediate sources. This information is often called \emph{provenance} or \emph{lineage}. Although many provenance-tracking systems and provenance data models have been proposed, most of them are based on ad hoc definitions of provenance, some of which depend on the syntax of the program (rather than its semantics). Thus, the behavior of such systems varies widely, and we lack a uniform framework to compare the correctness and expressiveness of various approaches. We will describe a new approach which is based on the idea that provenance should reflect the ways the output of a function depends on its input; in particular, it should reflect counterfactual information (i.e., tell us something about what would have happened if the input were changed). We formalize this approach by defining a logic whose models are functions and whose formulas are assertions about the dependence behavior of the function. This provides a general approach to defining and reasoning about the correctness of provenance-tracking techniques. This talk describes joint work with Peter Buneman (U. Edinburgh), Stijn Vansummeren (U. Hasselt, Belgium), and Adriane Chapman (U. Michigan) This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computer Laboratory talks
- Computing and Mathematics
- FW11
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsPLACEB-O 'In Conversation' Seminar Series International Geophysical Year reading group 16-17 Signal Processing and Communications Lab Seminars## Other talksAutumn Cactus & Succulent Show Identifying new gene regulating networks in immune cells Succulents with Altitude Short-Selling Restrictions and Returns: a Natural Experiment Richard Horton (The Lancet Cheif Editor): Scientific Publishing Is Demand Side Response a Womanâ€™s Work? Gender Dynamics Coatable photovoltaics (Title t o be confirmed) Scale and anisotropic effects in necking of metallic tensile specimens The role of myosin VI in connexin 43 gap junction accretion Inferring the Evolutionary History of Cancers: Statistical Methods and Applications |