A Proposal for a Multilevel Relational Reference Language

A highly expressive multilevel relational reference language is proposed that covers most possibilities to use relations in practical applications. The language is de- signed to describe work in a heterogeneous setting. It originated from a Haskell-based system announced in (29), forerunners of which were (17,16). This language is intended to serve a variety of purposes. First, it shall allow to formulate all of the problems that have so far been tackled using relational methods providing full syntax- and type-control. Transformation of relational terms and formulae in the broadest sense shall be possible as well as interpretation in many forms. In the most simple way, boolean matrices will serve as an interpretation, but also non-representable models as with the Rath-system may be used. Proofs of relational formulae in the style of Ralf or in Rasiowa-Sikorski style are aimed at.

[1]  Gunther Schmidt,et al.  Theory Extraction in Relational Data Analysis , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.

[2]  Gunther Schmidt,et al.  RelView and Rath - Two Systems for Dealing with Relations , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.

[3]  Gunther Schmidt,et al.  Symmetric Quotients and Domain Constructions , 1989, Inf. Process. Lett..

[4]  Marc Roubens,et al.  Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[5]  Hans Zierer,et al.  Relation Algebraic Domain Constructions , 1991, Theor. Comput. Sci..

[6]  Rudolf Berghammer,et al.  Relational Algebraic Semantics of Deterministic and Nondeterministic Programs , 1986, Theor. Comput. Sci..

[7]  Rudolf Berghammer,et al.  Applications of the Rel View System , 1998, Tool Support for System Specification, Development and Verification.

[8]  Gunther Schmidt,et al.  Programs as Partial Graphs II: Recursion , 1981, Theor. Comput. Sci..

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

[10]  Thomas F. Gritzner.  wp-Kalkül und relationale Spezifikation kommunizierender Systeme , 1996 .

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

[12]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[13]  J. van Leeuwen,et al.  Theory and Applications of Relational Structures as Knowledge Instruments , 2003, Lecture Notes in Computer Science.

[14]  Peter Kempf,et al.  Towards a Formal Framework for Heterogeneous Relation Algebra , 1999, Inf. Sci..

[15]  Gunther Schmidt,et al.  Describing semantic domains with sprouts , 1987, Acta Informatica.

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

[17]  Rudolf Berghammer,et al.  Prototyping and Programming with Relations , 2003, RelMiS.

[18]  Charles Rattray,et al.  Algebraic Methodology and Software Technology , 2004, Lecture Notes in Computer Science.

[19]  Manfred Nagl,et al.  Graph-Theoretic Concepts in Computer Science , 1995, Lecture Notes in Computer Science.

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

[21]  Gunther Schmidt,et al.  Programs as Partial Graphs I: Flow Equivalence and Correctness , 1981, Theor. Comput. Sci..

[22]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[23]  Rudolf Berghammer,et al.  Realtion-Algebraic Analysis of Petri Nets with RELVIEW , 1996, TACAS.

[24]  Rudolf Berghammer,et al.  Modeling Sequences within the RelView System , 2001, J. Univers. Comput. Sci..

[25]  Michael Winter.  Generating Processes from Specifications using the Relation Manipulation System RelView , 2001, Electron. Notes Theor. Comput. Sci..

[26]  Hans Zierer.  Programmierung mit Funktionsobjekten: konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung , 1988 .

[27]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .