Type Inheritance and Relational Theory