Machine Support of Relational Computations : The Kiel RELVIEW System

People working with relations and graphs very often use a greater or smaller example and manipulate it with pencil and paper in order to prove or disprove some property or to obtain an impression how a certain algorithm works. For supporting such a task by machine, the RELVIEW system has been constructed. This report is intended as a user's and programmer's guide for RELVIEW. But it informs also about relational algebra, the theoretical background behind the system.


Logo BII



Use and reproduction:

No license. The provisions of the German Copyright Act (UrhG) apply.

Please note that individual components of the publication may be subject to other licensing or copyright conditions.


Citation style:
Could not load citation form.