Foreword xv About the Authors . xvii About the Technical Reviewers . xix Acknowledgments . xxi Preface . xxiii Introduction xxv PART 1 n n n The Mathematics CHAPTER 1 Logic: Introduction 3 CHAPTER 2 Set Theory: Introduction . 23 CHAPTER 3 Some More Logic 47 CHAPTER 4 Relations and Functions . 67 PART 2 n n n The Application CHAPTER 5 Tables and Database States 91 CHAPTER 6 Tuple, Table, and Database Predicates 117 CHAPTER 7 Specifying Database Designs . 139 CHAPTER 8 Specifying State Transition Constraints 185 CHAPTER 9 Data Retrieval 199 CHAPTER 10 Data Manipulation 221 PART 3 n n n The Implementation CHAPTER 11 Implementing Database Designs in Oracle . 241 CHAPTER 12 Summary and Conclusions 305 PART 4 n n n Appendixes APPENDIX A Formal Definition of Example Database 311 APPENDIX B Symbols 333 APPENDIX C Bibliography 335 APPENDIX D Nulls and Three (or More) Valued Logic 337 APPENDIX E Answers to Selected Exercises 347 INDEX . 367