Re: Lets get physical
Date: Fri, 16 Jun 2006 01:39:38 GMT
Message-ID: <uZnkg.36069$iF6.17751_at_pd7tw2no>
Bob Badour wrote:
...
> I may be deluding myself, but I had a little help... from Fabian. In
> private correspondence, he very briefly described TRM as an abstract
> implementation model that would lie between the logical relational model
> and the physical media. I don't pretend to know or understand anything
> about TRM.
I think that's more or less what I remember seeing, *somewhere*. So,
having gaps in my theoretical knowledge but not, I hope, so many as to
make me feel I can't comment here and there, I think it is reasonable to
test what I can see in the theory vis-a-vis update effort, storage size
and other complexity such as whether the techniques imply garbage
collection and so forth, counting pointers and such. Proof in the
pudding and so forth.
Since I have also admitted that it may well be that TRM's theory is
deeper than I can think (i.e., it may contain more novelty than I can
see, which I am willing to accept on faith from a source like FP) being
especially interested in faster, leaner and rm-faithful impl'ns, I don't
have much choice but to try to approach it from conventional angles and
hope something useful comes from that. This is my attempt to explain my
motivation.
p