Meta-Level Control for Deductive Database Systems Helmut Schmidt is available to download
|Meta-Level Control for Deductive Database Systems|
|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.