Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Type Inheritance and Relational Theory: Subtypes, Supertypes, and Substitutability
Typvererbung ist das Phänomen, nach dem wir zum Beispiel sagen können, dass jedes Quadrat auch ein Rechteck ist, und daher Eigenschaften, die für Rechtecke im Allgemeinen gelten, auch für Quadrate im Besonderen gelten. Mit anderen Worten: Quadrate sind ein Subtyp von Rechtecken, und Rechtecke sind ein Supertyp von Quadraten. Das Erkennen und Ausnutzen solcher Subtyp-/Supertyp-Beziehungen bietet zahlreiche Vorteile: Es kann bei der Datenmodellierung helfen und auch für die Wiederverwendung von Code in Anwendungen sorgen. Aus diesen Gründen unterstützen viele Sprachen, einschließlich der Standard-Datenbanksprache SQL, seit langem solche Beziehungen. Allerdings scheint es in der Gemeinschaft keinen Konsens über ein formales, strenges und abstraktes Modell der Vererbung zu geben. Dieses Buch schlägt ein solches Modell vor, das mehrere Vorteile gegenüber anderen Ansätzen hat, nicht zuletzt, weil es vollständig mit dem bekannten relationalen Datenmodell kompatibel ist.
Das Modell behandelt unter anderem folgende Themen:
⬤ Einfache und mehrfache Vererbung.
⬤ Skalar-, Tupel- und Relationenvererbung.
⬤ Typenverbände sowie Vereinigungs- und Kreuzungstypen.
⬤ Polymorphismus und Substituierbarkeit.
⬤ Kompilierzeit- und Laufzeitbindung.
Alle diese Themen werden in dem Buch ausführlich beschrieben, mit zahlreichen anschaulichen Beispielen, Übungen und Antworten. In dem Buch werden auch mehrere alternative Ansätze erörtert. Insbesondere enthält es eine detaillierte Diskussion und Analyse der Vererbung, wie sie im SQL-Standard unterstützt wird.