# Re: Proposal: 6NF

From: Jan Hidders <hidders_at_gmail.com>

Date: 20 Oct 2006 02:49:14 -0700

Message-ID: <1161337754.609420.240390_at_b28g2000cwb.googlegroups.com>

> Consider the subset {2, 3}. What is the result of (2+3) mod 4 ? If

Date: 20 Oct 2006 02:49:14 -0700

Message-ID: <1161337754.609420.240390_at_b28g2000cwb.googlegroups.com>

vc wrote:

*> Jan Hidders wrote:
**> > vc wrote:
**> > > Jan Hidders wrote:
*

> > > [...]

*> > >
**> > > A much simpler example. Let {0, 1, 2, 3} be a set of four integers
**> > > with addition modulo 4. Then, none of its subsets, except {0} and
**> > > {0, 2}, retains the addition mod 4 operation which makes the idea of
**> > > 'subtype as subset' utterly silly, [....].
**> >
**> > You keep on making the same mistake. The expression a +[mod 4] b has a
**> > well defined result if a and b are from any subset of {0, 1, 2, 3}.
*

>

> Consider the subset {2, 3}. What is the result of (2+3) mod 4 ? If

*> you say it's '1', what is '1'? There is no such element in {2, 3}.*Since Marshall seems to have taken an interest in defending my point of view and my work is getting busier I'll be following the discussion from the sidelines, cheering Marshal on every now and then.

Go, Marshall, Go! :-)

- Jan Hidders