In this appendix, we deliver the formal specification of the example database design used throughout this book.
The section “Bird’s Eye Overview” provides a bird’s-eye overview of the example database; it shows a picture of the ten tables with their relationships, and it provides brief informal descriptions of those tables and relationships.
We then present you with a definition of the database skeleton
DB_S. In the section “Database Skeleton DB_S” you can find the involved attributes for each table, including a brief description for each attribute.
The biggest section of this appendix is the section “Table Universe Definitions,” providing the ...