Re: An object-oriented network DBMS from relational DBMS point of view
Date: 13 Mar 2007 11:04:47 -0700
On 12 อมา, 20:55, "Dmitry A. Kazakov" <mail..._at_dmitry-kazakov.de>
> Self-recursive types is IMO a bad idea, because the recursion can turn
> infinite, so that the correctness would become undecidable.
I don't warry about correctness. no one Turing machine can prove that
another machine will stops.
And I need system which will be equal to MT.
> Of course, that could be circumvented with dynamic typing and a
> lot of dynamic casts, but this is not the way to go, IMO.
why? implementation of vtbl can be done extreamelly fast. Received on Tue Mar 13 2007 - 19:04:47 CET