The *(term) for a *(paradigm) of programming where relationships between _(object)s are formalized as Relation objects. The few languages in this category generally adhere to relational algebra or some subset of it.

<ul class="links">
<li>The Relational Methods in Computer Science ("RelMiCS") _(home page| http://www2.Informatik.UniBw-Muenchen.DE/relmics/html/).
<li>_(RATH| http://ist.unibw-muenchen.de/relmics/tools/RATH/), a Relational Algebra Toolkit in _(Haskell), which also covers more general things like _(category theory) concepts.
</ul>