Re: Proposal: 6NF
Date: 14 Oct 2006 09:27:17 -0700
Message-ID: <1160843237.433048.109230_at_i3g2000cwc.googlegroups.com>
Jan Hidders wrote:
[...]
> Is it really that hard to
> understand that I was talking about two different ways of looking at
> the same thing?
Yes, it is hard. I'd rather prefer one be precise when one talks about that sort of things. I am actually puzzled when one sez, be it Cardelli or anyone else, subtyping is subsetting and then adds something like "Oh, by the way I am really talking about algebraic structures, not just arbitrary sets". It looks like a sloppy way of describing things at best, or false advertizing at worst.
And I do not even want to get into the oddity of the idea that integers can be derived from reals, by subtyping or otherwise, essentially making reals somehow more fundamental (where do you get them from ?). In math, the construction goes just in the opposite direction, as I am sure you know.
>
> -- Jan hidders
Received on Sat Oct 14 2006 - 18:27:17 CEST