Re: Proposal: 6NF

David Cressey schreef:

> "vc" <boston103_at_hotmail.com> wrote in message
> news:1160752928.197097.241340_at_m73g2000cwd.googlegroups.com...
>
>
> > RIght, but my understanding of the OOP stuff leads me to believe that
> > a subtype should '"inherit" its type operations. If so, assuming R is
> > our base type, what do we do about division in Z (regarded as an R
> > subtype) ;) ?
>
> My understanding is that a subtype inherits type operations unless
> overridden or forbidden.

I think that's inheritance you're talking about, not subtyping. The two can be related, which explains why inheritance hierarchies can be to some extenent "natural", but are not always necessarily the same.

• Jan Hidders