Applications of the Rel View System

The study of relations has its roots in the second half of the 19th century with the pioneering works of Boole and de Morgan. Later on, Peirce and Schroder developed the algebra of relations. The modern axiomatic development of relational algebra starts with the fundamental work of Tarski and his co-workers. In the last two decades this formalization has widely been used by many mathematicians and computer scientists as a very convenient base for describing fundamental concepts like graphs, orders, games, and combinatorics in mathematics and like relational data bases, Petri nets, data types, and semantics of programming languages in computer science. A lot of examples and references to relevant literature can be found in (Schmidt Strohlein 1993) and (Brink et al. 1997).