+612 9045 4394
Meta-Level Control for Deductive Database Systems : Lecture Notes in Computer Science - Helmut Schmidt

Meta-Level Control for Deductive Database Systems

Lecture Notes in Computer Science

Paperback Published: 13th March 1991
ISBN: 9783540537540
Number Of Pages: 156

Share This Book:


or 4 easy payments of $29.04 with Learn more
Ships in 7 to 10 business days

The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. 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.

A standard deductive database system.- An expert deductive database system.- Discarding irrelevant tuples.- Disregarding irrelevant rules.- Explicit termination of recursion.- Preferring useful rules.- Preferring useful tuples.- Summary and outlook.

ISBN: 9783540537540
ISBN-10: 3540537546
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 156
Published: 13th March 1991
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 0.94
Weight (kg): 0.25