Emphasizes query languages for the relational model including coverage of different language paradigms, expressive power, and complexity. Presents a unified theory of dependencies, including those commonly arising in practice, and their use in optimization and schema design. Provides theoretical underpinnings of several emerging topics, including deductive and object-oriented databases. Includes detailed proofs and numerous examples and exercises.