## Foundations of DatabasesSerge Abiteboul, Richard Hull, Victor Vianu Over the past two decades, the theory concerning the logical level of database management systems has matured and become an elegant and robust piece of science. Foundations of Databases presents indepth coverage of this theory and surveys several emerging topics. Written by three leading researchers, this advanced text presents a unifying and contemporary perspective on the field. A major effort in writing the book has been to highlight the intuitions behind the theoretical development. |

### What people are saying - Write a review

User Review - Flag as inappropriate

gfhgh

User Review - Flag as inappropriate

Les fondement théorique des bases de données

### Contents

PART A ANTECHAMBER | 1 |

Theoretical Background | 10 |

The Relational Model | 28 |

Copyright | |

21 other sections not shown

### Common terms and phrases

acyclic algorithm answer applied arity atoms attributes binary relation c-table CALC calculus query Chapter chasing sequence complex value computation conjunctive calculus conjunctive queries Consider constants constraints construct context database schema datalog program decomposition defined definition denoted dependencies domain edb(P equivalent evaluation example Exercise expressive power extended facts fd's and ind's first-order first-order logic fixpoint queries formal formula function given graph hypergraph integer Intuitively jd's Lemma logic programming mapping method minimal Movies mvd's negation normal form notion object-oriented occurring OIDs OODB operator output Pariscope polynomial predicate problem proof properties Prove pspace ptime query languages query optimization query q recursive relation name relation schema relational algebra relational calculus relational model result rule satisfies set of fd's simulated SLD resolution SPC algebra Suppose tableau queries techniques Theater Theorem theory transitive closure tuples typed update variables well-founded semantics yields