Meta-Level Control for Deductive Database Systems

Meta-Level Control for Deductive Database Systems Helmut Schmidt is available to download

Meta-Level Control for Deductive Database Systems Helmut Schmidt
Type:	eBook
Released:	1991
Publisher:	Springer
Page Count:	161
Format:	djvu
Language:	English
ISBN-10:	3540537546
ISBN-13:	9783540537540

The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations.Meta-Level Control for Deductive ... Textbook An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a deductive database system. To eliminate this deficiency, this monograph presents a so-called 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 application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.