This is the exercise book to accompany the present author's An Introduction to Relational Database Theory. With two exceptions, these exercises are copies of those given at the ends of Chapters 1-7 of that book. The exercises using Rel given with some of those chapters are also included. The first exception is Exercise 7 for Chapter 7, which I have replaced by a precise, detailed specification for a comprehensive database design. The second is a set of additional exercises using Rel, exploring virtual relvars and user-defined type definitions
