Universita' Roma Tre CCS Ingegneria Informatica Dip Informatica e Automazione
 

Sistemi informativi (nuovo ordinamento)
Anno accademico 2004-2005
Progetto, seconda parte (Homework 2 del 21/12/2004)
versione 2 (14/01/2005)

Home page del corso Programma e materiale Avvisi

L'homework prevede la scrittura di regole Datalog per la realizzazione di passi elementari di traduzione ("basic translations") da un modello ad un altro.

Le regole vanno scritte nell'ambito del supermodello, con riferimento ad una struttura dello stesso che, illustrata a lezione (materiale) verrà resa disponibile al più presto (presumibilmente domani 22 dicembre) in formato direttamente importabile nello strumento.

Le regole debbono essere testate, su dati che corrispondano a schemi corretti, che possono essere o caricati direttamente nelle tabelle del dizionario del supermodello (ma, facendo attenzione alla correttezza dei dati) oppure generati con lo strumento, attraverso la definzione dei modelli e degli schemi sui modelli.

Le traduzioni da considerare sono quelle (numerate da 1 a 14) riportate sul lucido presentato in aula

Ciascuno studente deve considerare due traduzioni, e, poiché il lavoro va svolto in gruppi di due o tre persone, le traduzioni sono assegnate secondo la regola seguente, sulla base dell'ultima cifra della somma dei numeri di matricola degli studenti coinvolti (domanda 0, come si calcola tale cifra?)

Cifra
Gruppo da due
Gruppo da tre
1
1,5,7,14
1,3,5,7,11,14
2
1,6,8,12
1,2,6,8,12,13
3
1,5,9,11
1,5,6,9,11,12
4
2,4,10,13
2,3,4,10,13
5
2,6,7,14,
2,4,6,7,11,14
6
2,4,8,12
1,2,4,8,12,13
7
2,6,9,11
2,4,6,9,11,12
8
3,4,10,13
3,4,5,10,13,14
9
3,5,7,12
1,3,5,7,12,13
0
3,5,8,11
3,4,5,8,11,12

 

Organizzazione dei gruppi: contrariamente a quanto specificato in aula, ogni gruppo è invitato a mandare al docente un messaggio con subject "[SINF] homework 2, gruppo", contenente nomi, cognomi e numeri di matricola degli studenti coinvolti; il docente risponderà fornendo un identificativo del gruppo del tipo "Gxx"

Documentazione da produrre (nuovo, 14/01/2005):

per ogni traduzione elementare debbono essere forniti

  • la macroregola
  • le microregole
  • una breve descrizione delle regole
  • uno o due test per ogni regola, con i dati utilizzati

Concretamente, debbono essere inviati, in un unico zip:

  • la cartella 'rules' cosi' come nel tool che contiene sia le simple che le macro (possibilmente con nomi autoesplicativi), ma con le sole regole che si "consegnano"
  • una cartella con il dump della base di dati (i file modelgen.* nella cartella hsqldb, a dbms spento); nella base di dati devono essere presenti: (1) gli schemi sorgenti nei modelli concreti (il supermodello non deve contenere schemi) e (2) le funzioni di skolem necessarie
  • una cartella con le descizioni delle singole regole (un file complessivo oppure uno per ciascuna traduzione)
  • una cartella con i diagrammi di test (in un formato a scelta) degli schemi source e target nei rispettivi modelli
  • un file di istruzioni con la sequenza di passi da eseguire per il test; la sequenza deve includere (tutto il necessario, ma in particolare): (a) le macro per la copia da e verso il supermodello (b) lo statement sql che fa l'insert nella tabella schemeSM (da usare prima della traduzione per inserire l'oid, il nome e l'oid del modello per lo schema destinazione) (c) una nota che specifichi la versione del parser utilizzata (si suggerisce di usare la nuova, perché semplifica lo sviluppo e il debugging, ma coloro che hanno già sviluppato regole con il vecchio, possono procedere, purché tutto il progetto sia realizzato con lo stesso parser).

Nota: il materiale deve permettere ai docenti di effettuare il test senza dover adattare nomi di file o funzioni di skolem o regole di copia da e verso il supermodello

Consegna: l'elaborato va consegnato, per posta elettronica, al docente, inviando un messaggio che abbia come Subject "[SINF] homework 2" e come attachment un file zip, con nome uguale all'identificativo del gruppo (vedi sopra) preceduto da "SINF-02-". Quindi, il gruppo "G21" deve inviare un attachment di nome "SINF-02-G21.zip".

Regole per lo svolgimento: gli studenti possono consultarsi (anche discutendo sul newsgroup), ma poi ciascun gruppo deve consegnare un proprio elaborato

Scadenza: lunedì 24 gennaio ore 14

Valutazione: l'homework avrà un peso significativo (fra un terzo e metà del peso del progetto)

 
Paolo Atzeni, Dipartimento di Informatica e Automazione, Università Roma Tre
Ultima modifica 14 gennaio 2005