ACM SIGMOD Intl. Conference on Management of Data ,
Washington D.C., 1993.

Methods and rules

S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller


We show how classical datalog semantics can be used directly and very simply to provide semantics to a syntactic extension of datalog with methods, classes, inheritance, overloading and late binding. Several approaches to resolution are considered, implemented in the model, and formally compared. They range from resolution in C++$ style to original kinds of resolution suggested by the declarative nature of the language. We show connections to view specification and a further extension allowing runtime derivation of the class hierarchy.

[PDF Slides] [PS File] [PS Slides]