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
