CLOG: A class-based logic language for object-oriented databases

Abstract

In this paper a class-based logic language for object-oriented databases which is called CLOG is described. CLOG is based on many sorted horn clauses with concept of classes, objects, object identity, multiple class membership of objects and non-monotonic inheritance. The database view of a class is maintained as a collection of objects and a type. Class is a collection of many sorted horn clauses and functions which define the structural and behavioral aspects of an object. Generic classes give parametrized types. Queries are class-based. Support for view and derived classes are inherent.