Ereditarietà dei tipi e teoria relazionale: Sottotipi, supertipi e sostituibilità

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

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

Contenuto del libro:

L'ereditarietà dei tipi è quel fenomeno in base al quale possiamo dire, per esempio, che ogni quadrato è anche un rettangolo, e quindi le proprietà che si applicano ai rettangoli in generale si applicano ai quadrati in particolare. In altre parole, i quadrati sono un sottotipo dei rettangoli e i rettangoli sono un supertipo dei quadrati. Riconoscere e agire su queste relazioni sottotipo/supertipo offre numerosi vantaggi: Certamente può aiutare nella modellazione dei dati e può anche consentire il riutilizzo del codice nelle applicazioni. Per questi motivi, molti linguaggi, compreso il linguaggio standard per i database SQL, supportano da tempo tali relazioni. Tuttavia, non sembra esserci consenso nella comunità in generale su un modello formale, rigoroso e astratto di ereditarietà. Questo libro propone un modello di questo tipo, che presenta diversi vantaggi rispetto ad altri approcci, non ultimo quello di essere pienamente compatibile con il noto modello relazionale dei dati.

Gli argomenti trattati dal modello includono:

⬤ Ereditarietà singola e multipla.

⬤ Ereditarietà scalare, di tuple e di relazioni.

⬤ Lattici di tipi e tipi di unione e intersezione.

⬤ Polimorfismo e sostituibilità.

⬤ Binding a tempo di compilazione e a tempo di esecuzione.

Tutti questi argomenti sono descritti in dettaglio nel libro, con numerosi esempi illustrativi, esercizi e risposte. Il libro esamina anche diversi approcci alternativi. In particolare, include una discussione e un'analisi dettagliata dell'ereditarietà supportata dallo standard SQL.