Re: Verify Basic Algebra Properties

Neo wrote:
> Apparently the following four algebraic properties (or something
> similar) are considered important, possibly showing an approach is
> well-grounded in mathematics.
>
> Commutative: A and B = B and A
> A or B = B or A
> Associative: A and (B and C) = (A and B) and C
> A or (B or C) = (A or B) or C
> Idempotent: A and A = A
> A or A = A
> Absorbtive: (A and B) or B = B
> (A or B) and B = B
>
> ...where A, B and C can be sets of anything?
>
> How is the above implemented/demonstrated in RMDBs, Prolog, LISP, etc?
> Below I show how to verify it in dbd for the following data set:

Wow a computer algebra system among all the other impressive things! Or maybe not:

http://en.wikipedia.org/wiki/Cargo_cult Received on Wed Jan 17 2007 - 01:43:47 CET