Computer-Aided Program Development
Institute of Computer Science
Faculty of Engineering, Christian-Albrechts-University of Kiel
Logo of the Working Group
RelView System

The RelView-System is an interactive tool for computer-supported manipulation of relations represented as Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed at the Department of Computer Science of the Christian-Albrechts-University of Kiel. This Web-page describes how to get RelView and provides some further information.

News

Sept, 2012: RelView version 8.1 has been released. This is a minor release incorporating a handful of new features and some bug fixes. Changes include:

May, 2011: RelView version 8 is available. Here is a brief overview of the changes in the user's perspective from version 7.2 to 8.0:

Most changes to the RelView system are under the hood and are only interesting for developers:

July, 2009: After a long time of development, the new version 7.2 is out. Here is a brief overview of changes from version 7.0:

Download

See the download page for the most recent version of the system. The system is available as binary packages for some UNIX-based platforms and as a source distribution.

There is Emacs support for the Relview programming language available.

Documentation

A list of available base functions is available here. Further details can be found on the documentation page.

Screenshots

Some screenshots showing the RelView system in action are available here.

Related Software and Libraries

RelView and the Kure library has been used in and has motivated some other software projects.
  1. Kure2 library (@sourceforge.net): C library that provides the relational foundations of the RelView system, that is, representation of relations using BDDs, manipulation of relations and the domain-specific language.
  2. Kure1 library: Previous version of the Kure2 library. Deprecated.
  3. KURE-Java: Java interface for the Kure1 library.
  4. RelClipse: Windows-based Eclipse plugin that makes available some of RelView's features within Eclipse. Based on the Kure1 library.
There are also some more tools and libraries that use relation algebra and/or relations in general. A survey about different approaches is provided by the master thesis of P. Rademaker (2008). The following (incomplete) list can serve as a starting point:
  1. CrocoPat: "A Tool for Simple and Efficient Relational Programming". Also based on BDDs. LGPL license.
  2. RScript: "A Relational Approach to Software Analysis".
  3. GReQL 2: Graph Repository Query Language.

Applications and Related Documents

You can find some interesting papers using relation algebra and RelView here.

Example Programs

The following list provides some applications of the RelView System. Please note that some of these programs use auxiliary functions which are available in the start_up.prog.

Local Installation

RelView is available from the SunOS terminals at the Department of Computer Science. The most recent executable is
   /home/progsys/stbRELVIEW/bin/relview-8.1
Previous versions are available as well. More information is available here.

Contact

Please send any comments, bug reports and feature requests to:

Rudolf Berghammer, e-mail: rub@informatik.uni-kiel.de.

 
Rudolf Berghammer - rub@informatik.uni-kiel.de
Last modified: 28-Sep-2012, 20:21:57 MEST