Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-17
|
Content
| Files: | Description | File size | Format | |
| Fulltext | 558K | PDF (requires Acrobat Reader) | ||
| Fulltext | 228K | PostScript (requires a PostScript Reader) | ||
| Authors: | Sarah Mallet and Mireille Ducassé | |||
| Article title: | DDB Trees: A Basis for Deductive Database Explanations | |||
| Conference: | AADEBUG'97. Proceedings of the Third International Workshop on Automatic Debugging: Linköping, Sweden, May 26-27, 1997 | |||
| Publ. type: | Article | |||
| Article No: | 9 | |||
| Language: | English | |||
| Abstract [en]: | 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 | |||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1997 | |||
| Available: | 1997-09-10 | |||
| No. of pages: | 16 | |||
| Pages: | 87-102 | |||
| Series: | Linköping Electronic Articles in Computer and Information Science | |||
| ISSN: | 1401-9841 | |||
| Volume: | 2 | |||
| No: | 009 | |||
| Series: | Linköping Electronic Conference Proceedings | |||
| ISSN (print): | 1650-3686 | |||
| ISSN (online): | 1650-3740 | |||
| Issue: | 1 | |||
| Checksum PDF: | 7c86ce7398094b01f6ecef90a2c4e118 /home/ep/www/ea/cis/1997/009/09/cis9700909.pdf (MD5) | |||
| Checksum PS: | 44e5f172ba80fa5d1a3f4fc8ad02a907 /service/www-ep/docs/ea/cis/1997/009/09/cis9700909.ps (MD5) | |||
| PGP PDF: | PGP | |||
| PGP PS: | PGP | |||
| Old Checksum: | Checksum (PS) | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-17