An Overview of the ROL Language

ROL is a deductive object base language being developed at the University of Regina. It integrates important features of deductive and object-oriented databases. It supports object identity, complex objects, class hierarchy, multiple inheritance with overriding and blocking, and schema. It also supports structured values such as functor objects and sets, treats them as first class citizens, and provides powerful mechanisms for representing both partial and complete information on sets. It supports important integrity constraints such as domain, key, referential, functional dependency, and cardinality in a uniform framework. Furthermore, it has a logical semantics that cleanly accounts for all of its object-oriented and value-oriented features