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.
Source: https://remy.wang/blog/ra-ra.html. 8 Sync News only summarizes and links out; content copyright belongs to the authors and original sources.
Đang tải bình luận…
Read the news here, practice coding, follow structured courses and train for IELTS on our sibling products — all connected through one 8 Sync account.
The ecosystem home: product overviews, blog and full pricing.
ExploreLearn along a clear roadmap: videos, auto-graded quizzes, certificates and mentors who ship for a living.
View the roadmap1,000+ DSA problems in Vietnamese, auto-graded across 7 languages — many FREE, right in your browser.
Practice for freeAI grading for all four IELTS skills with detailed rubric feedback.
Try it freeA 22 MB AI IDE for Vietnamese devs.
Download freeOrganizational memory for AI agents.
ExploreAI that staffs your Fanpage and qualifies leads for you.
Try it