article · 1999

Generating Deductive Database Explanations

Sarah Mallet, Mireille Ducassé

Cited by 0Abstract and details only

Abstract

1 Introduction Explaining the behaviour of a program consists of showing an abstraction of its execution. Existing explanation systems for deductive databases [20, 16, 1] show forests of proof trees. Although proof trees are often useful, they are only one possible interesting abstraction. Deductive databases (DDB) have various kinds of users: implementors who develop the deductive part, knowledge engineers who maintain the data, and end-users who query the database. An explanation system for DDB must be useful for all of them. It must therefore be able to generate explanations at several levels of abstraction. A key feature of an explanation system for DDB is therefore its flexibility.

Cite this paper

APA 7

Mallet, S., & Ducassé, M. (1999). Generating Deductive Database Explanations.

MLA 9

Mallet, Sarah, and Mireille Ducassé. “Generating Deductive Database Explanations.” 1999.

Chicago

Mallet, Sarah, and Mireille Ducassé. 1999. “Generating Deductive Database Explanations.”

Harvard

Mallet, S. and Ducassé, M. (1999) ‘Generating Deductive Database Explanations’.

BibTeX

@article{mallet1999generating,
  title = {{Generating Deductive Database Explanations}},
  author = {Mallet, Sarah and Ducassé, Mireille},
  year = {1999}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.