It is obvious that object-oriented deductive databases are particularly suited to support virtual classes and object views. In this paper we represent classes and objects as modules in a deductive database and propose a way to handle inheritance and late binding that also applies to virtual classes. Our model covers not only specializing but also generalizing virtual classes.
Ulrike Peiker, Martin Griebl