A logic programming approach to scientific workflow provenance querying

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

Volumn 5272, Issue , 2008, Pages 31-44

  Zhao, Yong ^a   Lu, Shiyong ^b  

^a MICROSOFT   (United States)

^b Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CELL PROLIFERATION; LOGIC PROGRAMMING; QUERY LANGUAGES; QUERY PROCESSING;

CRITICAL COMPONENT; HETEROGENEOUS DATA; PROVENANCE MODELS; RELATIONAL DATABASE; SCIENTIFIC DISCOVERY; SCIENTIFIC RESULTS; SCIENTIFIC WORKFLOW PROVENANCES; SCIENTIFIC WORKFLOWS;

COMPUTER CIRCUITS;

EID: 84961806525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89965-5_5     Document Type: Conference Paper

References (26)

1. Altintas, I., Barney, O., Jaeger-Frank, E.: Provenance collection support in the Kepler Scientific Workflow System. In: Moreau, L., Foster, I. (eds.) IPAW 2006. LNCS, vol. 4145, pp. 118–132. Springer, Heidelberg (2006)
2. Biton, O., Boulakia, S., Davidson, S., Hara, C.: Querying and Managing Provenance through User Views in Scientific Workflows. In: ICDE 2008 (2008)
3. Bose, R., Foster, I., Moreau, L.: Report on the international provenance and annotation workshop (IPAW 2006). SIGMOD Records (September 2006)
4. Buneman, P., Khanna, S., Tan, W.-C.: Why and Where: A Characterization of Data Provenance. In: International Conference on Database Theory (2001)
5. Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming 15(3), 187–230 (1993)
6. Clifford, B., Foster, I., Voeckler, J., Wilde, M., Zhao, Y.: Tracking Provenance in a Virtual Data Grid. Journal of Concurrency and Computation, Practice and Experience (2007)
7. Costa, P., Rocha, R., Ferreira, M.: Tabling Logic Programs in a Database. In: Proceedings of the 21st Workshop on (Constraint) Logic Programming, WLP 2007 (2007)
8. Davidson, S., Boulakia, S., Eyal, A., Ludäscher, B., McPhillips, T., Bowers, S., Anand, M., Freire, J.: Provenance in Scientific Workflow Systems. IEEE Data Eng. Bull. 30(4), 44–50 (2007)
9. Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic based modeling and analysis of workflows. In: Proceedings of the Seventeenth ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems, June 01 - 04. PODS 1998, Seattle, Washington, United States (1998)
10. http://twiki.ipaw.info/bin/view/Challenge/ FirstProvenanceChallenge (June 2006)
11. Foster, I., Voeckler, J., Wilde, M., Zhao, Y.: Chimera: A Virtual Data System for Representing, Querying, and Automating Data Derivation. In: 14th Conference on Scientific and Statistical Database Management (2002)
12. Freire, J., Silva, C.T., Callahan, S.P., Santos, E., Scheidegger, C.E., Vo, H.T.: Managing Rapidly-Evolving Scientific Workflows. In: Moreau, L., Foster, I. (eds.) IPAW 2006. LNCS, vol. 4145, pp. 10–18. Springer, Heidelberg (2006)
13. Groth, P., Miles, S., Tan, V., Moreau, L.: Architecture for Provenance Systems. Technical report, University of Southampton (October 2005)
14. Hajiyev, E., Verbaere, M., de Moor, O.: CodeQuest: Scalable Source Code Queries with Datalog. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 2–27. Springer, Heidelberg (2006)
15. Kattenstroth, H., May, W., Schenk, F.: Combining OWL with F-Logic Rules and Defaults. In: International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS 2007) (2007)
16. Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM 42, 741–843 (1995)
17. Moreau, L., et al.: The First Provenance Challenge, Concurrency and Computation, Practice and Experience (2007)
18. Moreau, L., Zhao, Y., Foster, I., Voeckler, J., Wilde, M.: XDTM: XML Dataset Typing and Mapping for Specifying Datasets. In: European Grid Conference (2005)
19. Open Provenance Model (March 2008), http://twiki.ipaw.info/bin/view/OPM
20. Rao, P., Sagonas, K.F., Swift, T., Warren, D.S., Freire, J.: XSB: A System for Efficiently Computing Well-Founded Semantics. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 2–17. Springer, Heidelberg (1997)
21. Simmhan, Y., Plale, B., Gannon, D.: A Performance Evaluation of the Karma Provenance Framework for Scientific Workflows. In: Moreau, L., Foster, I. (eds.) IPAW 2006. LNCS, vol. 4145, pp. 222–236. Springer, Heidelberg (2006)
22. Stevens, R., Zhao, J., Goble, C.: Using provenance to manage knowledge of In Silico experiments. Briefings in Bioinformatics 8(3), 183–194 (2007)
23. Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems, Theory and Practice of Logic Programming. Cambridge University Press, Cambridge (2007), doi:10.1017/S1471068407003158
24. Yang, G., Kifer, M., Zhao, C.: FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy (November 2003)
25. Zhao, Y., Hategan, M., Clifford, B., Foster, I., Laszewski, G.V., Raicu, I., Stef-Praun, T., Wilde, M.: Swift: Fast, Reliable, Loosely Coupled Parallel Computation. In: IEEE International Workshop on Scientific Workflows (SWF 2007). Collocated with SCC (2007)
26. Zhao, Y., Wilde, M., Foster, I.: Applying the Virtual Data Provenance Model. In: Moreau, L., Foster, I. (eds.) IPAW2006. LNCS, vol. 4145, pp. 148–161. Springer, Heidelberg (2006)