A theoretical framework for the declarative debugging of datalog programs

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

Volumn 4925 LNCS, Issue , 2008, Pages 143-159

  Caballero, R ^a   Garcia Ruiz Y ^a   Saenz Perez F ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT DATABASES; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); QUERY LANGUAGES; QUERY PROCESSING; SEMANTICS; TREES (MATHEMATICS);

DATALOG PROGRAMS; DEBUGGERS; DEBUGGING TOOLS; DECLARATIVE DEBUGGING; OPERATIONAL MECHANISM; SOUNDNESS AND COMPLETENESS; THEORETICAL FRAMEWORK; TRADITIONAL APPROACHES;

PROGRAM DEBUGGING;

EID: 57349132433     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88594-8_8     Document Type: Conference Paper

References (19)

1. Ramakrishnan, R., Ullman, J.: A survey of research on Deductive Databases. The Journal of Logic Programming 23(2), 125-149 (1993)
2. Beeri, C., Ramakrishnan, R.: On the power of magic. In: Proceedings of the Sixth ACM Symposium on Principles of Database Systems, pp. 269-284 (1987)
3. Dietrich, S.W.: Extension tables: Memo relations in logic programming. In: SLP, pp. 264-272 (1987)
4. Arora, T., Ramakrishnan, R., Roth, W.G., Seshadri, P., Srivastava, D.: Explaining program execution in deductive systems. In: Deductive and Object-Oriented Databases, pp. 101-119 (1993)
5. Wieland, C.: Two explanation facilities for the deductive database management system DeDEx. In: Kangassalo, H. (ed.) ER 1990, pp. 189-203, ER Institute (1990)
6. Specht, G.: Generating explanation trees even for negations in deductive database systems. In: Proceedings of the 5th Workshop on Logic Programming Environments, Vancouver, Canada (1993)
7. Russo, F., Sancassani. M.: A declarative debugging environment for Datalog. In: Proceedings of the First Russian Conference on Logic Programming, pp. 433-441. Springer, London (1992)
8. Baral, C.: Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge (2003)
9. Syrjänen, T.: Debugging inconsistent answer set programs. In: Proceedings of the 11th International Workshop on Non-Monotonic Reasoning. Lake District, UK, pp. 77-84 (May 2006)
10. Brain. M., Gebser, M., Pührer. J., Schaub. T., Tompits, H., Woltran. S.: Debugging ASP Programs by Means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNA1), vol. 4483, pp. 31-43. Springer, Heidelberg (2007)
11. Caballero, R., García-Ruiz, Y., Sáenz-Pérez, F.: A new proposal for debugging datalog programs. In: 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007) (June 2007)
12. Shapiro. E.: Algorithmic Program Debugging. In: ACM Distiguished Dissertation. MIT Press, Cambridge (1982)
13. Sáenz-Pérez, F.: Datalog Educational System. User's Manual. Technical Report 139-04, Facultad de Informática, Universidad Complutense de Madrid (2004), http://des.sourceforge.net/
14. Apt, K.R., Blair, H.A., Walker. A.: Towards a theory of declarative knowledge. In: Foundations of deductive databases and logic programming, pp. 89-148. Morgan Kaufmann Publishers Inc., San Francisco (1988)
15. Ullman, J.: Database and Knowledge-Base Systems Vols. I (Classical Database Systems) and II (The New Technologies). Computer Science Press (1995)
16. Chandra, A.K., Harel, D.: Horn clauses queries and generalizations. J. Log. Program. 2(1), 1-15 (1985)
17. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070-1080. MIT Press, Cambridge (1988)
18. Naish, L.: A Declarative Debugging Scheme. Journal of Functional and Logic Programming 3 (1997)
19. Caballero, R.: A declarative debugger of incorrect answers for constraint functionallogic programs. In: WCFLP 2005: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, pp. 8-13. ACM Press, New York (2005)