The Structure of the Relational Database ModelThis book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model. As such it is self-contained though experience with formal models and abstract data manipulating on the one hand and with the practical use of a relational system on the other hand can help the reader. Such experience will offer the reader a better understanding of and a motivation for the different concepts, theories and results mentioned in the book. We have focussed on the most basic concepts and aspects of the relational model, without trying to give a complete overview of the state of the art of database theory. Recently a lot of books on databases in general and on the relational model in particular have been published. Most of them describe the use of database systems. 'Some clarify how information has to be structured and organized before it can be used to build applications. Others help the user in writing down his applications or in finding tricky ways to optimize the running time or the necessary space. Another category of books treat more fundamental and more general aspects such as the description of the relational model, independent of any implementation, the decomposition in normal forms or the global design of distributed databases. Few, however, are the books that describe in a formal way some of the subjects mentioned above. |
Contents
Relational Database Model | 1 |
The Nested Relational Database Model | 7 |
Query Systems | 19 |
Copyright | |
7 other sections not shown
Other editions - View all
The Structure of the Relational Database Model Jan Paredaens,Paul De Bra,Marc Gyssens,Dirk van Gucht Limited preview - 2012 |
Common terms and phrases
algorithm Algorithm 4.3 Arm(F attr augmented attributes axiom system BATH BCNF boolean function C₁ calculus expression clean decomposition condition Consider contains database constraints database instance database scheme decomposing decomposition steps define Definition DOM(A domain embedded jds equivalent Example fds and mvds fifth normal form Figure FLOOR fourth normal form functional dependencies goals Hence holds horizontal decomposition implication problem Lemma Let PRS multivalued dependency nested algebra nested relation instance NEWD NEWX nulls NUMBER-OF-BEDS operators possible relation instance primitive relation scheme projection proof prs satisfies r₁ reduced relational algebra ROOM-NUMBER ROOMMAID-NUMBER roommaids RS₁ SC₁ scheme expression second normal form Select A1 set of attributes set of constraints set of fds set of tuples SQL query subrelations subschemes superkey t₁ tableau Theorem third normal form trivial true Tuborg tuple calculus update VIS-NUMBER visitor XPLUS