# Relational Algebra versus Algebra of Relations

**URL:** <https://alloytools.discourse.group/t/relational-algebra-versus-algebra-of-relations/573>\
**Category:** Uncategorized\
**Created:** [September 22, 2026, 4:07am UTC](https://alloytools.discourse.group/t/relational-algebra-versus-algebra-of-relations/573 "2026-09-22T04:07:00Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![mica](https://avatars.discourse-cdn.com/v4/letter/m/85e7bf/32.png) [@mica](https://alloytools.discourse.group/u/mica)\
**Post date:** [September 22, 2026, 4:07am UTC](https://alloytools.discourse.group/t/relational-algebra-versus-algebra-of-relations/573/1 "2026-09-22T04:07:00Z")

</div>

[Relation algebra ≠ relational algebra](https://remy.wang/blog/ra-ra.html)

> One major piece of software built on it is the [Alloy analyzer](https://en.wikipedia.org/wiki/Alloy_(specification_language)) which calls it “relational logic” (which was incorrectly redirected to the page for relational algebra until I fixed it just now…). Alloy is a descendant of the [Z notation](https://en.wikipedia.org/wiki/Z_notation) by the late and great [Jean-Raymond Abrial](https://en.wikipedia.org/wiki/Jean-Raymond_Abrial).

I read the blog and didn’t quite understand what is different.