Type Inheritance and Relational Theory

Type Inheritance and Relational Theory (subtitulado 'Subtypes, Supertypes, and Substitutability') es un tratado formal en el que C.J. Date explora la intersección entre el modelo relacional y la teoría de herencia de tipos orientada a objetos.

El autor expone el modelo de herencia formal desarrollado junto con Hugh Darwen en 'The Third Manifesto'. Demuestra cómo la especialización y generalización de tipos pueden integrarse de manera limpia y sin contradicciones lógicas en un sistema relacional estricto, respetando el principio de sustitución de Liskov sin incurrir en las fallas de los híbridos objeto-relacionales comunes.

Lectura fascinante y rigurosa para diseñadores de lenguajes de consulta, arquitectos de modelos de dominio y científicos de la computación interesados en las bases teóricas formales de la información estructurada.