The article clarifies the distinction between relational algebra, a computer science concept foundational to databases introduced by Ted Codd, and relation algebra, a mathematical algebraic structure based on binary relations. While historically separate, relation algebra has found applications in computer science through tools like the Alloy analyzer and query languages like Prela, with the author proposing the term 'Tarski's Algebra of Relations' to reduce confusion.
The article clarifies the distinction between relational algebra, a foundational concept in database theory introduced by Ted Codd, and relation algebra, a mathematical algebraic structure based on binary relations. While relational algebra underlies relational databases and is studied in computer science, relation algebra has applications in formal methods (like the Alloy analyzer) and is increasingly being applied to database systems through languages like Prela, with the author advocating for greater recognition of this mathematical framework.