Book description
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.
Publisher resources
Table of contents
 Cover Page
 Title Page
 Copyright Page
 About the Author
 Contents
 Preface
 Foreword
 Part I: Preliminaries

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
 Exercises
 Answers
 Chapter 6: Scalar Values with Inheritance
 Chapter 7: Scalar Variables with Inheritance
 Chapter 8: Specialization by Constraint etc.
 Chapter 9: Equality Comparisons etc.
 Chapter 10: Treating and Type Testing
 Chapter 11: Substitutability
 Chapter 12: Union and Dummy Types
 Chapter 13: Interlude: The S by C Controversy

Chapter 5: Basic Definitions
 Part III: Scalar Types, Multiple Inheritance
 Part IV: Tuple and Relation Inheritance
 Part V: Other Approaches
 Appendixes

Footnotes
 Preface
 Chapter 1: Background
 Chapter 2: Types without Inheritance
 Chapter 3: Types with Inheritance
 Chapter 5: Basic Definitions
 Chapter 6: Scalar Values with Inheritance
 Chapter 7: Scalar Variables with Inheritance
 Chapter 8: Specialization by Constraint etc.
 Chapter 9: Equality Comparisons etc.
 Chapter 10: Treating and Type Testing
 Chapter 11: Substitutability
 Chapter 12: Union and Dummy Types
 Chapter 13: Interlude: The S by C Controversy
 Chapter 14: An Overviewof Multiple Inheritance
 Chapter 15: IM Prescriptions 8–9 Revisited
 Chapter 16: IM Prescriptions 10–20 Revisited
 Chapter 17: Tuple/Relation Values with Inheritance
 Chapter 18: Tuple / Relation Valueswith Inheritance (cont.)
 Chapter 19: Tuple / Relation Maximaland Minimal Typesetc.
 Chapter 20: Tuple / Relation Variables with Inheritance
 Chapter 21: Structural Inheritance
 Chapter 22: Inheritance in SQL
 Appendix A: Encapsulation Isa Red Herring
 Appendix B: Persistence Not Orthogonal to Type
 Index
 Type Inheritance and Relational Theory
Product information
 Title: Type Inheritance and Relational Theory
 Author(s):
 Release date: September 2016
 Publisher(s): O'Reilly Media, Inc.
 ISBN: 9781491959992
You might also like
book
40 Algorithms Every Programmer Should Know
Learn algorithms for solving classic computer science problems with this concise guide covering everything from fundamental …
book
Data Science from Scratch, 2nd Edition
To really learn data science, you should not only master the tools—data science libraries, frameworks, modules, …
book
Relational Database Design and Implementation, 4th Edition
Relational Database Design and Implementation: Clearly Explained, Fourth Edition, provides the conceptual and practical information necessary …
book
Practical Statistics for Data Scientists, 2nd Edition
Statistical methods are a key part of data science, yet few data scientists have formal statistical …