Prototyping and Programming with Relations

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

[1]  Rudolf Berghammer.  Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs , 1999, Inf. Sci..

[2]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[3]  Rudolf Berghammer,et al.  Realtion-Algebraic Analysis of Petri Nets with RELVIEW , 1996, TACAS.

[4]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[5]  Rudolf Berghammer,et al.  Applications of the Rel View System , 1998, Tool Support for System Specification, Development and Verification.

[6]  Stephen Warshall,et al.  A Theorem on Boolean Matrices , 1962, JACM.

[7]  Rudolf Berghammer,et al.  Modeling Sequences within the RelView System , 2001, J. Univers. Comput. Sci..

[8]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[9]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[10]  Gunther Schmidt,et al.  Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.

[11]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[12]  Gunther Schmidt,et al.  Symmetric Quotients and Domain Constructions , 1989, Inf. Process. Lett..

[13]  M. Jerrum.  The Computational Complexity of Counting , 1995 .

[14]  Abraham Kandel,et al.  Discrete mathematics for computer scientists , 1983 .

[15]  Wolfram Kahl,et al.  Relational Methods in Computer Science , 1997, Advances in Computing Sciences.

[16]  R. Prim.  Shortest connection networks and some generalizations , 1957 .

[17]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[18]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[19]  Andreas Wolf,et al.  Relation-Algebraic Derivation of Spanning Tree Algorithms , 1998, MPC.