Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!mailrus!ames!lll-winken!uunet!murtoa.cs.mu.oz.au!munnari.oz.au!kemp@munnari.cs.mu.oz
From: kemp@munnari.cs.mu.oz (David Kemp)
Newsgroups: comp.databases
Subject: Re: Deductive databases (was Re: Dumb Question (Outer Join))
Message-ID: <1670@munnari.oz.au>
Date: 2 Jul 89 04:53:36 GMT
References: <1601@munnari.oz.au>
Sender: news@cs.mu.oz.au
Reply-To: kemp@munnari.cs.mu.oz
Lines: 58

Here are some references as I promised.  Hundreds of papers have been
published in this area, and so I will just list a few of my favourites...

A reasonable introduction is the book
"Principles of Database and Knowledge-base Systems",
J. Ullman, Computer Science Press, 1988.

J. Ullman also wrote a reasonable introductory paper
%A Jeffrey D. Ullman
%T Implementation of logical query languages for databases
%J ACM Transactions on Database Systems
%K tods
%V 10
%N 3
%D September 1985
%P 289-321
%K nonprocedural languages, query languages, logic programming
predicate logic, capture rule, Horn clause, Prolog
relational database, recursion

A reasonable introduction to some different methods of answering
queries to deductive databases is given in
%A Francois Bancilhon
%A Raghu Ramakrishnan
%T An amateur's introduction to recursive query processing strategies
%J Proceedings of SIGMOD '86
%E Carlo Zaniolo
%C Washington, D.C.
%D May 1986
%O published as SIGMOD Record 15:2
%K sigmod86
%P 16-52


The following book has some good papers on the topic
%B Foundations of Deductive Databases and Logic Programming
%E Jack Minker
%I Morgan Kaufmann Publishers
%C Los Altos, California
%D 1988
%K fddlp
%P 217-240

There is a book containing a very large bibliography on logic prgramming.
(deductive databases have their roots in logic prgramming).
%A Isaac Balbin
%A Koenraad Lecot
%T Logic Programming: A Classified Bibliography
%I Wildgrass Books
%C Melbourne, Australia
%K book
%D 1985

Most database conferences these days have a section devoted to
deductive databases.
Have fun reading and learning.

- David