Re: A Simple Notation

From: Vadim Tropashko <vadimtro_invalid_at_yahoo.com>
Date: Thu, 05 Jul 2007 09:30:57 -0700
Message-ID: <1183653057.985051.327010@q69g2000hsb.googlegroups.com>

On Jul 5, 6:35 am, "David Cressey" <cresse..._at_verizon.net> wrote:
> But if the RA really is isomporhic to Bollean Algebra, then I'd like to
> leverage what I think I do understand in order to better understand
> something else.

RA is not isomorphic to Boolean Algebra. De Morgan/Pierce/Tarski relation algebra of binary relations is. There are 3 algebras on n-ary relations I'm aware of:

Tarski Cylindric Algebras. Those seems to be very distinct from RA (because the relation dimension is fixed, and there is no named attribute perspective?)
D&D <OR> & <AND> algebra. It is not boolean algebra because absoption law fails.
RL. It is not boolean algebra because distributivity law fails.

Given that all 3 models have "flaws" that make them distict from boolean algebra, then obviously you'll experience difficulties reducing operator set to a single operator. Received on Thu Jul 05 2007 - 11:30:57 CDT