DOCUMENTAZIONE DI SCHEMI E/R Esempio - DBGroup

DOCUMENTAZIONE DI SCHEMI E/R
! Uno schema E/R non è quasi mai sufficiente da solo a rappresentare
tutti gli aspetti e vincoli di un dominio applicativo, per varie ragioni:
1. in uno schema E/R compaiono solo i nomi dei vari concetti ma questo può
essere insufficiente per comprenderne il significato.
2. vari vincoli di integrità (proprietà dei dati rappresentati) non possono essere
espressi direttamente dai costrutti del modello E/R
! Documentazione di schemi E-R: uno schema E/R è corredato con
una documentazione di supporto che faciliti l'interpretazione dello
schema stesso e a descrivere vincoli di integrità non esprimibili in E/R
! Regole aziendali o business rules
– Una descrizione di un concetto (entità,associazione attributo) dello schema
associazione del modello E-R (Dizionario dei dati)
– Un Vincolo di integrità, sia esso la documentazione di un vincolo espresso
nello schema E/R o la descrizione di un vincolo non esprimibile in E/R
– Una Derivazione ovvero un concetto che può essere ottenuto attraverso
un'inferenza o un calcolo da altri concetti dello schema (Dato Derivato)
VEDERE: http://it.wikipedia.org/wiki/Modello_E-R
1
! Esempio di schema E/R (notare alcune differenze nella notazione
grafica):
Esempio
2

Dizionario dei Dati
Entità
Associazioni
3
Regole di vincolo e di derivazione
Regole
di vincolo:
Regole
di derivazione:
4

INCONSISTENZA di uno schema con vincoli
! INCONSISTENZA: lo schema con vincoli di integrità non
ammette alcuna istanza (finita) ovvero non è possibile
soddisfare i vincoli di integrità presenti nello schema
Esempio
di schema E/R inconsistente
! CONTROLLO DI CONSISTENZA : algoritmi per decidere se
uno schema è consistente o meno
! Tesine in RAPPRESENTAZIONE DELLA CONOSCENZA (Ing. Modena)
! http://www.dbgroup.unimo.it/kr/TesinaKRRacer.html
! Tesi di Laurea
5
Problema del controllo di INCONSISTENZA
! CONTROLLO DI CONSISTENZA : per alcuni tipi di vincoli di
integrità non esistono algoritmi per decidere - nel caso generale
- se uno schema è consistente o meno (problema indecidibile)
Descrizione di IMPIEGATO
in Logica Descrittiva
(con vincolo di integrità):
IMPIEGATO =
( salario : INTEGER )
AND
( capo : IMPIEGATO )
AND
(salario

Un esempio concreto
! Regole Aziendali, non incluse (non esprimibili) nello schema E/R:
A. Il numero di studenti NUMSTUDENTI di una facoltà è pari al numero di
studenti iscritti alla facoltà (associati tramite ISCR)
B. I rappresentanti di una facoltà devono essere studenti di quella facoltà
! Regole Aziendali già espresse nello schema E/R:
1. La matricola di uno studente è univoca solo all’interno della sua facoltà
2. Una facoltà ha esattamente tre rappresentanti
3. Una facoltà ha almeno uno studente iscritto
4. …
7
! Traduzione in relazionale dello schema E/R:
Un esempio concreto
FACOLTÀ(CODFAC,NUMSTUDENTI)
STUDENTE(MATR,CODFAC)
FK : CODFAC REFERENCES FACOLTÀ
RAPPRES(MATR,CODFAC,CODFAC’,DATA)
FK : MATR,CODFAC REFERENCES STUDENTE
FK : CODFAC’ REFERENCES FACOLTÀ NOT NULL
! La regola (B.) non esprimibile in E/R equivale a dire in relazionale che i
due attributi CODFAC e CODFAC’ sono uguali, ovvero posso mettere un
unico attributo (quindi tale regola è esprimibile in relazionale) :
RAPPRES(MATR,CODFAC,DATA)
FK : MATR,CODFAC REFERENCES STUDENTE
! Non sono esprimibili in relazionale le regole (A.), (2.) e (3.).
Esse verranno espresse tramite TRIGGER (corso di Basi di Dati)
8