From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.2 required=5.0 tests=BAYES_00,PLING_QUERY, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b6d862eabdeb1fc4 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!feeder2.cambriumusenet.nl!feeder1.cambriumusenet.nl!feed.tweaknews.nl!62.179.104.142.MISMATCH!amsnews11.chello.com!newsfeed01.chello.at!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Ada noob here! Is Ada widely used? Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <4bfbbdcb$0$6882$9b4e6d93@newsspool2.arcor-online.net> <93a818e9c91ccba6d8ea3a7258ef3265@mixmaster.it> <4bfbdd95$0$6776$9b4e6d93@newsspool3.arcor-online.net> <828w776s7j.fsf@stephe-leake.org> <4bfcf0d0$0$6889$9b4e6d93@newsspool2.arcor-online.net> Date: Wed, 26 May 2010 12:21:00 +0200 Message-ID: NNTP-Posting-Date: 26 May 2010 12:21:00 CEST NNTP-Posting-Host: dfc739e4.newsspool3.arcor-online.net X-Trace: DXC=B>^LodG1F>>lIh70@7enW;^6ZC`4\`mfM[68DC35GU[nlCYUn7 X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:11051 Date: 2010-05-26T12:21:00+02:00 List-Id: On Wed, 26 May 2010 11:58:39 +0200, Georg Bauhaus wrote: > A database language may be compiled by itself if the program text > is suitably stored? I think that is likely possible. Interestingly relational "languages" are usually non Turing-complete. My wild guess is that it is the conversions to a relational representation of the source code and the conversion of the intermediate "relational" code to the machine code, which were impossible to accomplish. No matter how trivial they might be in a language like Ada. > Notably, a compiler has tables, relational databases have tables; > when a compiler establishes a hierarchy (a tree), a hierachical > database does, too, a relational database uses ... relations. Any directed graph is a binary relation. So it is not an existential problem, but it is a huge practical problem, because relational representation are extremely poor with handling trees. > Surely the "source text" will be easily processed if it reflects > the structural properties of the database---if it is stored as > relations. For example, when an Ada compiler marks a block such as > a loop with a name written by the programmer, or with an ad-hoc > name that it creates itself, then a database table of loops can > have those names, too. (And they would serve in unique keys.) > Similarly, the database can establish a "byte code table" for > executing a list of CRUD instructions... > > Hmm... It might in fact be interesting to store program information > in tables. It is then possible to perform queries like "give me all > loops involving variables of a type in T'Class." ... Due to total lack of abstractness relational representations require heavy flattening, down to the lowest level. So it would be "give me the first quark of the loop." Not very helpful. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de