Foundations of deductive object-oriented database systems


Author: Gill Dobbie
Source: GZipped PostScript (309kb); Adobe PDF (978kb)

This is a thesis submitted to the University of Melbourne in fulfillment of the requirements for the degree of Doctor of Philosophy. In this thesis, after reviewing the areas of deductive databases and object-oriented databases, and related work in which different approaches to combining deductive and object-oriented databases are described, we propose a mathematical foundation for object-oriented systems with deduction. We do this by defining a new language, Gulog, which has the features of object-oriented databases and of deductive databases. From deductive databases it has deduction, predicates, and negation. From object-oriented databases it has inheritance (and multiple inheritance), overriding, functional methods, multi-valued methods, objects, and classes.

[Up to Computer Science Technical Report Archive: Home Page]