- Coverpage
- Titlepage
- Copyright
- Dedication
- Contents at a Glance
- Contents
- Foreword
- About the Authors
- About the Technical Reviewers
- Acknowledgments
- Preface
- Introduction
- Part 1: The Mathematics
- Chapter 1: Logic: Introduction
- Chapter 2: Set Theory: Introduction
- Chapter 3: Some More Logic
- Chapter 4: Relations and Functions
- Part 2: The Application
- Chapter 5: Tables and Database States
- Chapter 6: Tuple, Table, and Database Predicates
- Chapter 7: Specifying Database Designs
- Chapter 8: Specifying State Transition Constraints
- Chapter 9: Data Retrieval
- Chapter 10: Data Manipulation
- Part 3: The Implementation
- Chapter 11: Implementing Database Designs in Oracle
- Introduction
- Window-on-Data Applications
- Implementing Data Integrity Code
- Implementing Table Structures
- Implementing Attribute Constraints
- Implementing Tuple Constraints
- Table Constraint Implementation Issues
- Implementing Table Constraints
- Implementing Database Constraints
- Implementing Transition Constraints
- Bringing Deferred Checking into the Picture
- The RuleGen Framework
- Chapter Summary
- Chapter 12: Summary and Conclusions
- Chapter 11: Implementing Database Designs in Oracle
- Part 4: Appendixes
- Appendix A: Formal Definition of Example Database
- Appendix B: Symbols
- Appendix C: Bibliography
- Original Writings That Introduce the Methodology Demonstrated in This Book
- Recommended Reading in the Area of the Underlying Mathematical Theories
- Seminal Writings That Introduce the General Theory of Data Management
- Recommended Reading on Relational Database Management
- Research Papers on Implementing Data Integrity Constraints and Related Subjects
- Previous Related Writings of the Authors
- Appendix D: Nulls and Three (or More) Valued Logic
- Appendix E: Answers to Selected Exercises
- Index
-
No Comment
..................Content has been hidden....................
You can't read the all page of ebook, please click here login for view all page.