Deductive Databases and Their Applications
Robert M. ColombBooks.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Overview
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.
Synopsis
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.
Booknews
In this advanced undergraduate text in computer information systems, Colomb (U. of Queensland, Australia) introduces deductive databases which have emerged from relational databases in light of the growing number of applications not suitable for the latter, the origins of deductive databases in Prolog, and the dialog model and query optimization techniques underpinning the deductive database paradigm. Later chapters treat the related topics of propositional expert systems, integrity constraint specification and evaluation, and update propagation<-->with a particular focus on Computer-Aided Software Engineering (CASE) tools. Includes exercises. Annotation c. by Book News, Inc., Portland, Or.