Relation algebra is not relational algebra

An exploration of the naming confusion between relational algebra (the foundation of relational databases, introduced by Codd) and relation algebra (an abstract algebraic structure from logic and pure math, later named the calculus of relations by Tarski). The piece traces how relation algebra has quietly influenced computer science through Alloy's relational logic and the Z notation, and highlights Dirk Van Gucht's line of work applying relation algebra to database theory, culminating in the new Prela query language, the first since Van Gucht's IUGQL to be based on relation algebra. The author proposes calling it 'Tarski's Algebra of Relations' (TAR) to reduce confusion.

Nguồn: https://remy.wang/blog/ra-ra.html. 8 Sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.