Re: Dawn doesn't like 1NF
Date: Fri, 15 Oct 2004 16:23:57 -0400
Message-ID: <ye2dnRyBk-N2rO3cRVn-qQ_at_comcast.com>
"Dan" <guntermann_at_verizon.net> wrote in message
news:3e68f717.0410151209.59904d7_at_posting.google.com...
> I don't doubt that introductory textbooks begin with simple examples.
>
I'll leave that one to the mathematicians.
>
You and me both.
I noticed recently that in a discussion of UDT in here, they were
mentioning some system
> Even more than useful or powerful properties, however, one needs a
> mathematical/logical model that is consistent and complete. I'm
> simply asking for someone to show me this more powerful and useful
> model in mathematics that is also as consistent and complete as the
> "basic" definition of a relation. Sho' me the money.
> It shouldn't be that hard to produce an example or "proof" to
> demonstrate one's assertion, right?
>
> I've read Date's ideas on this, and I respect them immensely, but I am
> not entirely convinced that all the fundamental issues have been
> addressed, such as how calculii and algebra are affected by his model.
There's more here than meets the eye. Testing two of a UDT for equality is a whole lot more subtle than comparing the bits, bit by bit. I'm not convinced that two values drawn from the same complex domain can be easily tested for equality.
Is {1, 2, 3} equal to {2, 3, 1} ?
Is 3.21E3 equal to 32.1E2 ? Received on Fri Oct 15 2004 - 22:23:57 CEST