Type Inheritance and Relational Theory: Subtypes, Supertypes, and Substitutability

Front Cover
"O'Reilly Media, Inc.", Sep 8, 2016 - Computers - 572 pages

Type inheritance is that phenomenon according to which we can say, for example, that every square is also a rectangle, and so properties that apply to rectangles in general apply to squares in particular. In other words, squares are a subtype of rectangles, and rectangles are a supertype of squares. Recognizing and acting upon such subtype / supertype relationships provides numerous benefits: Certainly it can help in data modeling, and it can also provide for code reuse in applications. For these reasons, many languages, including the standard database language SQL, have long supported such relationships. However, there doesn’t seem to be any consensus in the community at large on a formal, rigorous, and abstract model of inheritance. This book proposes such a model, one that enjoys several advantages over other approaches, not the least of which it is that it’s fully compatible with the well known relational model of data.

Topics the model covers include:

  • Both single and multiple inheritance
  • Scalar, tuple, and relation inheritance
  • Type lattices and union and intersection types
  • Polymorphism and substitutability
  • Compile time and run time binding

All of these topics are described in detail in the book, with numerous illustrative examples, exercises, and answers. The book also discusses several alternative approaches. In particular, it includes a detailed discussion and analysis of inheritance as supported in the SQL standard.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Preface
Foreword
PRELIMINARIES
Exercises
Types without Inheritance
Types with Inheritance
The Inheritance Model
SCALARTYPES SINGLE INHERITANCE
Scalar Variables with Inheritance
Specialization by Constraint
Equality Comparisons
Treating and Type Testing
Substitutability
Union and Dummy Types
The S by C Controversy
SCALARTYPES MULTIPLE INHERITANCE

Answers

Other editions - View all

Common terms and phrases

About the author (2016)

C.J. Date has a stature that is unique within the database industry. C.J. is a prolific writer, and is well-known for his best-selling textbook: An Introduction to Database Systems (Addison Wesley). C.J. is an exceptionally clear-thinking writer who can lay out principles and theory in a way easily understood by his audience.

Bibliographic information