References

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

  2. 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.

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

  4. For well-founded semantics: A. Van Gelder, K. A. Ross, and J. S. Schlipf,``The well-founded semantics for general logic programs,'' JACM, 1991, pp. 620-650. Also, A. Van Gelder, ``The alternating fixpoint of logic programs with negation,'' PODS, 1989, pp. 1-10. Finally, there is some material in Ch. 15 of AHV.

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

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

  7. Conjunctive queries are covered in Ch. 14 of PDKS-II and Ch. 4-5 of AHV.

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

  9. Conjunctive queries with negation are from a paper by Levy and Sagiv: Queries independent of updates.

  10. Klug's method for CQ's with arithmetic is from ``On conjunctive queries containing inequalities,'' JACM 1:35 (1988), pp. 146-160.

  11. 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. 236-252.

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

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

  14. 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.

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

  16. By coincidence, unification is explained in Section 12.4 of both PDKS-II and AHV.

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

  18. Levy, Rajaraman, and Ordille on The Information-Manifold Query-Processing Algorithm.

  19. A survey of Tsimmis.

  20. The Paper Defining MSL.

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