Peter Buneman James Cheney Stijn Vansummeren On the expressiveness of implicit provenance in query and update languages. 2008 33 ACM Trans. Database Syst. 4 http://doi.acm.org/10.1145/1412331.1412340 db/journals/tods/tods33.html#BunemanCV08