RelView - An OBDD-Based Computer Algebra System for Relations

We present an OBDD-based Computer Algebra system for relational algebra, called RelView. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.

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

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

[3]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[4]  Torsten Fahle,et al.  Simple and Fast: Improving a Branch-And-Bound Algorithm for Maximum Clique , 2002, ESA.

[5]  Ingo Wegener,et al.  Branching Programs and Binary Decision Diagrams , 1987 .

[6]  I. Wegener.  Branching Programs and Binary Deci-sion Diagrams-Theory and Applications , 1987 .

[7]  Alexander Fronk.  Using relation algebra for the analysis of Petri nets in a CASE tool based approach , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[8]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

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

[10]  Rajeev Raman,et al.  Algorithms — ESA 2002 , 2002, Lecture Notes in Computer Science.

[11]  Georg Struth,et al.  Relational and Kleene-Algebraic Methods in Computer Science , 2003, Lecture Notes in Computer Science.

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

[13]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[14]  Ralf Behnke,et al.  RELVIEW - A System for Calculating With Relations and Relational Programming , 1998, FASE.

[15]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.