References

Background on Datalog, seminaive evaluation, EDB vs. IDB,
stratified semantics,
logic in general, and
models can be found in Ch. 3 of PDKSI (Volume I of Principles of
Database and KnowledgeBase Systems, Ullman, Computer Science Press,
1988).
Some of the material is repeated, and extended to involve function
symbols in PDKSII.
AHV (The book Foundations of Databases, by S. Abiteboul, R. Hull,
and V. Vianu, AddiswonWesley, 1996)
likewise contains material on this subject.

If you haven't had CS145, or didn't cover things like Datalog,
stratified Datalog, or the equivalence of the ``apply the rules to the
data'' point of view and the ``instantiate the rules and see which
survives'' point of view, then you might look at the
CS145
Slides, especially sets 16 and 17.

For stable semantics:
M. Gelfond and V. Lifschitz, ``The stable model semantics for logic
programming,''
5th ICLP, pp. 10701080.

For wellfounded semantics:
A. Van Gelder, K. A. Ross, and J. S. Schlipf,``The wellfounded
semantics for general logic programs,''
JACM, 1991, pp. 620650.
Also, A. Van Gelder, ``The alternating fixpoint of logic programs with
negation,'' PODS, 1989, pp. 110.
Finally, there is some material in Ch. 15 of AHV.

For modular stratification:
K. A. Ross,
``Modular stratification and magic sets for datalog programs with
negation,'', PODS, 1990, pp. 161171.

For inflationary semantics:
P. Kolaitis and C. H. Papadimitriou, ``Why not negation by fixpoint,''
PODS, 1988, pp. 231239.

Conjunctive queries are covered in Ch. 14 of PDKSII and Ch. 45 of
AHV.

Sariaya's algorithm is in his thesis, ``Subtree elimination algorithms
in deductive databases,'' Dept. of CS, Stanford, 1991.

Conjunctive queries with negation are from a paper by Levy and Sagiv:
Queries
independent of updates.
 Klug's method for CQ's with arithmetic is from ``On conjunctive queries
containing inequalities,'' JACM 1:35 (1988), pp. 146160.
 The Gupta/Zhang/Oszoyoglu test is found in A. Gupta's Stanford thesis ``Partial
information based integrity checking,'' 1994, and X. Zhang and M. Z. Ozsoyoglu,
``On efficient reasoning with implication constraints,'' Third DOOD Conf. (Dec., 1993),
pp. 236252.

For use of conjunctive queries in information integration, the paper by
Levy, Mendelzon, Sagiv, and Srivastava: Answering
queries using views. is fundamental.

A
survey of information integration using conjunctive queries by the
instructor.

This spot was for a private copy of a draft survey of answering queries
using views by Alon Levy.
When he makes it public, I'll link to it here.

A paper on
Maximally
Contained Datalog Programs by Duschka and Genesereth.

By coincidence, unification is explained in Section 12.4 of both PDKSII and AHV.

Answering queries using
Views With Binding
Patterns by Rajaraman, Sagiv, Ullman.

Levy, Rajaraman, and Ordille on
The
InformationManifold QueryProcessing Algorithm.

A
survey of Tsimmis.

The
Paper Defining
MSL.

Curiously, a Google
Web search for information on REFER leads back to my own
class notes from 1996.