Relation algebra is not relational algebra
Summary
The article clarifies the distinction between relation algebra (algebra of binary relations) and relational algebra (the database query algebra), tracing origins from Codd and highlighting related formalisms and tools (Alloy, Z notation, Prela). It argues for clearer terminology and provides pointers for further reading.