Chapter 2. A
A A relationally complete, "reduced instruction set" form of relational algebra with just two primitive operatorREMOVE (essentially projection on all attributes but one) and an algebraic analog of either NOR or NAND, q.v. The name is a doubly recursive acronym: It stands for ALGEBRA, which in turn stands for A Logical Genesis Explains Basic Relational Algebra. As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. Further details can be found in the book Databases, Types, and the Relational Model: The Third Manifesto (3rd edition), by C. J. Date and Hugh Darwen (Addison-Wesley, 2006). Note: That book uses solid arrowheads, ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access