Re: Proposal: 6NF
Date: 8 Oct 2006 12:21:38 -0700
Message-ID: <1160335298.815821.111740_at_m73g2000cwd.googlegroups.com>
In my not-so-humble opinion, this whole thread is a bunch of useless talking-past-each-other. The word "null" (like all other words) means different things in different contexts, and "null" in particular means a variety of different, *incompatible* things. It seems to me that everyone is assuming it means the same thing to them as it does to the person they're talking to, at least some of the time.
[context] term
[math] empty set
[SQL] null
[3VL] unknown
[Java] null
[lisp] nil
[C] pointer 0
[type theory] bottom
[SML] Maybe algebraic data type
[Haskell] Maybe monad
[Nested RA] value with an empty determinant-set functional dependency
[TTM] Table Dum
[TTM] omega
... and probably many more.
Every one of these is a distinct concept, with distinct semantics. None of them can be separated from the underlying theory. It only makes sense to consider these within the context of the theory they are embedded in, and a direct comparison that doesn't take in to account how well the concept fits into its theory is leaving out important details. It is simply pointless to talk about one being better than the other without context.
Marshall Received on Sun Oct 08 2006 - 21:21:38 CEST