Re: An object-oriented network DBMS from relational DBMS point of view
Date: Tue, 13 Mar 2007 21:29:18 +0100
On 13 Mar 2007 11:04:47 -0700, Dmitry Shuklin 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.
This is exactly why correctness is an issue. If you can't verify it, better ensure it per design.
>> 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.
It is not about performance. Then existence of dispatching tables is not an equivalent of dynamic typing. The difference between static and dynamic typing with respect to dispatching is essentially about whether the latter may fail at run-time. In a feasible statically typed system it never fails, per types construction.
-- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.deReceived on Tue Mar 13 2007 - 21:29:18 CET