CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione...
-
Upload
andrea-mereu -
Category
Documents
-
view
212 -
download
0
Transcript of CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione...
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
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 ...
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)
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
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)
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
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)
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