IL FORMALISMO E/R ESTESO (EE/R) :

Gli attributi opzionali a livello di superset possono diventare obbligatori a livello di sub-set

Esistono diverse tipi di gerarchia :

o   totale(copertura): le istanze del superset appartengono almeno ad una delle entità del subset

o   esclusiva(disgiunta) ogni istanza del superset appartiene appartengono a più di una delle entità del subset

o   partizione: è una copertura disgiunta.

Nel modello relazionale la gerarchia viene espressa mediante il vincolo di integrità referenziale

tutti i valori dell'attributo chiave di una tabella devono essere  presenti anche nella colonna con cui vi è una relazione (es : attributi id_studente --> devono essere presenti in chiave "id persona")

Per rappresentare una generalizzazione mediante entità e associazioni si hanno 3 divese possibili soluzioni :

Rimozione della sotto-entità : le entità figlie vengono eliminate e i loro attributi(obbligatori) vengono aggiunte al padre(opzionali); ad esso viene aggiunto l'attributo discriminante per distinguere il "tipo" di istanza, per capire a quale figlia apparteneva; tale scelta viene effettuata quando le operazioni non fanno molta distinzione tra padre e figlie. In questo caso anche se si ha uno spreco di memoria(presenza di valori nulli),la scelta ci assicura un numero minori di accessi rispetto alle altre possibilità.

Rimozione del Super-set: l'entità padre viene eliminata e , per la proprietà dell'ereditarietà, i suoi attributi,la sua chiave e le sue relazioni vengono aggiunti in tutte le figlie;a volte devono essere aggiunte altre entità per completare il livello di gerarchia: in queste entità devono essere inserite quelle istanze del superset che non facevano parte di nessuna delle sub-entità iniziali; ciò significa che è conveniente quando ci sono operazioni che si riferiscono solo alle singole figlie. In questo casi si ha un risparmio di memoria (assenza di valori nulli) e una riduzione degli accessi per mantenere la consistenza delle occorrenze rispetto ai vincoli introdotti.

sostituzione della generalizzazione con associazioni: la generalizzazione si trasforma in due associazioni 1:1 che legano il padre con le rispettive figlie; non ci sono trasferimenti di attributi o associazioni e quindi le entità figlie sono identificate esternamente dall'entità padre; questa scelta è conveniente quando la generalizzazione non è totale e ci sono operazioni che fanno distinzione tra padre e figlia; quindi si ha un risparmio di memoria (assenza di valori nulli) ma c'è un aumento degli accessi per mantenere la consistenza delle occorrenze rispetto ai vincoli introdotti.

Vi possono essere,infine, le generazioni su più livelli: in questi casi, si procede analizzando una generalizzazione alla volta a partire dal fondo dell'intera gerarchia.