Anno accademico 2006-2007
Lezioni
Sono state svolte dal 26/03 al 3/04/2007 e hanno riguardato approfondimenti
sulla teoria della normalizzazione e della decomposizione, con riferimento a basi di dati relazionali
e XML.
Materiale
Progetti
Presentazione (6/03/2007)
Sono disponibili attività nell'ambito dell'iniziativa ModelGen, che ha
come obiettivo lo sviluppo di metodologie e strumenti per la gestione di schemi e dati in modelli diversi,
soprattutto con riferimento alla automatizzazione delle traduzioni.
Gli aspetti di interesse di ModelGen sono stati presentati nel seminario del 6/03/2007
(materiale); per una presentazione più ampia
si può consultare l'articolo:
In questo ambito, sono disponibili progetti per il corso di Complementi di basi di dati
relativi alla scrittura di regole Datalog per la specifica di passi di traduzione. Tali progetti
verranno svolti secondo le seguenti modalità:
- si può operare individualmente o in gruppi da due
- le attività sono programmate per essere concluse entro l'interruzione
didattica di aprile
- il supporto del docente e dei suoi collaboratori sarà disponibile
secondo un calendario via via annunciato che permetterà di fissare
(e rispettare) scadenze
Dettagli (aggiornati via via)
- incontro del 12/03/2007: materiale
- incontro del 15/03/2007:
- soluzioni
degli esercizi proposti
il 12/03/2007 (preparate da I. Naitana);
-
materiale su Datalog
- incontro del 20/03/2007: è stato presentato lo strumento ModelGen,
che è
scaricabile
il materiale include anche
un breve file di documentazione (ISTRUZIONI_CBD.pdf) e due documenti di descrizione del supermodello
(SuperModello_07-03-22.doc) e
delle corrispondenze fra modelli e supermodello (CorrispondenzeCostrutti07-03-22.doc).
Aggiornamenti sullo strumento potranno essere pubblicati alla stessa
pagina
via via che saranno disponibili. Contattare l'ing
Cappellari per eventuali esigenze di
chiarimenti. Aggiornamenti:
lo strumento è stato aggiornato il 3/04/2007, con i nuovi file XML per i modelli
e la correzione di alcuni malfunzionamenti relativi alla gestione delle funzioni di Skolem e
alla ricorsione);
- incontro del 23/03/2007:
- un altro incontro si è svolto
giovedì 29/03/2007
- incontro del 02/04/2007: assegnazione esercizi