Re: Proposal: 6NF

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}.

>

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