The homepage for

TituRel

as of June 1, 2009

• input/output relations from/to several forms of delivery
• formulate relational terms to be applied to such relations in a newly developed multilevel relational reference language
• analyze relations, decompose, permute, and partition them so as to obtain better information
• support proofs of relation-algebraic theorems with transformation capabilities and TeX printing
• switch between point-free form and component form with system support
• generate programs for the RelView system

All this is based on texts in preparation that serve rather diverging purposes.

• The first group of descriptions is contained in New Book
• The second group of programs is the basic one. It makes available sets, subsets, and elements as well as relations on a rather primitive basis and allows to transform back and forth between different representations. One will identify some hints as to that in the transparencies of a talk.
• The main scientific solution is the multipurpose relational reference language TituRel. It has been tried to include whatever occurs in handling heterogeneous relations under careful type control. Relatively old concept.
• The third level offers programs and examples in a diversity of application fields. It avoids deep mathematics and tries to substitute the latter using visualization; to appear soon.

• This is the ultimate relation system
• Towards improved techniques using relations
• Teaching informaticians to use relations
• Try it, to use relations
• Toolkit intended to use relations
• Testing innovative tools using relations
• Think innovative - try using relations

Impressum: