Foundations of Databases
豆瓣
The Logical Level
Serge Abiteboul / Richard Hull …
簡介
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. Features *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. 0201537710B04062001
目錄
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