Foundations of DatabasesThis work presents comprehensive coverage of the foundations and theory of database systems. It is a reference to both classical material and advanced topics, bringing together many subjects including up-to-date coverage of object-oriented and logic databases. Numerous exercises are provided at three levels of difficulty. The book is intended for use by database professionals at all levels of experience, and graduate and senior level students in Advanced Theory of Databases. |
Contents
Theoretical Background | 10 |
SA RH VV | 12 |
The Relational Model | 28 |
Copyright | |
22 other sections not shown
Common terms and phrases
Actor acyclic algebra query algorithm applied arity atoms attributes BCNF binary relation CALC calculus query Chapter chasing sequence complex value computation conjunctive calculus Consider constants construct database schema datalog program decomposition defined definition denoted domain independence equivalent evaluation example Exercise expressive power fd's and jd's first-order first-order logic fixpoint queries formal function graph homomorphism hypergraph ind's inference rules integer Intuitively Lemma logic programming logical implication Movies mvd's negation normal form notion nr-datalog occurring OODB operator optimization output Pariscope polynomial predicate proof properties Prove query languages query optimization query q R₁ recursive relation name relation schema relational algebra relational calculus relational model restricted result rule-based conjunctive queries safe range satisfies semantics set of fd's SLD resolution SPC algebra SPJR Suppose tableau query techniques tgd's Theater Theorem transitive closure tuples typed variables well-founded semantics yields