Search:

Meta-Level Control for Deductive Database Systems

Format Post in Database BY Helmut Schmidt

3540537546 Shared By Guest

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.

Meta-Level Control for Deductive Database Systems

You should be logged in to Download this Document. Membership is Required. Register here

Comments (0)

Currently,no comments for this book!