Authors

Title

Status, Abstract

Rudolf Berghammer
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
rub@informatik.uni-kiel.de

RELVIEW and RATH - Two Systems for Dealing with Relations


.pdf .bib

Has appeared as contribution pp. 1-16 to
Harrie de Swart, Ewa Orlowska, Marc Roubens, Gunther Schmidt (eds.):
Relational Methods in Computer Science, Lect. Notes in Comput. Science 2929
ISSN 0302-9743, ISBN 3-540-20780-5

Michael Winter
Computer Science Department, Brock University, St. Catharines, Ontario, Canada
mwinter@cosc.brocku.ca

Gunther Schmidt
Department of Computing Science
University of the Federal Armed Forces Munich
85577 Neubiberg, Germany
Gunther.Schmidt@unibw.de
October 2003

 In this paper we present two systems for dealing with relations, the RelView and the Rath system. After a short introduction to both systems we exhibit their usual domain of application by presenting some typical examples.