Re: 1GB Tables as Classes, or Tables as Types, and all that refuted
Date: 11 Dec 2004 14:07:52 -0800
Message-ID: <1102802872.069063.273450_at_z14g2000cwz.googlegroups.com>
Dawn,
The problem is that if you allow these models to take the descriptions
'Graphs' and 'Trees' you are covering the fact that these mathematical
constructs are also describable using Relations.
The problem is not that these implementations are graph-based, but
rather that they use pointers to describe and navigate the graphs. As
the second great blunder states, this is what is wrong with them.
result:
AB
AB
false
Why? Because the identity of foo and bar are not defined by their content, but instead by the address in memory that is allocated to store the strings.
What the relational model does is to provide a means in which to create
an implementation model that does not contain any duplication. If a
model is correctly normalised, then it is guaranteed that it contains
no duplication.
As far as I am aware there is no process that can provide similar proof
that a graph described using a network of pointers contains no
duplication.