Re: Verify Basic Algebra Properties

From: Aloha Kakuikanu <aloha.kakuikanu_at_yahoo.com>
Date: 16 Jan 2007 16:43:47 -0800
Message-ID: <1168994627.132638.305630@51g2000cwl.googlegroups.com>

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 Tue Jan 16 2007 - 18:43:47 CST