Provenance: A future history

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2009, Pages 957-964

  Cheney, James ^a   Chong, Stephen ^b   Foster, Nate ^c   Seltzer, Margo ^b   Vansummeren, Stijn ^d  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b HARVARD UNIVERSITY   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

^d HASSELT UNIVERSITY   (Belgium)

Author keywords

Integrity; Provenance; Semantics

Indexed keywords

CROSS-CUTTING; DIGITAL INFORMATION; DISTRIBUTED COMPUTATIONS; FORMAL MODELING; INFORMATION SHARING; INTEGRITY; RECORDING PROVENANCE; RESEARCH PROBLEMS;

COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; METADATA; SEMANTICS; WORLD WIDE WEB;

OBJECT ORIENTED PROGRAMMING;

EID: 72249099308     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1639950.1640064     Document Type: Conference Paper

References (34)

1. Principles of provenance wiki. http://wiki.esi.ac.uk/-Principles of Provenance.
2. Grand challenges in computing - research. Technical report, British Computing Society, 2004.
3. INFOSEC hard problem list. Technical report, INFOSEC Research Council, 2005. http://www.infosec-research.org/-docs public/20051130-IRC-HPL-FINAL.pdf.
4. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive functional programming. In POPL, pages 247-259. ACM Press, 2002.
5. David E. Bell and Leonard La Padula. Secure computer system: Unified exposition and Multics interpretation. Technical Report ESD-TR-75-306, MITRE Corp. MTR-2997, Bedford, MA, 1975.
6. Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt. Boomerang: resourceful lenses for string data. In POPL, pages 407-419. ACM, 2008.
7. Rajendra Bose and James Frew. Lineage retrieval for scientific data processing: a survey. ACM Comput. Surv., 37(1):1-28, 2005.
8. Uri Braun, Avraham Shinnar, and Margo Seltzer. Securing provenance. In HOTSEC'08: Proceedings of the 3rd conference on Hot topics in security, pages 1-5, Berkeley, CA, USA, 2008. USENIX Association.
9. Peter Buneman, James Cheney, and Stijn Vansummeren. On the expressiveness of implicit provenance in query and update languages. ACM Transactions on Database Systems, 33(4):28, November 2008.
10. Peter Buneman, Sanjeev Khanna, andWang-Chiew Tan. Why and where: A characterization of data provenance. In ICDT, number 1973 in LNCS, pages 316-330. Springer, 2001.
11. Peter Buneman, Sanjeev Khanna, and Wang-Chiew Tan. On propagation of deletions and annotations through views. In PODS, pages 150-158, 2002.
12. Susan Carey and Geoffrey Rogow. UAL shares fall as old story surfaces online. Wall Street Journal, September 2008. http://online.wsj.com/article/ SB122088673-738010213.html.
13. James Cheney, Amal Ahmed, and Umut A. Acar. Provenance as dependency analysis. In DBPL, volume 4797 of Lecture Notes in Computer Science, pages 138-152. Springer, 2007.
14. Stephen Chong. Towards semantics for provenance security. In TAPP'09: First workshop on on Theory and practice of provenance, pages 1-5, Berkeley, CA, USA, 2009. USENIX Association.
15. Yingwei Cui, Jennifer Widom, and Janet L. Wiener. Tracing the lineage of view data in a warehousing environment. ACM Trans. Database Syst., 25(2):179-227, 2000.
16. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning About Knowledge. MIT Press, 2003.
17. J. Nathan Foster and Grigoris Karvounarakis. Provenance and data synchronization. IEEE Data Eng. Bull., 30(4):13-21, 2007.
18. Todd J. Green, Gregory Karvounarakis, and Val Tannen. Provenance semirings. In PODS, pages 31-40. ACM, 2007.
19. Ashish Gupta and Iderpal Singh Mumick, editors. Materialized views: Techniques, Implementations, and Applications. MIT Press, Cambridge, MA, USA, 1999.
20. J.Y. Halpern and J. Pearl. Causes and explanations: A structural-model approach-part I: Causes. British J. Philos. Sci., 56:843-887, 2005.
21. T. Hey and A. E. Trefethen. Cyberinfrastructure for e-science. Science, 308(5723):817-821, 2005.
22. Sandy B. Lewis and William D. Cohan. The economy is still at the brink. New York Times, June 2007. http://www.nytimes.com/2009/06/07/opinion/- 07cohanWEB.html.
23. Clifford A. Lynch. When documents deceive: trust and provenance as new factors for information retrieval in a tangled web. J. Am. Soc. Inf. Sci. Technol., 52(1):12-17, 2001.
24. Francis L. Macrina. Scientific Integrity. ASM Press, 3rd edition, 2005.
25. Simon Miles, Paul T. Groth, Steve Munroe, Sheng Jiang, Thibaut Assandri, and Luc Moreau. Extracting causal graphs from an open provenance data model. Concurrency and Computation: Practice and Experience, 20(5):577-586, 2008.
26. Greg Miller. A scientist's nightmare: Software problem leads to five retractions. Science, 314(5807):1856-1857, December 2006.
27. Kiran-Kumar Muniswamy-Reddy, David A. Holland, Uri Braun, and Margo Seltzer. Provenance-aware storage systems. In USENIX Annual Technical Conference, pages 43-56. USENIX, June 2006.
28. Jordi Sabater and Carles Sierra. Review on computational trust and reputation models. Artif. Intell. Rev., 24(1):33-60, 2005.
29. Yogesh Simmhan, Beth Plale, and Dennis Gannon. A survey of data provenance in e-science. SIGMOD Record, 34(3):31-36, 2005.
30. Walid Taha and Tim Sheard. MetaML and multi-stage programming with explicit annotations. Theoretical Computer Science, 248(1-2):211-242, 2000.
31. Victor Tan, Paul T. Groth, Simon Miles, Sheng Jiang, Steve Munroe, Sofia Tsasakou, and Luc Moreau. Security issues in a SOA-based provenance system. In Luc Moreau and Ian T. Foster, editors, IPAW, volume 4145 of Lecture Notes in Computer Science, pages 203-211. Springer, 2006.
32. Jan Van den Bussche, Dirk Van Gucht, and Gottfried Vossen. Reflective programming in the relational algebra. Journal of Computer and System Sciences, 52(3):537-549, 1996.
33. Sam Varghese. UK government gets bitten by Microsoft Word. Sydney Morning Herald, July 2003. http://www.smh.com.au/articles/2003/07/02/-1056825430340. html.
34. Patrick Ziegler and Klaus R. Dittrich. Three decades of data integration - all problems solved? In René Jacquart, editor, IFIP Congress Topical Sessions, pages 3-12. Kluwer, 2004.