RelView - An OBDD-Based Computer Algebra System for Relations

Rudolf Berghammer, Frank Neumann

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