![]() |
![]() |
![]() |
ROL
ROL (Rule-based Object Language) is a deductive object database system. The ROL language effectively integrates important features in deductive databases and object-oriented databases. It supports object-oriented features such as object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding and blocking, and schema definition. It also supports structured values such as functor objects and sets and provides powerful mechanisms for representing both partial and complete information about sets. It is a pure declarative query language without any imperative parts. It builds-in 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.
|
Current Version: 2.2
License Type: ??
|
Home Site:
Source Code Availability: Yes
Available Binary Packages:
Targeted Platforms: Software/Hardware Requirements:
|
Other Links:
Mailing Lists/USENET News Groups: User Comments:
See A Screen Shot? (Not Yet)
|