Chapter 10. I
idempotence Let Op be a dyadic operator, and assume for definiteness that Op is expressed in infix style. Then Op is idempotent if and only if, for all x, x Op x = x.
Examples: In logic, OR and AND are both idempotent, because x OR x = x and x AND x = x for all x. It follows as a direct consequence that UNION and JOIN, respectively, are idempotent in relational algebra.
identity 1. (General) That which distinguishes a given entity from all others. 2. (Operator) Equality. 3. (Logic) Equality; also, a tautology of the form (p) EQUIV (q). 4. (Comparison) A Boolean expression of the form (exp1) = (exp2), where exp1 and exp2 are expressions of the same type, that's guaranteed to evaluate to TRUE regardless of the values of any variables ...
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