Típusöröklés és relációs elmélet: Alattípusok, szupertípusok és helyettesíthetőség

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

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

Könyv tartalma:

A típusöröklődés az a jelenség, amely szerint például azt mondhatjuk, hogy minden négyzet egyben téglalap is, és így a téglalapokra általánosságban érvényes tulajdonságok a négyzetekre is érvényesek. Más szóval a négyzet a téglalapok altípusa, a téglalapok pedig a négyzetek altípusa. Az ilyen altípus/szupertípus kapcsolatok felismerése és az azok alapján történő cselekvés számos előnnyel jár: Természetesen segíthet az adatmodellezésben, és az alkalmazásokban a kód újrafelhasználását is biztosíthatja. Ezen okok miatt számos nyelv, köztük a szabványos adatbázis-nyelv, az SQL már régóta támogatja az ilyen kapcsolatokat. Úgy tűnik azonban, hogy az öröklődés formális, szigorú és absztrakt modelljével kapcsolatban nincs konszenzus a közösség egészében. Ez a könyv egy ilyen modellt javasol, amely számos előnnyel rendelkezik más megközelítésekkel szemben, nem utolsósorban pedig az, hogy teljes mértékben kompatibilis a jól ismert relációs adatmodellel.

A modell által lefedett témák a következők:

⬤ Egyszeres és többszörös öröklés.

⬤ Skalár, tuple és reláció öröklés.

⬤ Típusrácsok és unió és metszet típusok.

⬤ Polimorfizmus és helyettesíthetőség.

⬤ Kompilálási és futási idejű kötés.

A könyvben mindezek a témakörök részletesen le vannak írva, számos szemléltető példával, gyakorlattal és válaszokkal. A könyv számos alternatív megközelítést is tárgyal. Különösen az SQL-szabványban támogatott öröklődés részletes tárgyalását és elemzését tartalmazza.