Type inheritance and relational theory : subtypes, supertypes, and substitutability /
Date, C. J.,author.
"Inheritance in "The third manifesto""
Includes index.
Part 1. Preliminaries.  Background -- Types without inheritance -- Types with inheritance -- The inheritance model -- Part 2. Scalar types, single inheritance.  Basic definitions -- Scalar values with inheritance -- Scalar variables with inheritance -- Specialization by constraint etc. -- Equality comparisons etc. -- Treating and type testing -- Substitutability -- Union and dummy types -- Interlude : the S by C controversy -- Part 3. Scalar types, multiple inheritance.  An overview of multiple inheritance -- IM prescriptions 8 - 9 revisited -- IM prescriptions 10 - 20 revisited -- Part 4. Tuple and relation inheritance.  Tuple / relation values with inheritance -- Tuple / relation values with inheritance (cont.) -- Tuple / relation maximal and minimal types etc. -- Tuple / relation variables with inheritance -- Part 5. Other approaches.  Structural inheritance -- Inheritance in SQL -- Appendix A. Encapsulation is a red herring -- Appendix B. Persistence not orthogonal to type.
Database management.
Relational databases.
Electronic data processing.