Datalog as a lingua franca for provenance querying and reasoning

4th Workshop on the Theory and Practice of Provenance, TaPP 2012

Volumn , Issue , 2012, Pages

  Dey, Saumen ^a   Köhler, Sven ^a   Bowers, Shawn ^b   Ludäscher, Bertram ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b GONZAGA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84876558324     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. ACAR, U., BUNEMAN, P., CHENEY, J., VAN DEN BUSSCHE, J., KWASNIKOWSKA, N., AND VANSUMMEREN, S. A graph model of data and workflow provenance. In TaPP (2010).
2. BUNEMAN, P., KHANNA, S., AND WANG-CHIEW, T. Why and where: A characterization of data provenance. In ICDT (2001).
3. CALVANESE, D., DE GIACOMO, G., LENZERINI, M., AND VARDI, M. Reasoning on regular path queries. ACM SIGMOD Record 32, 4 (2003), 83-92.
4. CHENEY, J. Causality and the semantics of provenance. Arxiv preprint arXiv:1004.3241 (2010).
5. CHENEY, J., AHMED, A., AND ACAR, U. Provenance as dependency analysis. In DBPL (Vienna, Austria, 2007), LNCS 4797, pp. 138-152.
6. CHENEY, J., CHITICARIU, L., AND TAN, W. Provenance in databases: Why, how, and where. Foundations and Trends in Databases 1, 4 (2009), 379-474.
7. DANTSIN, E., EITER, T., GOTTLOB, G., AND VORONKOV, A. Complexity and expressive power of logic programming. ACM Computing Surveys 33, 3 (2001), 374-425.
8. DAVIDSON, S., AND FREIRE, J. Provenance and scientific workflows: challenges and opportunities. In SIGMOD (2008).
9. DIJKSTRA, E. W. Hamming's exercise in sasl, 1981. EWD-792.
10. GOTTLOB, G., GRÄDEL, E., AND VEITH, H. Datalog lite: A deductive query language with linear time model checking. TOCL 3, 1 (2002), 42-79.
11. GREEN, T., KARVOUNARAKIS, G., AND TANNEN, V. Provenance semirings. In PODS (2007), pp. 31-40.
12. HEMMENDINGER, D. The “hamming problem” in prolog. ACM SIGPLAN Notices 23, 4 (1988), 81-86.
13. KAHN, G. The semantics of a simple language for parallel programming. IFIP 74 (1974), 471-475.
14. KÖHLER, S., LUDÄSCHER, B., AND SMARAGDAKIS, Y. Declarative datalog debugging for mere mortals. submitted, 2012.
15. KWASNIKOWSKA, N., MOREAU, L., AND VAN DEN BUSSCHE, J. A formal account of the open provenance model. Tech. Rep. 21819, University of Southampton, December 2010.
16. LAUSEN, G., LUDÄSCHER, B., AND MAY, W. On active deductive databases: The statelog approach. Transactions and Change in Logic Databases (1998), 69-106.
17. LEE, E., AND PARKS, T. Dataflow process networks. Proceedings of the IEEE 83, 5 (1995), 773-801.
18. LIM, C., LU, S., CHEBOTKO, A., AND FOTOUHI, F. Prospective and retrospective provenance collection in scientific workflow environments. In Services Computing (SCC) (2010).
19. MELIOU, A., GATTERBAUER, W., HALPERN, J., KOCH, C., MOORE, K., AND SUCIU, D. Causality in databases. IEEE Data Eng. Bull 33, 3 (2010), 59-67.
20. MOREAU, L., CLIFFORD, B., FREIRE, J., FUTRELLE, J., GIL, Y., GROTH, P., KWASNIKOWSKA, N., MILES, S., MISSIER, P., MYERS, J., ET AL. The open provenance model core specification (v1.1). Future Generation Computer Systems 27, 6 (2011), 743-756.
21. W3C. Provenance working group. http://www.w3.org/2011/prov/. accessed 4/9/2012.