Laurea Specialistica in Ingegneria Informatica

Seminari di Ingegneria del Software
(Integrazione di Dati e Servizi)

Lezioni A.A. 2005/06

Giuseppe De Giacomo

Lezioni - tabella riassuntiva

Settimana Argomento Lunedì (ore 15:45-17:15 & 17:30-19:00)
 Martedì (ore 17:30-19:00)
1 (24 aprile)  
Festa
Festa
2 (1 maggio) Introduzione al corso

Festa

 Introduzione al corso
3 (8 maggio) Query congiuntive

FOL
- formule aperte come query
- valutazione di formule (aperte e chiuse) FOL
--- un semplice algoritmo
--- PSPACE in combined complexity
--- LOGSPACE in data complexity

 

Query congiuntive
- il DB canonico di una query congiuntiva
- omomorfismo (ChandraMerlin)
- valutazione di query congiuntive
--- NP-complete in combined complexity
--- LOGSPACE in data complexity
- contenimento di query congiuntive
--- riduzione a valutazione (ChandraMerlin)
4 (15 maggio) Integrazione di dati

Introduzione alla integrazione dei dati
- formalizzazione di un sistema di integrazione
- i mapping GAV e LAV
- esercitazione di integrazione

Docente: Antonella Poggi

Integrazione di dati: mapping LAV
-view-based query answering per query congiuntive
--- rewriting
--- bucket algorithm
--- inverse rules
5 (22 maggio) Integrazione di dati

Integrazione di dati: mapping GAV
- GAV senza vincoli per query congiuntive
- GAV con vincoli di key e foregn key
- chase

Docente: Riccardo Rosati

Integrazione di dati: mapping LAV
-view-based query processing per query congiuntive
--- answering
--- answering vs rewriting
--- answering vs containment
6 (29 maggio) Composizione di servizi
Festa
 Service oriented computing e servizi: introduzione

Docente: Massimo Mecella
7 (5 giugno) Composizione di servizi

Service oriented computing e servizi: formalizzazione

Docente: Massimo Mecella

Tecniche di composizione automatica di servizi.
8 (12 giugno) Accesso all'informazione attraverso ontologie Diagrammi delle classi UML visti come un linguaggio formale per esprimere ontologie Le logiche descrittive & diagrammi delle classi UML
9 (19 giugno) Accesso all'informazione attraverso ontologie

Query congiuntive su una ontologia: DL-lite

Seminario su uso industriale di Protege e OWL (Ing. M. Iacovella - Epistematica)

 Query congiuntive su una ontologia
- DL-lite family
- possibili estensioni
- QuOnto

Home page del corso di Seminari di Ingegneria del Software
Laurea Specialistica in Ingegneria Informatica, Università di Roma "La Sapienza"