Contents
The suppliers-and-parts database
Chapter 2 Types without Inheritance
Chapter 3 Types with Inheritance
Single vs. multiple inheritance
Scalars, tuples, and relations
Chapter 4 The Inheritance Model
PART II SCALAR TYPES, SINGLE INHERITANCE
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
Get Type Inheritance and Relational Theory now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.