Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barbut, M., Monjardet, B.: Ordre et classification: Algébre et combinatoire. Hachette (1970)
Behnke, R., Berghammer, R., Schneider, P.: Machine support of relational computations. The Kiel RelView system. Bericht Nr. 9711, Institut für Informatik und Praktische Mathematik, Universität Kiel (1997)
Behnke, R., Berghammer, R., Meyer, E., Schneider, P.: RelView – A system for calculation with relations and relational programming. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 318–321. Springer, Heidelberg (1998)
Brink, C., Kahl, W., Schmidt, G.: Relational Methods in Computer Science, Advances in Computing Science. Springer, Heidelberg (1997)
Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)
Ganter, B., Wille, R.: Formal concept analysis: Mathematical foundations. Springer, Heidelberg (1999)
Hattensperger, C., Berghammer, R., Schmidt, G.: Ralf – A relation-algebraic formula manipulation system and proof checker. Notes to a system demonstration. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) Proc. 3rd Internat. Conf. “Algebraic Methodology and Software Technology (AMAST 1993), Workshops in Computing, pp. 405–406. Springer, Heidelberg (1994)
Hattensperger, C.: Rechnergestütztes Beweisen in heterogenen Relationenalgebren. Dissertation, Fakultät für Informatik, Universität der Bundeswehr München (1997)
Kahl, W., Schmidt, G.: Exploring (finite) relation algebras using tools written in Haskell. Report Nr. 2000-02, Fakultät für Informatik, Universität der Bundeswehr München (2000)
Leoniuk, B.: ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen. Dissertation, Institut für Informatik und Praktische Mathematik, Universität Kiel (2001)
Offermann, E.: Konstruktion relationaler Kategorien. Dissertation, Fakultät für Informatik, Universität der Bundeswehr München (2003)
Olivier, J.P., Serrato, D.: Catégories de Dedekind. Morphismes dans les Catégories de Schröder. C.R. Acad. Sci. Paris 290, 939–941 (1980)
Schmidt, G., Ströhlein, T.: Relationen und Graphen. Springer, Heidelberg (1989); English version: Relations and Graphs. Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoret. Comput. Sci. Springer, Heidelberg (1993)
Schmidt, G.: Decomposing relations – Data analysis techniques for Boolean matrices. Report Nr. 2002-09, Fakultät für Informatik, Universität der Bundeswehr München (2002)
Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertation, Fakultät für Informatik, Universität der Bundeswehr München (1998)
Winter, M.: A new algebraic approach to L-fuzzy relations convenient to study crispness. Information Sciences 139, 233–252 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Berghammer, R., Schmidt, G., Winter, M. (2003). RelView and Rath – Two Systems for Dealing with Relations. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds) Theory and Applications of Relational Structures as Knowledge Instruments. Lecture Notes in Computer Science, vol 2929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24615-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-24615-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20780-1
Online ISBN: 978-3-540-24615-2
eBook Packages: Springer Book Archive