Get full access to Type Inheritance and Relational Theory and 60K+ other titles, with free 10-day trial of O'Reilly.
There's also live online events, interactive content, certification prep materials, and more.
PART I PRELIMINARIES
Chapter 1 Background
Inheritance arises naturally
A fundamental concept
The suppliers-and-parts database
A little history
Chapter 2 Types without Inheritance
Values vs. variables
What’s a type?
Scalar vs. nonscalar types
Types vs. representations
The TYPE statement
Chapter 3 Types with Inheritance
Toward a model of inheritance
Single vs. multiple inheritance
Scalars, tuples, and relations
The running example
A BNF grammar
More terminology bis
Chapter 4 The Inheritance Model
The IM prescriptions
PART II SCALAR TYPES, SINGLE INHERITANCE
Chapter 5 Basic Definitions
IM Prescription 1: Types are sets
IM Prescription 2: Subtypes are subsets
IM Prescription 3: “Subtype of” is reflexive
IM Prescription 4: “Subtype of” is transitive
IM Prescription 5: Proper and immediate subtypes and supertypes
IM Prescription 6: Scalar root and leaf types
IM Prescription 7: Disjoint and overlapping types
Chapter 6 Scalar Values with Inheritance
IM Prescription 8: Common subtypes and supertypes
Intersection types vs. union types
Chapter 7 Scalar Variables with Inheritance
IM Prescription 9: Model of a scalar variable
Get Type Inheritance and Relational Theory now with the O’Reilly learning platform.
O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.
Get Mark Richards’s Software Architecture Patterns ebook to better understand how to design components—and how they should interact.
Dive in for free with a 10-day trial of the O’Reilly learning platform—then explore all the other resources our members count on to build skills and solve problems every day.