Provenance as dependency analysis

Mathematical Structures in Computer Science

Volumn 21, Issue 6, 2011, Pages 1301-1337

  Cheney, James ^a   Ahmed, Amal ^b   Acar, Umut A ^c  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b INDIANA UNIVERSITY   (United States)

^c MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERISATION; DATA PROVENANCE; DATABASE QUERY LANGUAGE; DEPENDENCY ANALYSIS; FORMAL FOUNDATION; INFORMATION RECORDING; PROGRAM ANALYSIS; PROGRAM SLICING; SEMANTIC FOUNDATION; STATIC APPROXIMATIONS;

SEMANTICS;

QUERY LANGUAGES;

EID: 80052683131     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129511000211     Document Type: Article

References (46)

1. Abadi, M., Banerjee, A., Heintze, N. and Riecke, J. G. (1999) A core calculus of dependency. In: POPL '99: Proceedings 26th ACM Symposium on Principles of Programming Languages, ACM Press 147-160.
2. Abadi, M., Lampson, B. and Lévy, J.-J. (1996) Analysis and caching of dependencies. In: Proceedings of the first ACM SIGPLAN International Conference on Functional Programming: ICFP, ACM Press 83-91. (Pubitemid 126669211)
3. Abiteboul, S., Hull, R. and Vianu, V. (1995) Foundations of Databases, Addison-Wesley.
4. Acar, U.A. (2009) Self-adjusting computation: (an overview). In: PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial Evaluation and Program Manipulation, ACM Press 1-6.
5. Acar, U.A., Ahmed, A. and Blume, M. (2008) Imperative self-adjusting computation. In: POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, ACM Press 309-322.
6. Acar, U.A., Blelloch, G.E. and Harper, R. (2003) Selective memoization. In: POPL '03: Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages, ACM Press 14-25.
7. Benjelloun, O., Sarma, A.D., Halevy, A. Y. and Widom, J. (2006) ULDBs: Databases with uncertainty and lineage. In: Proceedings of VLDB'2006, VLDB 953-964.
8. Bhagwat, D., Chiticariu, L., Tan, W.-C. and Vijayvargiya, G. (2005) An annotation management system for relational databases. VLDB Journal 14 (4) 373-396. (Pubitemid 43938945)
9. Biswas, S. (1997) Dynamic Slicing in Higher-Order Programming Languages, Ph.D. thesis, University of Pennsylvania.
10. Bose, R. and Frew, J. (2005) Lineage retrieval for scientific data processing: a survey. ACM Comput. Surv. 37 (1) 1-28. (Pubitemid 41246320)
11. Buneman, P., Chapman, A. and Cheney, J. (2006) Provenance management in curated databases. In: SIGMOD 2006, ACM Press 539-550. (Pubitemid 46946538)
12. Buneman, P., Cheney, J., Tan, W.-C. and Vansummeren, S. (2008a) Curated databases. Invited paper in: Proceedings of the 2008 Symposium on Principles of Database Systems (PODS 2008) 1-12.
13. Buneman, P., Cheney, J. and Vansummeren, S. (2008b) On the expressiveness of implicit provenance in query and update languages. ACM Transactions on Database Systems 33 (4) 28.
14. Buneman, P., Khanna, S. and Tan, W. (2001) Why and where: A characterization of data provenance. In: Proceedings ICDT 2001. Springer-Verlag Lecture Notes in Computer Science 1973 316-330. (Pubitemid 33213333)
15. Buneman, P., Khanna, S. and Tan, W. (2002) On propagation of deletions and annotations through views. In: PODS'02 Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, ACM Press 150-158. (Pubitemid 35009490)
16. Buneman, P., Libkin, L., Suciu, D., Tannen, V. and Wong, L. (1994) Comprehension syntax. SIGMOD Record 23 (1) 87-96.
17. Buneman, P., Naqvi, S.A., Tannen, V. and Wong, L. (1995) Principles of programming with complex objects and collection types. Theor. Comp. Sci. 149 (1) 3-48.
18. Cheney, J. (2007) Program slicing and data provenance. IEEE Data Engineering Bulletin 22-28.
19. Cheney, J., Ahmed, A. and Acar, U.A. (2007) Provenance as dependency analysis. In: Arenas, M. and Schwartzbach, M.I. (eds.) Proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007). Springer-Verlag Lecture Notes in Computer Science 4797 139-153.
20. Cheney, J., Chiticariu, L. and Tan, W.C. (2009) Provenance in databases: Why, how, and where. Foundations and Trends in Databases 1 (4) 379-474.
21. Cousot, P. and Cousot, R. (1977) Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL '77: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press 238-252.
22. Cui, Y., Widom, J. and Wiener, J.L. (2000) Tracing the lineage of view data in a warehousing environment. ACM Trans. Database Syst. 25 (2) 179-227.
23. Field, J. and Tip, F. (1998) Dynamic dependence in term rewriting systems and its application to program slicing. Information and Software Technology 40 (11-12) 609-636. (Pubitemid 128411135)
24. Foster, I. and Moreau, L. (eds.) (2006) Proceedings of the 2006 International Provenance and Annotation Workshop (IPAW 2006). Springer-Verlag Lecture Notes in Computer Science 4145.
25. Foster, J.N., Green, T. J. and Tannen, V. (2008) Annotated XML: queries and provenance. In: Proceedings of the 2008 Symposium on Principles of Database Systems (PODS 2008), ACM Press 271-280.
26. Geerts, F., Kementsietsidis, A. and Milano, D. (2006) Mondrian: Annotating and querying databases through colors and blocks. In: Proceedings of the 22nd International Conference on Data Engineering: ICDE 2006, IEEE Computer Society 82. (Pubitemid 44539874)
27. Green, T.J., Karvounarakis, G. and Tannen, V. (2007) Provenance semirings. In: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PODS '07), ACM Press 31-40. (Pubitemid 47620878)
28. Hidders, J., Kwasnikowska, N., Sroka, J., Tyszkiewicz, J. and den Bussche, J.V. (2007) A formal model of dataflow repositories. In: Boulakia, S. C. and Tannen, V. (eds.) Data Integration in the Life Sciences, Proceedings 4th International Workshop, DILS 2007. Springer-Verlag Lecture Notes in Computer Science 4544 105-121. (Pubitemid 47165122)
29. Jia, L. et al. (2008) AURA: a programming language for authorization and audit. In: ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, ACM Press 27-38.
30. Lynch, C. (2000) Authenticity and integrity in the digital environment: An exploratory analysis of the central role of trust. In: Authenticity in the Digital Environment, CLIR Report pub92, CLIR.
31. Moreau, L. et al. (2007) The First Provenance Challenge. Concurrency and Computation: Practice and Experience 20 (5) 409-418.
32. Muniswamy-Reddy, K.-K., Holland, D.A., Braun, U. and Seltzer, M. (2006) Provenance-aware storage systems. In: Annual Tech 06: 2006 USENIX Annual Technical Conference, USENIX Association 43-56.
33. Myers, A. C. (1999) Jflow: practical mostly-static information flow control. In: POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM Press 228-241.
34. Nielson, F., Nielson, H. R. and Hankin, C. (2005) Principles of Program Analysis, second edition Springer-Verlag.
35. Palsberg, J. (2001) Type-based analysis and applications. In: PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering, ACM Press 20-27. (Pubitemid 32861387)
36. Sabelfeld, A. and Myers, A. (2003) Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21 (1) 5-19.
37. Shroff, P., Smith, S.F. and Thober, M. (2008) Securing information flow via dynamic capture of dependencies. J. Comput. Secur. 16 (5) 637-688.
38. Simmhan, Y., Plale, B. and Gannon, D. (2005) A survey of data provenance in e-science. SIGMOD Record 34 (3) 31-36. (Pubitemid 43152529)
39. Swamy, N., Corcoran, B.J. and Hicks, M. (2008) Fable: A language for enforcing user-defined security policies. In: IEEE Symposium on Security and Privacy, IEEE Computer Society 369-383.
40. Swamy, N., Hicks, M.W. and Bierman, G.M. (2009) A theory of typed coercions and its applications. In: Hutton, G. and Tolmach, A. P. (eds.) Proceedings 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), ACM Press 329-340.
41. Volpano, D., Irvine, C. and Smith, G. (1996) A sound type system for secure flow analysis. J. Comput. Secur. 4 (2-3) 167-187.
42. Wadler, P. (1992) Comprehending monads. Mathematical Structures in Computer Science 2 461-493.
43. Wang, Y.R. and Madnick, S. E. (1990) A polygen model for heterogeneous database systems: The source tagging perspective. In: Proceedings of the sixteenth international conference on Very large databases, Morgan Kaufmann 519-538.
44. Weiser, M. (1981) Program slicing. In: ICSE: Proceedings of the 5th International Conference on Software Engineering, IEEE Computer Society 439-449.
45. Wong, L. (1996) Normal forms and conservative extension properties for query languages over collection types. Journal of Computer and System Sciences 52 (3) 495-505. (Pubitemid 126359773)
46. Woodruff, A. and Stonebraker, M. (1997) Supporting fine-grained data lineage in a database visualization environment. In: ICDE 1997: Proceedings of the Thirteenth International Conference on Data Engineering, IEEE Computer Society 91-102.