Herencia de Tipos y Teoría Relacional: Subtipos, Supertipos y Sustituibilidad

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

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

Contenido del libro:

La herencia de tipos es ese fenómeno según el cual podemos decir, por ejemplo, que todo cuadrado es también un rectángulo, por lo que las propiedades que se aplican a los rectángulos en general se aplican a los cuadrados en particular. En otras palabras, los cuadrados son un subtipo de los rectángulos, y los rectángulos son un supertipo de los cuadrados. Reconocer estas relaciones subtipo/supertipo y actuar en consecuencia aporta numerosas ventajas: Ciertamente, puede ayudar en el modelado de datos, y también puede proporcionar la reutilización de código en las aplicaciones. Por estas razones, muchos lenguajes, incluido el lenguaje estándar de bases de datos SQL, soportan desde hace tiempo este tipo de relaciones. Sin embargo, no parece haber consenso en la comunidad en general sobre un modelo formal, riguroso y abstracto de herencia. Este libro propone un modelo de este tipo, que goza de varias ventajas sobre otros enfoques, entre las que destaca su total compatibilidad con el conocido modelo relacional de datos.

Los temas que cubre el modelo incluyen:

⬤ Herencia simple y múltiple.

⬤ Herencia de escalares, tuplas y relaciones.

⬤ Celosías de tipos y tipos de unión e intersección.

⬤ Polimorfismo y sustituibilidad.

⬤ Vinculación en tiempo de compilación y en tiempo de ejecución.

Todos estos temas se describen detalladamente en el libro, con numerosos ejemplos ilustrativos, ejercicios y respuestas. El libro también analiza varios enfoques alternativos. En particular, incluye una discusión y un análisis detallados de la herencia tal y como se admite en el estándar SQL.