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!

Schreiben Sie den ersten Kommentar!