Re: incomplete languages

[Karel Miklav <karel@inetis.spppambait.com>]

Dmitry A. Kazakov wrote:
> Alexandre E. Kopilovitch wrote:
>>"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
>>>A need in a meta language indicates that the core language is incomplete.
>>>Then the question is only whether this incompleteness is inherent or not.
>>>As long as the former is not proved I will claim that we do not need a
>>>meta language.
>>
>>But it is well-known fact (from the first half of 20 century, thanks
>>Godel), that every language that is rich enough is necessarily incomplete.
> 
> Incomplete for what? If a language should be complete for everything, then 
> meta language is also no answer, because it in turn will be also 
> incomplete.

I have this problem: I'm designing an object database, objects are 
directly stored in it. There's no need for SQL as I can load objects 
from disk and check them, update them etc in native language. All is 
good and well, until I move my database on a remote computer. Then, how 
am I supposed to do queries? My database (object store actualy) is dumb, 
downloading a whole database contents for each query is not a solution, 
so I have to export logic to the remote database server. This logic can 
be written in Ada like syntax, but clearly not in Ada, the language.

So; Ada can be compiled, but compiled objects cannot be remotely 
exported. My thoughts went in a direction of meta language or meta 
platform, as it looks like averybody else's. But since David looks so 
shure there must be some other way to export logic remotely (I mean 
without double coding and/or meta languages (while we're here: what is 
Ada, a language or a platform?))?

Regards, Karel Miklav