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