Written by internationally recognized authorities in the database field, this book delivers a thorough discussion of the foundations of the relational model of database design, along with a systematic treatment of the formal theory for the model. In addition, the authors provide a survey of the performance of the model and include an encyclopedic reference to the available literature.