Deductive databases and their applications

Aimed at undergraduate students, this introductory text works on the basis that the reader has only limited database and information systems knoledge.

It 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 Prolog before proceeding to analyse the main deductive database paradigm-the datalog model.

The final chapters are dedicated to closely related topics such as propositional expert systems, integrity constraint specification and evaluation, and update propogation.

Particular attention is paid to CASE tool repositories. knowledge.