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.
2.
in uno schema E/R compaiono solo i nomi dei vari concetti ma questo può
essere insufficiente per comprenderne il significato.
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

Esempio di schema E/R (notare alcune differenze nella notazione
grafica):
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 <= capo.salario)
6
Un esempio concreto

Regole Aziendali, non incluse (non esprimibili) nello schema E/R:
A.
B.

Il numero di studenti NUMSTUDENTI di una facoltà è pari al numero di
studenti iscritti alla facoltà (associati tramite ISCR)
I rappresentanti di una facoltà devono essere studenti di quella facoltà
Regole Aziendali già espresse nello schema E/R:
1.
2.
3.
4.
La matricola di uno studente è univoca solo all’interno della sua facoltà
Una facoltà ha esattamente tre rappresentanti
Una facoltà ha almeno uno studente iscritto
…
7
Un esempio concreto

Traduzione in relazionale dello schema E/R:
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
Annotazione

Il Dizionario dei dati si può considerare come un caso particolare di
Annotazione (en.wikipedia.org/wiki/Annotation)

Annotation is extra information associated with a particular point
in a document or other piece of information.

MOMIS (Mediator Environment for Multiple Information Sources) is a
Data Integration System which performs information extraction and
integration from both structured and semi-structured data sources;
given a set of data sources related to a domain it is thus possible to
synthesize a ''basic domain ontology'', called ''Global Virtual View''
(GVV). (dbgroup.unimo.it)

The construction of the GVV is based on the ''Local Source Annotation'',
where terms denoting schemas elements in data sources are semantically
annotated: the integration designer can manually choose a meaning for
each element of a local source schema, according to the WordNet lexical
ontology (www.cogsci.princeton.edu/~wn) and/or perform an automatic
annotation which associates to each term the first meaning of Wordnet.
9