ROL

Appeared in Volume 9/2, May 1996

The ROL system is now available by anonymous FTP from:
ftp://ftp.cs.uregina.ca/pub/rol

ROL (Rule-based Object Language) integrates features from deductive databases and object-oriented databases into a uniform framework. It is an extension of Datalog and LDL (without grouping) and subsumes them.

ROL supports object-oriented features such as object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding, and schema.

It is a pure declarative query language, and has a logical semantics for all of its object-oriented features.

This implementation of ROL has the following main features:

a combination of bottom-up with top-down evaluation strategies
the support of higher-order features
basic run-time update facilities

For more information, contact:

Mengchi Liu
Dept of Computer Science, Univ. of Regina
Regina, Saskatchewan, Canada S4S 0A2
Email: mliu@cs.uregina.ca
URL: http://cs.uregina.ca/~mliu

No Next