Abstract
Deductive databases manage large quantities of data and, in general, in a set-oriented way. The existing explanation systems for deductive databases [6,4,1] give information in the shape of forests of proof trees. Although proof trees are often useful, this representation is not sufficient. We propose a tracing technique which consists of integrating a ”relational” trace and an instrumented meta-interpreter using substitution sets. The relational trace efficiently gives precise information about data extraction from the relational database. The meta-interpreter manages substitution sets and gives explanation on the deduction. The expensive aspects of meta-interpretation are reduced by the use of the trace which avoids many calculations. The flexibility of meta-interpretation is preserved. It allows different profiles of trace to be easily produced.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
T. Arora, R. Ramakrishnan, W.G. Roth, P. Seshadri, and D. Srivastava. Explaining program execution in deductive systems. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the Deductive and Object-Oriented Databases Conference, volume 760 of LNCS. Springer-Verlag, December 1993.
S. Mallet and M. Ducassé. Myrtle: A set-oriented meta-interpreter driven by a ”relational” trace for deductive databases debugging. Technical Report 1219, PI IRISA, 1998.
R. Ramakrishnan and J. D. Ullman. A survey of deductive database systems. Journal of Logic Programming, 23:125–149, 1995.
G. Specht. Generating explanation trees even for negations in deductive database systems. In M. Ducassé, B. Le Charlier, Y.-J. Lin, and U. Yalcinalp, editors, Proceedings of ILPS’93 Workshop on Logic Programming Environments, Vancouver, October 1993. LPE’93.
L. Vieille, P. Bayer, V. Küchenhoff, and A. Lefebvre. EKS-V1, a short overview. In Workshop on Knowledge Base Management System, Boston, USA, July 1990. AAAI-90.
C. Wieland. Two explanation facilities for the deductive database management system DeDex. In H. Kangassalo, editor, Proceedings of the 9th Conference on Entity-Relationship Approach, pages 189–203, 1990. ETH Zurich.
L.Ü. Yalcinalp. Meta-programming for knowledge based systems in Prolog. PhD thesis, Case Western Reserve University, Cleveland, Ohio 44106, August 1991. Technical Report TR 91-141.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mallet, S., Ducassé, M. (1999). Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging. In: Flener, P. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 1998. Lecture Notes in Computer Science, vol 1559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48958-4_24
Download citation
DOI: https://doi.org/10.1007/3-540-48958-4_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65765-1
Online ISBN: 978-3-540-48958-0
eBook Packages: Springer Book Archive