Implementing Persistent Prolog

Implementing Persistent Prolog

Persistent Object Systems

Persistent object systems are systems which support the creation and manipulation of objects in a uniform manner, regardless of how long they persist. This is in direct contrast with conventional systems where temporary objects are created and manipulated using one mechanism (typically programming language data structures) and permanent objects are maintained using a different mechanism (usually a filestore). The unification of temporary and permanent objects yields systems which are smaller and more efficient than conventional systems and which provide a powerful and flexible platform for the development of large, data intensive applications. This volume presents the proceedings of a workshop at which latest research in this area was discussed. The papers are grouped into sections on the following topics: type systems and persistence, persistent programming languages, implementing persistence, object stores, measurement of persistent systems, transactions and persistence, and persistent machines.

Deductive Databases and Their Applications

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.