Re: Examples of SQL anomalies?
Date: Wed, 2 Jul 2008 14:10:29 -0700 (PDT)
On Jul 2, 1:39 pm, -CELKO- <jcelko..._at_earthlink.net> wrote:
> >> Splitting the question up into different question (1) is the best approach here. If SQL had union types, we could do that. <<
> Okay,I have a union type column which alternately holds integer,
> float, strong and temporal data in each row.
The term "strongly typed" is no longer current. Have you read up on type theory at all? Perhaps you are trying to say something like "statically typed." Of course, whatever you meant to say, your point about 1NF is entirely incorrect. There is no mathematical reason to put any restriction on what can go in a set, or in a relation. And for Codd's idea of 1NF, it is only necessary to be able to distinguish whether a value is a relation or not, and to disallow relations as values in a tuple.
Codd put NULL in his model because he didn't know any better. Type theory has come a long way since 1970. We now understand why 3VL is a bad idea, and we now understand more general, more typesafe ways to accomplish the few things it can do.
Marshall Received on Wed Jul 02 2008 - 23:10:29 CEST