Article | Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) | DDB Trees: A Basis for Deductive Database Explanations

Title:
DDB Trees: A Basis for Deductive Database Explanations
Author:
Sarah Mallet: IRISA/INSA, Campus Universitaire de Beaulieu, France Mireille Ducassé: IRISA/INSA, Campus Universitaire de Beaulieu, France
Download:
Full text (pdf) Full text (ps)
Year:
1997
Conference:
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Issue:
001
Article no.:
009
Pages:
87-102
No. of pages:
16
Publication type:
Abstract and Fulltext
Published:
1997-09-10
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Series:
Linköping Electronic Articles in Computer and Information Science
ISSN (online):
1401-9841
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

The power of deductive systems in general is that programs express what should be done and not how it should be done. Nevertheless; deductive systems need debugging and explanation facilities. Indeed; their operational semantics is less abstract than the declarative semantics of the programs. If users have to understand all the low level details of the operational semantics much of the benefits of using a deductive system is lost.

Existing explanation systems for deductive databases produce proof trees to be shown to users. Although useful; proof trees give a fragmented view of query evaluations; and users face a; most of the time large; forest of proof trees.

We propose a new data structure; called the DDB tree; which merges the information of a proof tree forest into one concise tree. A DDB tree gives a global picture of a query evaluation in a dramatically reduced structure with no loss of information. DDB trees can be shown to users or can be analyzed further by an explanation system.

Keywords: debugging; explanations; deductive databases; logic programming

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
Sarah Mallet, Mireille Ducassé
Title:
DDB Trees: A Basis for Deductive Database Explanations
References:
No references available

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
Sarah Mallet, Mireille Ducassé
Title:
DDB Trees: A Basis for Deductive Database Explanations
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment