Moștenirea tipurilor și teoria relațională: Subtipuri, supertipuri și substituibilitate

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

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

Conținutul cărții:

Moștenirea de tip este acel fenomen conform căruia putem spune, de exemplu, că orice pătrat este și un dreptunghi, astfel încât proprietățile care se aplică dreptunghiurilor în general se aplică pătratelor în special. Cu alte cuvinte, pătratele sunt un subtip al dreptunghiurilor, iar dreptunghiurile sunt un supertip al pătratelor. Recunoașterea și utilizarea unor astfel de relații subtip/supertip oferă numeroase beneficii: Cu siguranță, poate ajuta la modelarea datelor și, de asemenea, poate asigura reutilizarea codului în aplicații. Din aceste motive, multe limbaje, inclusiv limbajul standard de baze de date SQL, au acceptat de mult timp astfel de relații. Cu toate acestea, nu pare să existe un consens în întreaga comunitate cu privire la un model formal, riguros și abstract de moștenire. Această carte propune un astfel de model, care se bucură de mai multe avantaje față de alte abordări, nu în ultimul rând faptul că este pe deplin compatibil cu bine cunoscutul model relațional al datelor.

Printre subiectele acoperite de model se numără:

⬤  Moștenirea simplă și multiplă.

⬤ Moștenirea scalară, tuple și relații.

⬤ Rețele de tipuri și tipuri de uniune și intersecție.

⬤ Polimorfismul și substituibilitatea.

⬤ legarea în timp de compilare și în timp de execuție.

Toate aceste subiecte sunt descrise în detaliu în carte, cu numeroase exemple ilustrative, exerciții și răspunsuri. Cartea discută, de asemenea, mai multe abordări alternative. În special, cartea include o discuție detaliată și o analiză a moștenirii, așa cum este ea susținută în standardul SQL.