Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Type Inheritance and Relational Theory: Subtypes, Supertypes, and Substitutability
Typová dedičnosť je jav, podľa ktorého môžeme napríklad povedať, že každý štvorec je zároveň obdĺžnikom, a teda vlastnosti, ktoré platia pre obdĺžniky všeobecne, platia najmä pre štvorce. Inými slovami, štvorce sú podtypom obdĺžnikov a obdĺžniky sú nadtypom štvorcov. Rozpoznávanie takýchto vzťahov medzi podtypmi a nadtypmi a konanie na ich základe prináša mnohé výhody: Určite to môže pomôcť pri modelovaní údajov a môže to tiež zabezpečiť opakované použitie kódu v aplikáciách. Z týchto dôvodov mnohé jazyky vrátane štandardného databázového jazyka SQL už dlho podporujú takéto vzťahy. Zdá sa však, že v komunite vo všeobecnosti neexistuje konsenzus o formálnom, prísnom a abstraktnom modeli dedičnosti. Táto kniha navrhuje takýto model, ktorý má oproti iným prístupom niekoľko výhod, z ktorých nie poslednou je, že je plne kompatibilný so známym relačným modelom údajov.
Témy, ktorými sa model zaoberá, zahŕňajú:
⬤ Jednoduché aj viacnásobné dedenie.
⬤ Skalárna, tuplová a relačná dedičnosť.
⬤ Mriežky typov a typy union a intersection.
⬤ Polymorfizmus a nahraditeľnosť.
⬤ Väzby v čase kompilácie a v čase behu.
Všetky tieto témy sú v knihe podrobne opísané a obsahujú množstvo názorných príkladov, cvičení a odpovedí. V knihe sa tiež rozoberá niekoľko alternatívnych prístupov. Obsahuje najmä podrobnú diskusiu a analýzu dedičnosti, ako ju podporuje štandard SQL.