Newsgroups: comp.lang.prolog,comp.databases,comp.databases.theory,comp.databases.object,comp.object,comp.object.logic
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!gatech!EU.net!uknet!newsfeed.ed.ac.uk!hwcee!andrew
From: andrew@cee.hw.ac.uk (Andrew Dinn)
Subject: ROCK & ROLL DOOD Release Announcement
Message-ID: <D8ty8D.BI0@cee.hw.ac.uk>
Keywords: deductive object oriented object-oriented database logic language 
Sender: news@cee.hw.ac.uk (News Administrator)
Organization: Dept of Computing and Electrical Engineering, Heriot-Watt University
X-Newsreader: TIN [version 1.2 PL2]
Date: Fri, 19 May 1995 14:43:24 GMT
Lines: 78
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:13013 comp.databases:46042 comp.databases.theory:4304 comp.databases.object:5840 comp.object:31116 comp.object.logic:447

***********************************************************************
*                                                                     *
*                            ANNOUNCEMENT                             *
*                                                                     *
*                            Release of the                           *
*                                                                     *
*                         R O C K  &  R O L L                         *
*                                                                     *
*                   Deductive Object Oriented Database                *
*                                                                     *
*                               System                                *
*                                                                     *
*                            Version 2.10                             *
***********************************************************************


This notice announces the first public release of the ROCK & ROLL
system via anonymous ftp.

ROCK & ROLL is a Deductive Object Oriented Database (DOOD) system
developed by the Department of Computing & Electrical Engineering at
Heriot-Watt University. It consists of three integrated components, an
object-oriented data model, an imperative object-oriented data
manipulation language ROCK (Rule Object Computational Kernel) and a
declarative object-oriented logic query language ROLL (Rule Object
Logic Language).

The key to the development of an integrated system has been the
central role of the data model which was developed and formalized
first and from which both the imperative and logic languages have been
derived. The two-language approach has allowed the logic language to
remain free from extra-logical features required to support updates
and input/output by supplying the imperative language for that
task. The integration of the imperative and logic languages is free
from impedance mismatches, as both languages share a common type
system - the underlying data model - and compatible execution
strategies - ROLL being callable from ROCK and vice-versa.

The system has been implemented to run on Sun4 workstations using the
Exodus E Persistent C++ compiler. An non-persistent (in-memory) version
of the system is available on both Sun4 workstations and PCs running
DOS/Windows. The implementation provides facilities for declaring
object-oriented schemas and defining both imperative (ROCK) and
deductive (ROLL) methods. It also provides for the execution of ROCK
programs and evaluation of ROLL queries. A ROLL compiler and a query
optimizer are included.

The non-persistent version of ROCK & ROLL is available via anonymous
ftp from server 
        ftp.cee.hw.ac.uk (137.195.26.109)
directory
        /pub/rnr
files
        rnr.zip - PC/DOS release
        rnr.tar.gz - Sun4/SunOS4.1.3 release (or compatible e.g. Solaris 5.3)
        README - details of release and installation process
        pkunxip.exe - PC/DOS binary to unzip PC release
        zcat.exe - Unix/Sun4 binary to unzip Sun4 release

Each release version includes the ROCK & ROLL executable, a User
Manual (postscript only), some example ROCK & ROLL programs and
published papers describing the definition and implementation of
ROCK & ROLL.

The release may also be fetched via WWW from URL:

        http://www.cee.hw.ac.uk/Databases/rnr.html

Details of other database research and publications at Heriot-Watt
University may be obtained at URL:

        http://www.cee.hw.ac.uk/Databases

In case you have any problems or questions concerning the ROCK & ROLL
release, please send email to

        dooduser@cee.hw.ac.uk

