Generating Deductive Database Explanations

@inproceedings{Mallet1999GeneratingDD,
  title={Generating Deductive Database Explanations},
  author={Sarah Mallet and Mireille Ducass{\'e}},
  booktitle={ICLP},
  year={1999}
}
Existing explanation systems for deductive databases show forests of proof trees. Although proof trees are often useful, they are only one possible interesting representation. We argue that an explanation system for deductive databases must be able to generate explanations at several levels of abstraction. One possible and well known technique to achieve this exibility is to instrument meta-interpreters. It is, however, not often used because of its ineeciency. On the other hand, deductive… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 24 references

MultiLog: Data Or-Parallel Logic Programming

ICLP • 1992
View 14 Excerpts
Highly Influenced

A survey of deductive database systems

J. Log. Program. • 1995
View 5 Excerpts
Highly Influenced

EKS-V1, a short overview

L. Vieille, P. Bayer, V. Küchenho, A. Lefebvre
Workshop on Knowledge Base Management System, • 1990
View 5 Excerpts
Highly Influenced

A Declarative Debugging Scheme

Journal of Functional and Logic Programming • 1997

Similar Papers

Loading similar papers…