Newsgroups: comp.lang.prolog,comp.databases
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!gatech!newsfeed.internetmci.com!EU.net!peer-news.britain.eu.net!newsfeed.ed.ac.uk!hwcee!andrew
From: andrew@cee.hw.ac.uk (Andrew Dinn)
Subject: Re: Datalog: Anybody has any Information?
Message-ID: <DL9p8E.CJ1@cee.hw.ac.uk>
Followup-To: comp.lang.prolog,comp.databases
Sender: news@cee.hw.ac.uk (News Administrator)
Organization: Dept of Computing and Electrical Engineering, Heriot-Watt University
X-Newsreader: TIN [version 1.2 PL2]
References: <4d52v6$7i@swamp.bayern.net> <4d556p$nvj@news.cs.tu-berlin.de>
Date: Tue, 16 Jan 1996 09:33:49 GMT
Lines: 69
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:14603 comp.databases:54147

Thomas Hoppe (hoppet@cs.tu-berlin.de) wrote:
: gator@cs.tu-berlin.de (Peter Daum) writes:

: >Hi everybody,

: >I am about to write a paper about datalog (a prolog-like language
: >to be used as an integrated query language for database systems).
: >Unfortunately, so far I couldn't locate too much material.

: You might take a look into the following book which discusses Datalog
: in the context of deductive database systems:

: @Book{CeriEtAl90,
:   author = 	 "Stefano Ceri and Georg Gottlob and Letizia Tanca",
:   title = 	 "Logic Programming and Databases",
:   publisher = 	 "Springer-Verlag",
:   year = 	 1990,
:   series =	 "Surveys in Computer Science",
:   address =	 "Berlin, Heidelberg, New York"
: }

: >Thus my question: Does anybody have any references on that issue?
: >Great would material available on the net (I have only one week).
: >In particular, I wonder, whether there is any implementation of
: >datalog out there (I couldn't locate any) or whether this is
: >merely theoretical.

Yes, this book by Ceri et al is by far the best place to start looking
at Datalog in the context of database querying.

David Warren has co-authored a book whose title I no longer remember
but I think is called `Implementations of Prolog' which starts off by
describing how to implement a Datalog compiler and abstract machine. I
think the co-author may even be David Maier but then again...  It is
technically interesting but such an implemenation is of little use for
database work as Ceri et al makes clear.

As well as reading Ceri et al you could also look at Naqvi and Tsur's
book on LDL. The latter is an Datalog-based query language for a
database using a relational data model.

@book{Naqvi-Tsur-89,
AUTHOR      = "Shamim A. Naqvi and Shalom Tsur",
TITLE       = "{A Logical Language for Data and Knowledge Bases}",
PUBLISHER   = "Computer Science Press",
ADDRESS     = "Rockville, MD",
YEAR        = "1989",
NOTE        = "ISBN 0-7167-8200-6"
}

Finally, we have produced an *implementation* of a Datalog-based
deductive query language for our Deductive Object-Oriented Database
system here at Heriot-Watt University. The system is called ROCK &
ROLL and is available via WWW/ftp. Look up the following page for
details.

    http://www.cee.hw.ac.uk/Databases/dood.html

or just ftp to address

    ftp://ftp.cee.hw.ac.uk/pub/rnr/

and check out the README.


Andrew Dinn
-----------
Daran, nachdem die Wasserwogen / Von unsrer Suendflut sich verzogen
Der allerschoenste Regenbogen / Als Gottes Gnadenzeichen steht!
