论文信息 - RelView and Rath - Two Systems for Dealing with Relations

RelView and Rath - Two Systems for Dealing with Relations

In this paper we present two systems for dealing with relations, the RelView and the Rath system. After a short introduction to both systems we exhibit their usual domain of application by presenting some typical examples.

[1] Andre Scedrov,et al. Categories, allegories , 1990, North-Holland mathematical library.

[2] Gunther Schmidt,et al. Relational Methods in Computer Science , 1999, Inf. Sci..

[3] Bernhard Ganter,et al. Formal Concept Analysis: Mathematical Foundations , 1998 .

[4] Ralf Behnke,et al. RELVIEW - A System for Calculating With Relations and Relational Programming , 1998, FASE.

[5] Gunther Schmidt,et al. RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker , 1993, AMAST.

[6] Abraham Kandel,et al. Discrete mathematics for computer scientists , 1983 .

[7] Gunther Schmidt,et al. Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[8] Barbara Leoniuk. ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen , 2001 .

[9] Gunther Schmidt,et al. Relationen und Graphen , 1989, Mathematik für Informatiker.

[10] Perdita Stevens,et al. Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[11] Michael Winter,et al. A new algebraic approach to L-fuzzy relations convenient to study crispness , 2001, Inf. Sci..

[12] Claudia Hattensperger. Rechnergestütztes Beweisen in heterogenen Relationenalgebren , 1998 .

[13] Michael Winter. Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen , 1998 .