Can I read Methods and Rules on EtoBox?

Methods and Rules by Serge Abiteboul; Georg Lausen; Heinz Uphoff; Emmanuel Waller is a scholarly article available to read on EtoBox.

What is Methods and Rules about?

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.

Author

Serge Abiteboul; Georg Lausen; Heinz Uphoff; Emmanuel Waller

Publisher

ACM

Published

1993

Language

EN