CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione...

8
CVM CVM un modello concettuale per un modello concettuale per la gestione di versioni di la gestione di versioni di schema schema in un contesto di in un contesto di integrazione integrazione Fabio Grandi DEIS - Università di Bologna

Transcript of CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione...

Page 1: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

CVMCVM un modello concettuale per la un modello concettuale per la

gestione di versioni di schema gestione di versioni di schema in un contesto di integrazionein un contesto di integrazione

Fabio Grandi

DEIS - Università di Bologna

Page 2: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

2

Conceptual Versioning ModelConceptual Versioning Model

Framework di Integrazione: Modello Globale (Livello Concettuale)

– Conceptual Versioning Model ( CVM ) Schemi Sorgenti (Livello Logico)

– Modelli Object-oriented– Modello relazionale– Modelli per dati semi-strutturati (ssd)– XML ...

Page 3: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

3

Caratteristiche di Caratteristiche di CVM CVM (1)(1)

Supporto per versioni di schema(schema evolution e versioning)– versioni temporali

– versioni “progettuali” (tipiche in appl. OODBs)

– versioni spaziali

Framework uniforme per la rappresentazione e gestione di dati e metadati (con formato di export comune es. XML)

Page 4: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

4

Caratteristiche di Caratteristiche di CVM CVM (2)(2)

Supporto di DM espressivi per le sorgenti– modelli OO con polimorfismo degli oggetti

e typing non stretto (OK per integrazione)– linguaggio full-Boolean per definizione dei tipi– costruttori di record e set (OK per modelli ssd, ODMG…)

Basato sulla Logica Descrittiva ALCQIO

assai espressiva e decidibile (NExpTime)– Def. di “named” entities (classi e attributi)

come first-class citizens --> uso di nominals

Page 5: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

5

D1.R4: risultati prima fase (1)D1.R4: risultati prima fase (1)

Formalizzazione di CVM– Def. del framework generale:

• Livello Globale:aspetti intensionali - gerarchia di concetti

• Livello di Singola Versione di Schema:aspetti estensionali - def. ruoli e vincoli

Definizione Path Language per Attributi(per uso in schema changes e queries)

Page 6: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

6

D1.R4: risultati prima fase (2)D1.R4: risultati prima fase (2)

Formalizzazione degli schema changes (vincoli inter-versione)– compatibile con soluzione single-pool + completed schema e/o multi-pool

Definizione di Reasoning Task– consistenza globale/locale di schemi/classi

– disgiunzione/sussunzione di classi

– unicità del nome di classi/attributi

Page 7: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

7

Query Language– Datalog non ricorsivo con problema

di query containment decidibile

– consente di esprimere query multi-schema

– utilizzabile per change propagation(modifiche dei dati a fronte di schema change)

D1.R4: risultati prima fase (3)D1.R4: risultati prima fase (3)

Page 8: CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione Fabio Grandi DEIS - Università di Bologna.

8

Ragionatore efficiente per CVM ?( reasoning in ALCQIO )– possibile impiego di tool per ALCQI con aspetti

legati ai nominal trattati a livello di Abox

Studio su base formale

del problema di Change Propagation

Problemi aperti e SviluppiProblemi aperti e Sviluppi