query languages

Relation algebra is not relational algebraremy.wang

The post clarifies the long‑standing confusion between *relation algebra* (a mathematical logic framework equivalent to FOL³) and *relational algebra* (Codd’s query language foundation). It outlines their histories, theoretical differences, and recent CS applications such as Alloy and the Prela query language, urging the community to adopt the term “Tarski’s Algebra of Relations” (TAR) to avoid m…