Foundations of Databases: The Logical Level (Alice's book)

Written by three leading researchers in the field, this book provides in-depth coverage of the theory concerning the logical level of database management systems, including both classical and advanced topics:

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.