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, ...
Get The Relational Database Dictionary, Extended Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.