Title: Type Inheritance and Relational Theory: Subtypes, Supertypes, and Substitutability
Subjects: Database management, Relational databases, Electronic data processing