Publisher's Synopsis
Presenting a formal introduction to relational database design, this book offers a treatment of database integrity, supported by case studies. This text has a distinctive bias towards a formal description and specification of constraints and business rules, both static and dynamic. It treats realistic examples of a database structure, covers a formal treatment of transactions, and there is a formal treatment of data dictionaries and their interpretation.