1 / 8

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

CVM un modello concettuale per la gestione di versioni di schema in un contesto di integrazione. Fabio Grandi DEIS - Università di Bologna. Conceptual Versioning Model. Framework di Integrazione : Modello Globale (Livello Concettuale) Conceptual Versioning Model ( CVM )

adler
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. Conceptual 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 CVM (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 CVM (2) • Supporto di DM espressivi per le sorgenti • modelli OO con polimorfismo degli oggettie 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 DescrittivaALCQIOassai 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) • Formalizzazione diCVM • 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) • 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. D1.R4: risultati prima fase (3) • 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)

  8. Problemi aperti e Sviluppi • Ragionatore efficiente per CVM ?( reasoning in ALCQIO ) • possibile impiego di tool per ALCQIcon aspetti legati ai nominal trattati a livello di Abox • Studio su base formale del problema di Change Propagation

More Related