images

Foreword

About the Authors

About the Technical Reviewers

Acknowledgments

Preface

Introduction

PART 1 images The Mathematics

imagesCHAPTER 1    Logic: Introduction

imagesCHAPTER 2    Set Theory: Introduction

imagesCHAPTER 3    Some More Logic

imagesCHAPTER 4    Relations and Functions

PART 2 images The Application

imagesCHAPTER 5    Tables and Database States

imagesCHAPTER 6    Tuple, Table, and Database Predicates

imagesCHAPTER 7    Specifying Database Designs

imagesCHAPTER 8    Specifying State Transition Constraints

imagesCHAPTER 9    Data Retrieval

imagesCHAPTER 10    Data Manipulation

PART 3 images The Implementation

imagesCHAPTER 11    Implementing Database Designs in Oracle

imagesCHAPTER 12    Summary and Conclusions

PART 4 images Appendixes

imagesAPPENDIX A    Formal Definition of Example Database

imagesAPPENDIX B    Symbols

imagesAPPENDIX C    Bibliography

imagesAPPENDIX D    Nulls and Three (or More) Valued Logic

imagesAPPENDIX E    Answers to Selected Exercises

imagesINDEX

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
18.218.228.99