Representing Inheritance and Overriding in Datalog


Authors: Gillian Dobbie, Rodney Topor
Source: GZipped PostScript (83kb); Adobe PDF (304kb)

We describe the relationship between inheritance with overriding in an object-oriented database language, Gulog, and negation. We present a translation from Gulog programs to Datalog programs with negation and show that evaluating queries in the translation yields correct answers with respect to the original program.

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