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.