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.
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.