Meta-level control for deductive data base systems
Auteur :
Schmidt, Helmut
Éditeur :
Schmidt, Helmut
ISBN :
9783540537540
Date de publication :
13 mars 1991
Dimensions :
23,3 x 15,5 x 0,9 cm
Poids :
550 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This monograph presents an expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains control information affecting the deduction process.