Provenance Propagation in Complex Queries

Peter Buneman has exerted a major influence on my career. Among many other things, we worked together in early 1990s on the design of query languages for post-relational data models: nested relations, complex values, etc. Later on, his pioneering work on data provenance was the major influence on my own work on provenance. It therefore feels very appropriate to me to write for this Festschrift a piece in which languages for complex values and structures for provenance tracking come together.

[1]  S. Lane.  Categories for the Working Mathematician , 1971 .

[2]  Daniel Deutch,et al.  Provenance for aggregate queries , 2011, PODS.

[3]  Val Tannen,et al.  Provenance semirings , 2007, PODS.

[4]  Jennifer Widom,et al.  Practical lineage tracing in data warehouses , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

[5]  Sebastian Maneth,et al.  Efficient Memory Representation of XML Documents , 2005, DBPL.

[6]  Val Tannen,et al.  A Calculus for Collections and Aggregates , 1997, Category Theory and Computer Science.

[7]  Michael Stonebraker,et al.  Supporting fine-grained data lineage in a database visualization environment , 1997, Proceedings 13th International Conference on Data Engineering.

[8]  Wang Chiew Tan.  Containment of Relational Queries with Annotation Propagation , 2003, DBPL.

[9]  Val Tannen,et al.  Annotated XML: queries and provenance , 2008, PODS.

[10]  Sanjeev Khanna,et al.  Why and Where: A Characterization of Data Provenance , 2001, ICDT.

[11]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[12]  James Cheney,et al.  On the expressiveness of implicit provenance in query and update languages , 2008, TODS.

[13]  Limsoon Wong,et al.  Principles of Programming with Complex Objects and Collection Types , 1995, Theor. Comput. Sci..

[14]  Tomasz Imielinski,et al.  Incomplete Information in Relational Databases , 1984, JACM.

[15]  Todd J. Green,et al.  Containment of Conjunctive Queries on Annotated Relations , 2009, ICDT '09.

[16]  Jennifer Widom,et al.  Tracing the lineage of view data in a warehousing environment , 2000, TODS.

[17]  Philip W. Trinder,et al.  Comprehensions, a Query Notation for DBPLs , 1992, DBPL.

[18]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[19]  Andrew M. Pitts,et al.  Category Theory and Computer Science , 1987, Lecture Notes in Computer Science.

[20]  Jennifer Widom,et al.  ULDBs: databases with uncertainty and lineage , 2006, VLDB.

[21]  James Cheney,et al.  Provenance in Databases: Why, How, and Where , 2009, Found. Trends Databases.

[22]  Val Tannen,et al.  Update Exchange with Mappings and Provenance , 2007, VLDB.

[23]  Daniel Deutch,et al.  Caravan: Provisioning for What-If Analysis , 2013, CIDR.

[24]  Wenfei Fan,et al.  Conditional functional dependencies for capturing data inconsistencies , 2008, TODS.

[25]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.