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
staff at AddisonWesley including notably Lynne Doran Cote Katherine Harutunian and | 1 |
Theoretical Background | 10 |
SA RH VV | 12 |
Copyright | |
29 other sections not shown
Common terms and phrases
acyclic algorithm application arity atoms attributes BCNF binary relation CALC calculus query Chapter chasing sequence complex value computation conjunctive calculus Consider constants constraints construct database schema datalog program decomposition defined definition denoted domain independence equivalent evaluation example Exercise expressive power fd's and ind's first-order first-order logic fixpoint queries formal formula function graph homomorphism hypergraph inference rules input instance integer Intuitively jd's join dependency Lemma logic programming logical implication Movies mvd's negation normal form notion occurring OODB operator optimization output Pariscope polynomial proof properties Prove query languages query optimization query q R₁ recursive relation name relation schema relational algebra relational calculus relational model result satisfies semantics set of fd's SLD resolution sound and complete SPC algebra SPJR Suppose tableau query techniques tgd's Theater Theorem transitive closure tuples typed update variables well-founded semantics