Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.
Type Inheritance and Relational Theory: Subtypes, Supertypes, and Substitutability
Dziedziczenie typów to zjawisko, zgodnie z którym możemy na przykład powiedzieć, że każdy kwadrat jest również prostokątem, a zatem właściwości, które mają zastosowanie do prostokątów w ogóle, mają zastosowanie do kwadratów w szczególności. Innymi słowy, kwadraty są podtypem prostokątów, a prostokąty są nadtypem kwadratów. Rozpoznanie i działanie w oparciu o takie relacje podtyp / nadtyp zapewnia wiele korzyści: Z pewnością może pomóc w modelowaniu danych, a także może zapewnić ponowne wykorzystanie kodu w aplikacjach. Z tych powodów wiele języków, w tym standardowy język baz danych SQL, od dawna obsługuje takie relacje. Wydaje się jednak, że w całej społeczności nie ma zgody co do formalnego, rygorystycznego i abstrakcyjnego modelu dziedziczenia. Niniejsza książka proponuje taki model, który ma kilka zalet w porównaniu z innymi podejściami, z których nie najmniejszą jest to, że jest w pełni kompatybilny z dobrze znanym relacyjnym modelem danych.
Tematy, które obejmuje model obejmują
⬤ Pojedyncze i wielokrotne dziedziczenie.
⬤ Dziedziczenie skalarne, krotek i relacji.
⬤ Kraty typów oraz typy unii i przecięć.
⬤ Polimorfizm i zastępowalność.
⬤ Wiązanie w czasie kompilacji i w czasie wykonywania.
Wszystkie te tematy zostały szczegółowo opisane w książce, wraz z licznymi ilustrującymi przykładami, ćwiczeniami i odpowiedziami. Książka omawia również kilka alternatywnych podejść. W szczególności zawiera szczegółową dyskusję i analizę dziedziczenia obsługiwanego w standardzie SQL.
