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.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Berghammer, Rudolf, Neumann, Frank
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Binary Decision Diagram Boolean Function Computer Algebra System Maximum Clique Relational Algebra
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/11555964_4