1st Edition

Deductive Databases and Their Applications

Edited By Robert Colomb Copyright 1998
    276 Pages
    by CRC Press

    276 Pages
    by CRC Press

    Deductive Databases and their Applications is an introductory text aimed at undergraduate students with some knowledge of database and information systems. The text comes complete with exercises and solutions to encourage students to tackle problems practically as well as theoretically. The author presents the origins of deductive databases in Prologue before proceeding to analyse the main deductive database paradigm - the data-log model. The final chapters are dedicated to closely related topics such as prepositional expert systems, integrity constraint specification and evaluation, and update propagation. Particular attention is paid to CASE tool repositories.

    1. Introduction 2. Summary of Prolog 3. Prolog and Databases 4. Datalog and Bottom-up Evaluation 5. Knowledge Design 6. Building and Knowledge Base 7. Knowledge Quality 8. Magic Sets 9. Unfolding and Folding 10. Propositional Deductive Databases 11. Integrity Constraints 12. Non-monotonic Reasoning

    Biography

    Robert Colomb