http://webdam.inria.fr/Alice/ Foundations of Databases A book published by Addison Wesley You may take one copy of the book draft for personal use but not for distribution. Please do not post the draft on other web sites, instead, please put a link to this site. Alice's book Access to The full PDF version of the book. [FOD-rick] Individual Chapters * Table of Contents * Chapter 1 - Database Systems * Chapter 2 - Theoretical Background * Chapter 3 - The Relational Model * Chapter 4 - Conjunctive Queries * Chapter 5 - Adding Negation: Algebra and Calculus * Chapter 6 - Static Analysis and Optimization * Chapter 7 - Notes on Practical Languages * Chapter 8 - Functional and Join Dependency * Chapter 9 - Inclusion Dependency * Chapter 10 - A Larger Perspective * Chapter 11 - Design and Dependencies * Chapter 12 - Datalog * Chapter 13 - Evaluation of Datalog * Chapter 14 - Recursion and Negation * Chapter 15 - Negation in Datalog * Chapter 16 - Sizing Up Languages * Chapter 17 - First Order, Fixpoint and While * Chapter 18 - Highly Expressive Languages * Chapter 19 - Incomplete Information * Chapter 20 - Complex Values * Chapter 21 - Object Databases * Chapter 22 - Dynamic Aspects * Bibliography * Index --------------------------------------------------------------------- Authors Information Serge Abiteboul, Institut National de Recherche en Informatique et Automatique Rocquencourt, France Serge.Abiteboul@inria.fr Serge Abiteboul's home page Richard Hull IBM T.J. Watson Research Center Hawthorne, NY hull@us.ibm.com Rick Hull's home page Victor Vianu University of California, San Diego San Diego, CA vianu@cs.ucsd.edu Victor Vianu's home page