Dědičnost typů a teorie relací: Podtypy, nadtypy a zastupitelnost: Relativní teorie: Podtypy, nadtypy a zastupitelnost.

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 2 hlasů.

Původní název:

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

Obsah knihy:

Typová dědičnost je jev, podle kterého můžeme například říci, že každý čtverec je také obdélník, a proto vlastnosti, které platí pro obdélníky obecně, platí i pro čtverce. Jinými slovy, čtverce jsou podtypem obdélníků a obdélníky jsou nadtypem čtverců. Rozpoznání těchto vztahů mezi podtypy a nadtypy a jednání na jejich základě přináší řadu výhod: Jistě to může pomoci při modelování dat a může to také umožnit opakované použití kódu v aplikacích. Z těchto důvodů mnoho jazyků, včetně standardního databázového jazyka SQL, takové vztahy již dlouho podporuje. Nezdá se však, že by v široké komunitě panovala shoda na formálním, přísném a abstraktním modelu dědičnosti. Tato kniha takový model navrhuje, a to model, který má oproti jiným přístupům několik výhod, z nichž nemalou výhodou je, že je plně kompatibilní s dobře známým relačním modelem dat.

Témata, kterými se model zabývá, zahrnují:

⬤ Jednoduchá i vícenásobná dědičnost.

⬤ Skalární, tuplová a relační dědičnost.

⬤ Mřížky typů a typy union a intersection.

⬤ Polymorfismus a zastupitelnost.

⬤ Vazby v době kompilace a v době běhu.

Všechna tato témata jsou v knize podrobně popsána a doplněna mnoha názornými příklady, cvičeními a odpověďmi. V knize je také popsáno několik alternativních přístupů. Zejména obsahuje podrobnou diskusi a rozbor dědičnosti, jak je podporována ve standardu SQL.