Part IV

TUPLE AND RELATION INHERITANCE

The title of this book is Type Inheritance and Relational Theory, but—with the exception of the preliminary material in Chapters 2 and 3 and the discussions of IM Prescription 13 in Chapters 9 and (briefly) 16, plus a few miscellaneous remarks here and there—it hasn’t really had much to say so far regarding relational theory as such. But Part IV of this book, which consists of four chapters, remedies that situation somewhat. To be specific, it revisits all of the concepts introduced in Parts II and III for scalar types and considers what happens to those concepts when tuple and relation types are taken into account as well.

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.