Implementation of relational algebra using binary decision diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2561, Issue , 2002, Pages 241-257

  Berghammer, Rudolf ^a   Leoniuk, Barbara ^a   Milanese, Ulf ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS;

HARD PROBLEMS; RELATIONAL ALGEBRA; RELVIEW;

BINARY DECISION DIAGRAMS;

EID: 84947219734     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36280-0_17     Document Type: Conference Paper

References (12)

1. Behnke R., Berghammer R., Schneider P.: Machine support of relational computations: The Kiel RelView system. Bericht Nr. 9711, Inst. für Inf. und Prak. Math., Univ. Kiel (1997)
2. Behnke R., Berghammer R., Hoffmann T., Leoniuk B., Schneider P.: Applications of the RelView system. In: Berghammer R., Lakhnech Y. (eds.): Tool support for system specification, development and verification. Advances in Computing, Springer, 33-47 (1999)
3. Behnke R., Berghammer R., Meyer E., Schneider P.: RelView - A system for calculating with relations and relational programming. In: Astesiano E. (ed.): Proc. Conf. on Fundamental Approaches to Software Engineering (FASE '98), LNCS 1382, Springer, 318-321 (1998)
4. Berghammer R., Hoffmann T.: Modelling sequences within the RelView system. J. of Univ. Comp. Sci. 7, 107-123 (2001)
5. Berghammer R., Karger B. von, Ulke C.: Relation-algebraic analysis of Petri nets with RelView. In: Margaria T., Steffen B. (eds.): Proc. Workshop on Tools and Applications for the Construction and Analysis of Systems (TACAS '96), LNCS 1055, Springer, 49-69 (1996)
6. Brink C., Kahl W., Schmidt G. (eds.): Relational methods in computer science. Advances in Comp. Sci., Springer (1997)
7. Bryant R.E.: Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Comp. Surv. 24, 293-318 (1992)
8. Leoniuk B.: ROBDD-based implementation of relational algebra with applications (in German). Ph.D. thesis, Inst. für Inf. und Prak. Math., Univ. Kiel (2001)
9. Liaw H.-T., Lin C.-S.: On the OBDD representation of general Boolean functions. IEEE Transactions on Comp. 41, 661-664 (1992)
10. Milanese U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations (in German). Ph.D. thesis, Inst. für Inf. und Prak. Math., Univ. Kiel (to appear)
11. Schmidt G., Ströhlein T.: Relations and graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theor. Comp. Sci., Springer (1993)
12. Somenzi, F.: CUDD: CU decision diagram package; Release 2.3.0. http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html (1998)