Meta-Level Control for Deductive Database Systems

by Helmut Schmidt

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.

• Format: Paperback
• Language: English
• ISBN: 3540537546
• ISBN13: 9783540537540
• Release Date: March 1991
• Publisher: Springer
• Length: 156 Pages
• Weight: 0.55 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"