RELVIEW - An OBDD-based computer algebra system for relations

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

Volumn 3718 LNCS, Issue , 2005, Pages 40-51

  Berghammer, Rudolf ^a   Neumann, Frank ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ALGEBRA; RELATIONAL ALGEBRA; RELATIONS (MATHEMATICS);

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SYSTEMS; NATURAL SCIENCES COMPUTING;

LINEAR ALGEBRA;

EID: 33744947550     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11555964_4     Document Type: Conference Paper

References (13)

1. R. Behnke et al., RELVIEW - A system for calculation with relations and relational programming, in: Proc. 1. Conf. on Fundamental Approaches to Software Engineering, LNCS 1382, Springer (1998), 318-321.
2. R. Berghammer, T. Hoffmann, Modelling sequences within the RELVIEW system, J. of Univ. Comp. Sci. 7 (2001), 107-123.
3. R. Berghammer, B. Möller, G. Struth (eds,), Proc. 7th Int, Workshop Relational Methods in Computer Science, LNCS 3051, Springer (2004).
4. C. Brink, W. Kahl, G. Schmidt (eds.), Relational methods in computer science, Advances in Computer Science, Springer (1997).
5. R.E. Bryant, Symbolic Boolean manipulation with ordered binary decision diagrams, ACM Com. Surv, 24 (1992), 293-318.
6. B.A. Davey, H.A. Priestley, Introduction to lattices and orders, Cambridge Univ. Press (1991).
7. DIMACS implementation challenges (second challenge, 1992-1993), Available via URL http://dimacs.rutgers.edu/Challenges/.
8. T. Fable, Simple and fast: Improving a branch-and-bound algorithm for maximum clique, in: Proc. 10. Europ. Symp. on Alg., LNCS 2461, Springer (2002), 485-498.
9. A. Fronk, Using relational algebra for the analysis of Petri nets in a CASE tool based approach, Proc. 2nd IEEE Int. Conf. on Software Engineering and Formal Methods, IEEE Press (2004), 396-405.
10. B. Leoniuk, ROBDD-based implementation of relational algebra with applications (in German), Diss., Univ. Kiel (2001).
11. U. Milanese, On the implementation of a ROBDD-based tool for the manipulation and visualization of relations (in German), Diss., Univ. Kiel (2003).
12. G. Schmidt, T. Ströhlein, Relations and graphs. Discrete mathematics for computer scientists, EATCS Monographs on Theoret. Comp. Sci., Springer (1993).
13. I. Wegener, Branching programs and binary decision diagrams: Theory and applications, SIAM Monographs on Discr. Math, and Appl., SIAM (2000).