Proposal for a Multilevel Relational Reference Language
Gunther Schmidt
A highly expressive multilevel relational reference language is
proposed that covers most possibilities to use relations in practical
applications. The language is designed 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.
Journal on Relation Methods in Computer Science, Vol. 1, pp. 314-338,
2004