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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,bf02c238a92156a3
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!newsfeed00.sul.t-online.de!t-online.de!inka.de!rz.uni-karlsruhe.de!feed.news.schlund.de!schlund.de!news.online.de!not-for-mail
From: Frank Piron <empty@zero.nil>
Newsgroups: comp.lang.ada
Subject: Re: Windows Ada database support.
Date: Mon, 29 Nov 2004 16:02:44 +0100
Organization: 1&1 Internet AG
Message-ID: <opsh8equylm0et4w@news.online.de>
References: <5e3e03a7.0411240431.7e037a4e@posting.google.com>
 <2004112420030750073%david@bottoncom>
 <mWopd.59182$Le1.1224388@news20.bellglobal.com>
 <vftyrbanzux4$.q4cw1i7499xx$.dlg@40tude.net>
NNTP-Posting-Host: p508b5e72.dip0.t-ipconnect.de
Mime-Version: 1.0
Content-Type: text/plain; format=flowed; charset=iso-8859-15
Content-Transfer-Encoding: 8bit
X-Trace: online.de 1101740575 20786 80.139.94.114 (29 Nov 2004 15:02:55 GMT)
X-Complaints-To: abuse@einsundeins.com
NNTP-Posting-Date: Mon, 29 Nov 2004 15:02:55 +0000 (UTC)
User-Agent: Opera7.23/Win32 M2 build 3227
Xref: g2news1.google.com comp.lang.ada:6638
Date: 2004-11-29T16:02:44+01:00
List-Id: <comp.lang.ada>

Fri, 26 Nov 2004 10:15:06 +0100 Dmitry A. Kazakov 
<mailbox@dmitry-kazakov.de> wrote:

> And more importantly why that crappy SQL over and over again? I would 
> like
> to see a high level Ada.Database[.Relational?] package totally 
> independent
> on what happens beneath.
>
But what language for querying and manipulating data would you
suggest?
IMO it should

- be declarative
- boolean closed
- allow restricted quantification

Some LQL (Logical query language based on Predicate Calculus)
would be nice.
Example: (Database for Genealogical data)

Base Predicates(Tables): Person(x,s), Parent(x,y)     |(s = sex)
Show all Fathers:

LQL:
Father(x):=E(y)[Person(x,s) and
                 s='MALE'    and
                 Parent(x,y)
                 ]

SQL:
select Person.x
      from Person, Parent
       where Person.s='MALE' and
             Person.x = Parent.x   (inner join for the E-Quantifier)

Similar to Prolog.

Other implementations would use only persistent types and their methods
in a distributed environment (like Cach�).

-- 
Frank Piron,
defrankatkonaddot
(leftrotate two)