Re: An object-oriented network DBMS from relational DBMS point of view

On 12 อมา, 20:55, "Dmitry A. Kazakov" <mail..._at_dmitry-kazakov.de> wrote:
> 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 - 13:04:47 CDT