Definizione di un modello di rappresentazione dello schema globale

In questa sezione verrá definita una formalizzazione della conoscenza generata all'interno della fase di integrazione degli schemi, per poter esprimere in modo formale i passi eseguiti dal Query Manager nella fase di Definizione del Query Plan.

Definizione 1 (Schema Globale)   Lo schema globale rappresenta la vista integrata dei dati che viene presentata all'utente nella fase di Query Processing. E' costituito da un insieme di classi globali:

$SG = \{G_1,G_2,\ldots,G_M\}$

Definizione 2 (Classe Globale)   Una Classe Globale $G_i$, costituisce la visione unificata di tutte le classi locali che fanno parte di uno stesso cluster. Le informazione che , nel processo di integrazione, vengono associate alla classe globale sono:

$G_i \in GS = \langle ng_{G_i},int(G_i),est(G_i) \rangle$

• $ng_{G_i}$, rappresenta il nome associato alla classe globale;
• $int(G_i) = MT(G_i) = MT_i$ , l'intensione di $G_i$ é la Mapping Table;
• $est(G_i) = \langle B(G_i),GE(G_i) \rangle$ , l'estensione di $G_i$ é costituita dall'insieme di Base Extension e dalla Gerarchia Estensionale.
  • $B(G_i) = B_i =\{b_{1i},b_{2i},\ldots,b_{Ki}\}$, rappresenta l'insieme delle Base Extension definite sulla classe globale $G_i$.
  • $GE(G_i) = GE_i = \{V_{1i},V_{2i},\ldots,V_{pi}\}$, rappresenta la Gerarchia Estensionale definita per la Classe Globale $G_i$.

Definizione 3 (Mapping Table)   E' la struttura dati che contiene tutte le informazioni riguardanti il passaggio da rappresentazione globale agli schemi locali, definisce quindi la conoscenza intensionale della classe globale $G_i$. Informazioni significative della Mapping Table sono: le classi locali coinvolte e l'unione degli attributi globali mappati da queste ultime.

$MT_i = \langle C(MT_i),GA(MT_i) \rangle$

• $C(MT_i)$ , rappresenta l'insieme delle classi locali della Mapping Table, dove $c_{ji} \in C(MT_i)$ é caratterizzata oltre che dal nome e dall' insieme di attributi locali, anche dall'insieme degli attributi globali con mapping non nullo, e dall'estensione $c_{ji}=\langle n_{c_{i}},A(c_{ji}),GA(c_{ji}),est(c_{ji})\rangle$;
• $GA(MT_i) = \bigcup_{c_k \in C(MT_i) } GA(c_k)$ , rappresenta l'insieme degli attributi globali della Classe Globale, con $ga_h \in GA$ definito dalla coppia $ga_h = \langle ng_h,dg_h\rangle$, dove $ng_h$ è il nome e $dg_h$ è il dominio associato ad $ag_h$.

Definizione 4 (Base Extension)   Una base extension è un sottoinsieme dell'insieme complessivo delle estensioni ed identifica oggetti realmente esistenti in una o più sorgenti.

$b_{ji} = \langle C(b_{ji}),int(b_{ji}),est(b_{ji})\rangle$ , con $b_{ji} \in B(G_i)$

• $C(b_{ji}) \subset C(MT_i)$ rappresenta le classi locali appartenenti alla base extension $b_{ji}$;
• $int(b_{ji}) = \bigcup_{c_k \in est(b_{ji}) } GA(c_{k})$ , l'intensione di $b_{ji}$ é costituita dall'unione delle intensioni delle classi locali contenute ;
• $est(b_{ji})= \bigcap_{c_k \in C(b_{ji}) } est(c_{k})$ , l'estensione di $b_{ji}$ é costituita dall'intersezione delle estensioni delle classi contenute all'interno della base extension.

Definizione 5 (Classe Virtuale)   La struttura di una Classe Virtuale e' determinata dalle base extension che vi appartengono.

$V_{ji} = \langle int(V_{ji}),est(V_{ji})\rangle$ , con $V_{ji} \in GE(G_i)$

• $int(V_{ji}) = \bigcap_{b_{k} \in est(V_{ji}) } int(b_{k})$ , l'intensione di $V_{ji}$ é costituita dall'intersezione delle intensioni delle base extension che appartengono alla sua estensione;
• $est(V_{ji}) \subset B(G_i)$ , l'estensione di $V_{ji}$ é un'insieme di Base Extension.