J. Date C.

J. Date C.

Type Inheritance and Relational Theory. Subtypes, Supertypes, and Substitutability

Type inheritance is that phenomenon according to which we can say, for example, that every square is also a rectangle, …