Peter Buneman, James Cheney, Stijn Vansummeren: On the Expressiveness of Implicit Provenance in Query and Update Languages. ICDT 2007: 209-223