Foundations of Databases

by Serge Abiteboul, Richard Hull, and Victor Vianu

PDF Version

• Alice's book

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