Release of the ROL Deductive Object-Oriented Database System 
Author Message
 Release of the ROL Deductive Object-Oriented Database System

I am pleased to announce the first public release of the ROL system for
anonymous ftp from ftp.cs.uregina.ca/pub/rol.

ROL (Rule-based Object Language) is a deductive object-oriented database
system developed at the University of Regina in Canada with support from
Natural Sciences and Engineering Research Council of Canada.

The ROL language effectively integrates important features in deductive
databases and object-oriented databases into a uniform framework.
It is an extension to Datalog and LDL (without grouping) and subsumes them
as special cases.
It naturally and directly supports object-oriented features such as object
identity, complex objects, classes, class hierarchy, multiple inheritance
with overriding, and schema.
It provides powerful mechanisms for representing both partial and
complete information on sets.
It is a pure declarative query language without any imperative parts.
Furthermore, it has a logical semantics that cleanly accounts for
all of its object-oriented features.

This version of ROL is our first implementation, which has the
following main features.

1. effectively combining the bottom-up with top-down evaluation strategies
   together to answer user queries, and return all query results to
   the user at reasonable speed;

2. supporting higher-order features so that the user can write
   more general rules and issue more general queries;

3. providing basic update facilities so that the user can update facts
   and rules at run-time.

Enjoy,
Mengchi Liu
--------------------------------------------------------------------------

Dept of Computer Science                        Tel:    (306) 585-4700 (O)
University of Regina                                    (306) 789-9823 (H)
Regina, Saskatchewan                            Fax:    (306) 585-4745
Canada S4S 0A2                             web: http://www.*-*-*.com/ ~mliu
--------------------------------------------------------------------------



Mon, 27 Jul 1998 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. special issue: ADVANCES IN DEDUCTIVE OBJECT-ORIENTED DATABASES

2. Deductive and Object Oriented Databases 93

3. Special issue on deductive object-oriented databases

4. Special issue on deductive object-oriented databases

5. Release of Relationlog Deductive Database System

6. Announcement: Aditi Deductive Database System - Beta Release

7. ANNOUNCEMENT: Object-Oriented Systems - new object-oriented journal

8. ANNOUNCEMENT: Object-Oriented Systems - new object-oriented journal

9. Last Call for Object Oriented Database Systems courses

10. Summary of Public Domain Object-Oriented Database Systems

11. A Modular and Open Object-Oriented Database System

12. Summary of Public Domain Object-Oriented Database Systems

 

 
Powered by phpBB® Forum Software