Type Inheritance and Relational Theory

In this practical book, C.J. Date provides a model for type inheritance that is not programming-language-specific. This model provides programmers who specialize in one language the broader background to understand and implement types in other languages. Exercises are included with most chapters.