Is provenance logical? (James Cheney, University of Edinburgh)

Event details

  • When: 21st September 2011 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

Research on provenance in databases (or other settings) sometimes has an arbitrary flavor. Once we abandon the classical semantics of queries there is a large design space for alternative semantics that could provide some useful provenance information, but there is little guidance for how to explore this space or justify or compare different proposals. Topics from mathematical or philosophical logic could be used as a way of inspiring, justifying or comparing different approaches to provenance in databases. This talk will give a short tutorial on provenance in databases and present several topics in logic that may bear upon provenance techniques. These areas include nonclassical logics (e.g. relevance logic), algebraic logic (cylindric algebras), substructural logic (e.g. linear logic) and logics of knowledge, belief or causality.