Prototyping and Programming with Relations
Rudolf Berghammer, Thorsten Hoffmann, B. Leoniuk, Ulf Milanese · Electronic Notes in Theoretical Computer Science · 2003
We give a survey on the use of relational algebra for problem specification and program development over relation-based discrete structures and show how the relation-algebraic prototyping and visualization tool Rel View can support this approach.