Provenance as dependency analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4797 LNCS, Issue , 2007, Pages 138-152

  Cheney, James ^a   Ahmed, Amai ^b   Acar, Umut A ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b TOYOTA TECHNOLOGICAL INSTITUTE AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTABILITY AND DECIDABILITY; MATHEMATICAL MORPHOLOGY; SEMANTICS; STATIC ANALYSIS; TRACKING (POSITION);

APPROXIMATION TECHNIQUES; DEPENDENCY ANALYSIS; INFORMATION RECORDING; SEMANTIC FOUNDATIONS;

INFORMATION RETRIEVAL;

EID: 38449097759     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75987-4_10     Document Type: Conference Paper

References (24)

1. Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: POPL, pp. 147-160. ACM Press, New York (1999)
2. Abadi, M., Lampson, B., Lévy, J.-J.: Analysis and caching of dependencies. In: ICFP, pp. 83-91. ACM Press, New York (1996)
3. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
4. Acar, U.A., Blelloch, G.E., Harper, R.: Selective memoization. In: Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages, ACM Press, New York (2003)
5. Benjelloun, O., Sarma, A.D., Halevy, A.Y., Widom, J.: ULDBs: Databases with uncertainty and lineage. In: VLDB, pp. 953-964 (2006)
6. Bhagwat, D., Chiticariu, L., Tan, W.-C., Vijayvargiya, G.: An annotation management system for relational databases. VLDB Journal 14(4), 373-396 (2005)
7. Biswas, S.: Dynamic Slicing in Higher-Order Programming Languages. PhD thesis, University of Pennsylvania (1997)
8. Bose, R., Frew, J.: Lineage retrieval for scientific data processing: a survey. ACM Comput. Surv. 37(1), 1-28 (2005)
9. Buneman, P., Chapman, A., Cheney, J.: Provenance management in curated databases. In: SIGMOD 2006, pp. 539-550 (2006)
10. Buneman, P., Cheney, J., Vansummeren, S.: On the expressiveness of implicit provenance in query and update languages. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 209-223. Springer, Heidelberg (2006)
11. Buneman, P., Khanna, S., Tan, W.-C.: Why and where: A characterization of data provenance, In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, pp. 316-330. Springer, Heidelberg (2000)
12. Buneman, P., Khanna, S., Tan, W.-C.: On propagation of deletions and annotations through views. In: PODS, pp. 150-158 (2002)
13. Buneman, P., Naqvi, S.A., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theor. Comp. Sci. 149(1), 3-48 (1995)
14. Cheney, J., Ahmed, A., Acar, U.: Provenance as dependency analysis. Technical Report arXiv:0708.2173v1, arXiv.org e-Print archive (2007)
15. Cui, Y., Widom, J., Wiener, J.L.: Tracing the lineage of view data in a warehousing environment. ACM Trans. Database Syst. 25(2), 179-227 (2000)
16. Field, J., Tip, F.: Dynamic dependence in term rewriting systems and its application to program slicing. Information and Software Technology 40(11-12), 609-636 (1998)
17. Moreau, L., Foster, I. (eds.): IPAW 2006. LNCS, vol. 4145. Springer, Heidelberg (2006)
18. Geerts, F., Kementsietsidis, A., Milano, D.: Mondrian: Annotating and querying databases through colors and blocks. In: ICDE 2006, p. 82 (2006)
19. Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, pp. 31-40. ACM Press, New York (2007)
20. Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21(1), 5-19 (2003)
21. Simmhan, Y., Piale, B., Gannon, D.: A survey of data provenance in e-science. SIGMOD Record 34(3), 31-36 (2005)
22. Wadler, P.: Comprehending monads. Mathematical Structures in Computer Science 2, 461-493 (1992)
23. Wang, YR., Madnick, S.E.: A polygen model for heterogeneous database systems: The source tagging perspective. In: VLDB, pp. 519-538 (1990)
24. Weiser, M.: Program slicing. In: ICSE, pp. 439-449. IEEE Press, Piscataway, NJ, USA (1981)