Author: Gill Dobbie
Source: GZipped PostScript (45kb); Adobe PDF
(245kb)
In this paper extend our previous mathematical foundation for a deductive object-oriented language called Gulog to include arithmetic and aggregate operators. We describe the semantics of the extended language and present a corresponding query evaluation procedure.