Tracing the lineage of view data in a warehousing environment
ACM Transactions on Database Systems (TODS)
Why and Where: A Characterization of Data Provenance
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Linear types and non-size-increasing polynomial time computation
Information and Computation - Special issue: ICC '99
Reasoning About Knowledge
Provenance management in curated databases
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Annotated XML: queries and provenance
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
Provenance in Databases: Why, How, and Where
Foundations and Trends in Databases
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
ACM Transactions on Computational Logic (TOCL)
Believe it or not: adding belief annotations to databases
Proceedings of the VLDB Endowment
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Lolliproc: to concurrency from classical linear logic via curry-howard and control
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
The complexity of causality and responsibility for query answers and non-answers
Proceedings of the VLDB Endowment
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
| Hi-index | 0.00 |
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 paper and invited talk will present several topics in logic that may be less familiar to database researchers and that could 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.