Curriculum - Dipartimento di Scienze Politiche e Sociali

Curriculum Vitae et Studiorum
di Ester Zumpano
Dati Anagrafici
• Data e luogo di nascita: Cosenza, 12 Luglio 1972
• Cittadinanza: Italiana
• Residenza: Via XXV Aprile, n.14 - 87053 Celico(CS)
• Telefono ufficio: 0984/494755
• Telefono Personale: 0984/435582, 0984 431033, 349/3836640
• Stato civile: Coniugata
• Codice fiscale: ZMP STR 72 L 52 D086 R
Indice
1 Attività di studio e posizioni ricoperte
1.1 Posizione Attuale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Studi Universitari . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
2
2
2 Attività di ricerca
2.1 Basi di dati inconsistenti . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Tecniche di Integrazione . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Modellazione di sistemi P2P . . . . . . . . . . . . . . . . . . . . . .
2.4 Aggiornamento di viste . . . . . . . . . . . . . . . . . . . . . . . .
2.5 Ottimizzazione di Interrogazioni . . . . . . . . . . . . . . . . . . .
2.6 Linguaggi Logici per Basi di Dati . . . . . . . . . . . . . . . . . . .
2.7 Tecniche per la navigazione di siti e la classificazione di pagine web
2.8 Altro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
2
2
3
4
4
4
5
5
6
3 Altre attività scientifiche
3.1 Attivitá di coordinamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Organizzazione di congressi internazionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Revisioni per congressi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
6
6
6
4 Progetti di ricerca
7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Attività didattiche
10
5.1 Attività didattica presso l’Università degli Studi della Calabria . . . . . . . . . . . . . . . . . . . 10
5.2 Altre attività didattiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
6 Elenco dei Lavori Scientifici
11
1
1
Attività di studio e posizioni ricoperte
1.1
Posizione Attuale
• Da gennaio 2006 è professore associato presso la Facoltà di Ingegneria dell’Università degli Studi
della Calabria.
1.2
Studi Universitari
• Laurea in Ingegneria Informatica conseguita, il 20 Ottobre 1998 con votazione 110/110, presso
l’Università degli Studi della Calabria discutendo la tesi dal titolo “Integrazione di Basi di dati
attive, temporali e deduttive”.
• Dottore di Ricerca in Ingegneria dei Sistemi ed Informatica conseguita presso l’Università degli Studi della Calabria discutendo la tesi dal titolo “Integrating, Querying and Repairing
Inconsistent Databases”.
2
Attività di ricerca
L’ attività di ricerca, svolta presso il Dipartimento di Elettronica Informatica e Sistemistica dell’Universita’ della Calabria ha principalmente riguardato i seguenti temi:
• Basi di Dati Inconsistenti
• Tecniche di Integrazione
• Modellazione di Sistemi P2P
• Aggiornamento di viste
• Ottimizzazione di Interrogazioni
• Linguaggi Logici per Basi di Dati
• Tecniche per la navigazione di siti e la classificazione di pagine web
• Altro
I risultati delle attività di ricerca svolte sono documentate da articoli pubblicati in riviste ed atti di
conferenze. Si riporta di seguito una breve descrizione di ciascuna delle attività di ricerca elencate.
2.1
Basi di dati inconsistenti
Tale lavoro di ricerca studia il problema delle inconsistenze nelle basi di dati, che risulta particolarmente rilevante nell’ambito dell’integrazione di dati provenienti da sorgenti informative distinte. Una
base di dati inconsistente è una base di dati che viola i vincoli di integrità su di essa definiti. A
tal proposito è stata definita una tecnica che consente di calcolare risposte corrette ad interrogazioni
poste su basi di dati che potrebbero essere inconsistenti. La tecnica proposta si basa su una trasformazione dei vincoli d’integrità, definiti sulla base di dati, in regole disgiuntive estese. La valutazione
del programma logico cosı̀ ottenuto può essere utilizzato (i) per definire possibili “riparazioni” della
base di dati, ossia per effettuare un insieme minimo di inserimenti e cancellazioni in modo tale da
rendere la base di dati consistente, (ii) per produrre risposte consistenti alle interrogazioni, ossia per
derivare un insieme massimale di atomi che non viola i vincoli di integrità senza tuttavia modificare
2
il contenuto informativo della base di dati. È stato dimostrato che tala tecnica risulta essere corretta
e completa (ciascun modello preferito definisce una riparazione e ciascuna riparazione è ottenibile a
partire da un modello stabile preferito) e permette di rispondere ad interrogazioni anche in casi per i
quali altre tecniche proposte in letteratura falliscono. I risultati di questo studio sono stati presentati
in un congresso internazionale [12]. La tecnica è stata estesa considerando l’introduzione di vincoli
che definiscono condizioni sull’inserimento o la cancellazione di atomi (repair constraints) e di vincoli
che definiscono priorità sulle riparazioni (prioritized constraints) ed è stato dimostrato che anche in
presenza di tali tipi di vincoli la tecnica è corretta e completa. I risultati di questo studio sono stati
presentati in un congresso internazionale [13]. Un framework generale per l’integrazione, la riparazione
e la valutazione di risposte consistenti è stato presentato ad un congresso internazionale [16].
I risultati completi di tale studio costituiscono l’oggetto di un lavoro pubblicato su una rivista
internazionale [2] e l’argomento di due capitoli di libri [67,68].
Successivamente è stata proposta una ulteriore estensione della tecnica che restringe il numero
di riparazioni ammissibili per una base di dati inconsistente considerando oltre ai vincoli di integrità
anche l’ introduzione di condizioni di ammissibilità e criteri di preferenza sull’insieme delle riparazioni.
I risultati di tale estensione costituiscono l’oggetto di due lavori presentati a congressi internazionali
[35,28].
Una ulteriore evoluzione della tecnica è consistita nell’ introduzione di vincoli di integrità attivi,
un meccanismo semplice, ma potente per specificare gli aggiornamenti “preferiti”, ossia le azioni da
intraprendere se un vincolo di integrità non è soddisfatto. Sono state proposte due diverse semantiche:
una semantica “prescrittiva”, in cui solo le azioni preferite possono essere eseguite ed una semantica
“preferita” in cui tutte le azioni che consentono di riparare la base di dati sono ammissibili, ma le
azioni esplicitamente specificate sono preferite. I risultati di tale studio costituiscono l’oggetto di un
lavoro presentato ad un congresso internazionale [34] e di un lavoro sottomesso a rivista internazionale.
La gestione di basi di dati inconsistenti ed il calcolo delle riparazioni ammissibili è stato inoltre
investigato relativamente a dati semistrutturati. In particolare si è studiato il problema di calcolare
le possibili riparazioni di un documento XML inconsistente. I risultati di tale attività di ricerca sono
stati presentati ad un convegno internazionale [29].
2.2
Tecniche di Integrazione
Tale lavoro di ricerca studia il problema dell’integrazione di basi di dati. Nell’ambito di tale linea di
ricerca sono stati definiti degli operatori di integrazione che permettono di combinare i dati tenendo
conto di criteri di preferenza sulle sorgenti. Tale studio costituisce l’oggetto di due lavori presentati a
congressi internazionali [14, 15] e di due lavori presentati a congressi nazionali [63,64]. È stato inoltre
definito un linguaggio logico ottenuto estendendo il Datalog con diversi costrutti che esprimono forme
di non determinismo su valori singoli e aggregati. Il linguaggio cosı̀ ottenuto può essere usato per
implementare la maggior parte delle tecniche di integrazione definite in letteratura, e consente inoltre
di definire tecniche di integrazione più generali. I risultati di questo studio costituiscono l’oggetto di
due lavori presentati a congressi internazionali [26,20]. Successivamente è stato proposto un approccio
per l’integrazione estensionale ed intenzionale di sorgenti informative eterogenee, da basi di dati a
documenti XML e dati semistrutturati. Tale approccio consente di gestire valori nulli o sconosciuti, di
rispondere in modo consistente ad interrogazioni poste su dati inconsistenti e, infine, di ricostruire, a
livello intensionale, il contenuto di ciascuna sorgente informativa coinvolta nel processo di integrazione.
Tale studio è stato l’oggetto di un lavoro presentato ad un congresso internazionale [21] e di un lavoro
pubblicato su rivista internazionale [4].
3
2.3
Modellazione di sistemi P2P
Tale linea di ricerca studia la integrazione e l’interrogazione di basi di dati in sistemi P2P. In un
sistema P2P ogni nodo controlla una propria base di dati il cui schema (parzialmente) noto agli
altri nodi (i quali dunque possono interrogarla). Le interrogazioni dell’utente sono sempre eseguite
presso un nodo, che risponde integrando i dati estratti dalla propria base di dati, con quelli estratti
dal resto del sistema ed ottenuti interrogando i nodi ad esso adiacenti (nodi vicini o acquaintance).
Un nodo considerato vicino di un altro nodo quando pu fornire a quest’ultimo dei dati per mezzo
di meccanismi chiamati regole di mapping o di coordinazione. Ogni vicino risponder eseguendo un
analogo processo. Al fine di rappresentare la conoscenza, una base di dati definisce un insieme di
restrizioni (vincoli di integrit) che ciascuna istanza della base di dati deve soddisfare. La presenza di
tali vincoli in fase di integrazione dati, se correttamente gestita, assicura che solo le informazioni che
non violano tali restrizioni possano essere importate dai nodi vicini. Nel processo di integrazione ogni
nodo deve mediare fra due diverse esigenze: importare quanta pi informazione possibile ed evitare che
essa corrompa la sua base di dati. La presenza dei vincoli di integrit rende il processo di integrazione
e di interrogazione in ambiente P2P molto pi complesso. E’ stata proposta una nuova semantica per
le regole di mapping che consente di importare solo il sottoinsieme massimale di atomi che non viola
i vincoli di integrit.
2.4
Aggiornamento di viste
Questo lavoro di ricerca presenta una semantica dichiarativa per l’aggiornamento di viste in presenza
di predicati derivati quantificati esistenzialmente e vincoli di integrit non-flat, che traduce una richiesta
di aggiornamento su una vista nel corrispondente aggiornamento sulla base di dati. Pi in dettaglio, la
novit del framework consiste nella definizione formale di una semantica dichiarativa che consente di
identificare, tra l’insieme di tutte le possibili riparazioni, il sottoinsieme delle riparazioni giustificate,
ossia le riparazioni le cui azioni sono validate dalla base di dati o da altri aggiornamenti. Data una base
di dati deduttiva ed una richiesta di aggiornamento, il calcolo delle riparazioni giustificate effettuato
attraverso una riscrittura della richiesta di aggiornamento e della base di dati deduttiva in vincoli di
integrit attivi, la cui semantica, data in termini di modelli stabili, stata formalmente definita. E’
stato dimostrato che la tecnica proposta non presenta le anomalie di cui soffrono i precedenti approcci
presenti in letteratura, limitando l’ampio numero di traslazioni a quelle che sono giustificate dalla base
di dati deduttiva.
2.5
Ottimizzazione di Interrogazioni
Nell’ambito di tale linea di ricerca sono state studiate tecniche di ottimizzazione di interrogazioni su
basi di dati deduttive con disgiunzione e vincoli di integrità. In particolare, è stata proposta una
tecnica di riscrittura delle interrogazioni che consente di propagare il “binding” dall’interrogazione
al programma logico in modo tale da ridurre la dimensione dei dati necessari per rispondere alla
interrogazione e, conseguentemente, ridurre sia la complessità di calcolo di un modello che il numero
complessivo di modelli da considerare. L’innovatività di tale lavoro è dovuta al fatto che per la prima
volta vengono considerate interrogazioni logiche contenenti vincoli e disgiunzione. Tale lavoro ha
costituito la base per l’ottimizzazione di interrogazioni in sistemi quali ad es. dlv. I risultati di tale
studio costituiscono l’oggetto di due lavori presentati in congressi internazionali [25,31] e di un lavoro
pubblicato su rivista internazionale [6].
4
2.6
Linguaggi Logici per Basi di Dati
L’attività svolta ha riguardato lo studio di linguaggi logici per basi di dati, in termini di espressività e
semantica. In particolare, è stata studiata l’espressività di linguaggi Datalog-like, ottenuti estendendo
DATALOG con costrutti intuitivi ed efficienti. È stato dimostrato che estendendo DATALOG¬s (DATALOG
con negazione stratificata), con vincoli di integrità e disgiunzione esclusiva si ottiene un linguaggio
(DATALOG¬s ,⊕,⇐ ) avente lo stesso potere espressivo di DATALOG¬ . Tale studio costituisce l’oggetto
di due lavori presentati in congressi internazionali [24,32] e di un lavoro sottomesso ad una rivista
internazionale [8]. La rilevanza di tale lavoro deriva dal fatto che mentre le interrogazioni espresse
in DATALOG¬ risultano poco intuitive e non facilmente ottimizzabili, l’uso dei costrutti qui considerati
rende il linguaggio DATALOG¬s ,⊕,⇐ intuitivo e facilmente ottimizzabile.
È stata anche proposta una semantica deterministica per programmi logici disgiuntivi basata su
modelli stabili parziali. I modelli deterministici sono modelli stabili (parziali) che non sono contraddetti
da nessun altro modello stabile. È stato dimostrato che sotto tale semantica tutti i programmi hanno
almeno un modello deterministico. Tali risultati sono stati presentati in un congresso internazionale
[17].
Nell’ambito di tale linea di ricerca è stata inoltre proposta una nuova semantica per programmi
logici con aggregati e regole di preferenza. Tali risultati sono oggetto di un lavoro sottomesso per la
pubblicazione in un congresso internazionale [39].
2.7
Tecniche per la navigazione di siti e la classificazione di pagine web
Tale tema di ricerca è essenzialmente rivolto allo sviluppo di tecniche per la classificazione di pagine
web ed alla definizione di strumenti che rendano più efficiente la navigazione di siti web per l’utente,
migliorando le risposte ad interrogazioni fornite dai motori di ricerca. In particolare, è stata proposta
una tecnica di Topic Distillation su web che esamina la struttura a grafo del web ed applica un
approccio statistico alla matrice di co-occorrenza (associata con il base set ottenuto al primo passo
dell’algoritmo di Kleinberg) in modo da trovare le pagine più co-citate e quindi le diverse comunità. La
tecnica sviluppata ha il vantaggio di identificare le pagine rilevanti senza l’ausilio di procedure iterative,
ma semplicemente utilizzando una formula chiusa. Tale tecnica è stata presentata ad un congresso
internazionale [18] ed il lavoro, premiato come miglior lavoro, è stato selezionato per la pubblicazione
su rivista. La sua versione estesa è stata infatti pubblicata su una rivista internazionale[1]. Sulla base
di questo lavoro di ricerca teorico, è stato sviluppato un prototipo di un sistema presentato in un
congresso internazionale [19]. Si è successivamente studiato un algoritmo per approssimare la formula
di ranking in modo da poter estendere l’approccio in contesti in cui l’attenzione deve essere rivolta
alla velocità di risposta piuttosto che alla precisione dei risultati. Caso tipico è lo studio di filtri
collaborativi utili nello sviluppo di portali Web personalizzabili o di supporto alla navigazione degli
utenti. I risultati di questo studio costituiscono l’oggetto di un lavoro presentato ad un convegno
internazionale [22] e di un lavoro pubblicato su una rivista internazionale [3]. Il lavoro di ricerca è
proseguito analizzando le comunità web sulla base dell’evoluzione di un insieme iniziale di pagine hubs e
authorities. La legge di evoluzione proposta cattura il comportamento tipico degli autori di pagine web
nei confronti di pagine popolari relative al topic di interesse. I risultati di questo studio costituiscono
l’oggetto di un lavoro presentato ad un congresso internazionale [27] e di un lavoro pubblicato su una
rivista internazionale [5]. È stato successivamente studiato il problema della personalizzazione di siti
Web, proponendo approcci non invasivi per lo sviluppo di sistemi di personalizzazione. I risultati
di tale attività costituiscono l’oggetto di due lavori presentati a congressi internazionale [30, 33] e di
5
un lavoro invitato ed accetato per la pubblicazione su una rivista internazionale [7]. Il prototipo del
sistema realizzato è stato, inoltre, presentato nell’ambito di un congresso a carattere nazionale [65].
2.8
Altro
Algoritmi di Matching È stato studiato il problema di calcolare il numero di unificatori di due
(bounded) bag terms, ed è stata in particolare investigata la complessità relativa all’esistenza di un
unificatore. Il problema del (bounded) Set Term Matching è stato precedentemente dimostrato essere
risolvibile in tempo polinomiale, mentre Il Bag Term Matching Problem è stato dimostrato essere
N P -completo anche nel caso semplice in cui non sono ammessi simboli di funzione, ossia sono presenti
solo termini semplici. Sono stati, pertanto, individuati sottocasi trattabili. I risultati di questo studio
costituiscono l’oggetto di un lavoro presentato a congresso internazionale [23].
3
Altre attività scientifiche
3.1
Attivitá di coordinamento
Dall’anno accademico 2006-2007 é coordinatrice dei corsi di Fondamenti di Informatica per la facoltá
di Ingnegneria dell’Universitá dela Calabria.
3.2
Organizzazione di congressi internazionali
• È stata Organizing Chair per l’Undicesimo Convegno Nazionale su Sistemi Evoluti per Basi di
Dati che si è tenuto a Cetraro (CS), Italia, dal 24 al 27 Giugno del 2003.
Nell’ambito di tale conferenza la sottoscritta ha svolto le attività relative alla rendicontazione
ed ha gestito le attività relative alla contabilità.
• È stata membro del comitato organizzatore dell’8th European Conference on Logics in Artificial
Intelligence. Cosenza, Italy, September 2002.
Nell’ambito di tale conferenza la sottoscritta ha svolto le attivitá relative alla rendicontazione
ed ha gestito le attivitá relative alla contabilità.
• Fa parte dello Steering Committee della East European Conference on Advances in Databases
and Information Systems (ADBIS)
3.3
Revisioni per congressi
Ha partecipato o partecipa all’attività di selezione degli articoli proposti per la pubblicazione a diversi
congressi e riviste nazionali ed internazionali, tra i quali:
• Logics in Artificial Intelligence - (Jelia 2002)
• Logics in Artificial Intelligence - (Jelia 2004)
• International Conference on Database Theory - (ICDT 2003)
• International Conference on Information Technology - (ITCC 2004)
• Journal of System Science and System Engineering - (JSSSE)
• Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati - (SEBD 2002)
6
• Dodicesimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati - (SEBD 2004)
• International World Wide Web Conferences - (WWW 2004)
• Joint Conference on Declarative Programming - (APPIA-GULP-PRODE 2003)
• International Database Engineering & Applications Symposium - (IDEAS 2006)
• Logic Programming and Nonmonotonic Reasoning - (LPNMR 2005)
• International Conference on Data Engineering - (ICDE 2007)
• Database and Expert Systems Applications - (DEXA 2007)
• Data Warehousing and Knowledge Discovery - (DaWaK 2007) Data
• ACM Symposium on Applied Computing - (SAC 2007)
• 10th International Conference on Enterprise Information Systems - (ICEIS 2007)
• Information Systems (IS)
• Theory and Practice of Logic Programming (TPLP)
4
Progetti di ricerca
• Progetto PIA -Nuove Tecniche e strumenti per la gestione di basi di dati distribuite: Il progetto presentato dal DEIS e della società e way Enterprise Business Solutions S.r.l., come da
decreto N. 220801 del 30/12/2008, risultato ammessa al beneficio delle agevolazioni previste
dal Bando Pubblico PIA - PACCHETTI INTEGRATI DI AGEVOLAZIONE E CONTRATTI
DI INVESTIMENTO INDUSTRIA, SERVIZI E ARTIGIANATO APPROVATI CON D.D.G.
N 8452 DEL 30 giugno 2008 (pubblicato nel SS n. 1 del 30.06.08 al Burc n. 26 del 27.06.08 parte III).
Il Piano di Sviluppo Aziendale (PSA), relativo al settore ISTAT ATECO 2002 K72.2, dal titolo
Nuove Tecniche e strumenti per la gestione di basi di dati distribuite ha una durata di 18 mesi.
Esso comprende un Piano di Innovazione Aziendale, un Piano Integrato dei Servizi reali ed un
Piano di Formazione Aziendale. - Il Piano di Innovazione Aziendale, presentato in collaborazione
con il DEIS - Dipartimento di elettronica Informatica e Sistemistica dell’Università della Calabria, finalizzato alla realizzazione di un Progetto di Ricerca e Sviluppo Tecnologico prevede la
definizione e messa a punto di un sistema, denominato SQUID (System for QUerying and Integratine Database), per la integrazione e gestione dati in ambiente distribuito. - Il Piano Integrato
dei Servizi Reali stato presentato in collaborazione con la società Marketing-Communication
di Cosenza. Esso finalizzato alla Progettazione e Realizzazione di Azioni Promozionali e Pubblicitarie, alla definizione di Servizi di marketing strategico ed creazione di reti di vendita e
assistenza. - Il Piano di Formazione Aziendale stato presentato in collaborazione con l’agenzia
formativa DOMINO, accredita come ente formativo presso la Regione Calabria. Il corso, dal
titolo Progettazione e sviluppo di basi di dati avanzate ha l’obiettivo di qualificare, aggiornare e
potenziare le competenze professionali dei dipendenti relativamente relativamente a lle tematiche
oggetto del piano di sviluppo.
Nell’ambito di tale progetto la sottocritta ha effettuato il coordinamento, monitoraggio e valutazione del processo di erogazione dei servizi da parte del DEIS alla
società proponente il progetto.
7
• Il Progetto TOCAI.it, finanziato dal MIUR, ha lobiettivo del progetto sviluppare un insieme
integrato di metodologie, tecniche e strumenti software basati sulle pi avanzate tecnologie della
conoscenza, che consentano lanalisi, la specifica, limplementazione e la valutazione sul campo di
nuovi modelli di organizzazione delle imprese, in una prospettiva di internetworked enterprise.
• Progetto VIROLAB project. - A Virtual Laboratory for Decision Support in Viral Disease
Treatment, finanziato dalla Comunità Europea per 3.334.840.00, Identificativo del Progetto:
FP6-2005-IST- 2004-027446 (www.virolab.org).
ViroLab un laboratorio virtuale per malattie infettive che facilita la scoperta di conoscenza in
campo medico e garantisce supporto alle decisioni, usando una architettura orientate ai servizi su
griglie. La virtualizzazione delle risorse come dati, strumenti, nodi di computazione, strumenti
e utenti consente piena trasparenza delle risorse. Tali risorse sono rese disponibili adottando
il Grid computing, e operando in parte su tool esistenti sviluppati in progetti quali CrossGrid,
EGEE e VL-e. L’organizzazione virtuale di cui si compone ViroLab spazia su un numero di
istituti fisicamente separati in Europa, tra i quali 5 ospedali. ViroLab usa una interfaccia
uniforme verso le risorse disponibili nel laboratorio virtuale, con funzionalità definite da task
ben-definiti in contesti clinici. Il laboratorio virtuale consente di selezionare sia task predefiniti
sia di comporne di nuovi.
• PHOENIX un progetto portato avanti con la software house calabrese E WAY ENTERPRISE
BUSINESS SOLUTIONS SRL. Il progetto ha l’obiettivo di sviluppare un sistema integrato
geo-referenziato per la gestione delle Entrate Tributarie degli Enti Locali.
• Gennaio 1999 - Settembre 2000: Progetto CONTACT Cooperative Network for Technology
Transfer Actions and Training, in parte finanziato dalla Commissione Europea e dal Ministero
del Lavoro e della Previdenza Sociale - U.C.O.F.P.L. - Div. IV, nell’ambito del Programma di
Iniziativa Comunitaria ADAPT - BIS.
L’obiettivo del Progetto Contact è stato quello di sviluppare un network funzionale di integrazione fra la ricerca scientifica e tecnologica e le imprese, aperto al contributo di tutti i potenziali
attori dello sviluppo (Università, centri di ricerca, imprese, amministrazioni locali e regionali, associazioni di categoria, ecc.). Il network Contact ha apportato vantaggi di varia natura al tessuto
di PMI, favorendo azioni di: orientamento di imprese e centri di ricerca per l’esplicitazione della
domanda e dell’offerta di innovazione, valutazione dei sentieri tecnologici ottimali (prodotti, applicazioni, formazione all’uso, economie), selezione delle nuove tecnologie tra quelle sviluppabili e
sviluppate localmente. Il progetto è stato promosso dal Dipartimento di Elettronica, Informatica
e Sistemistica dell’Università della Calabria.
Nell’ambito di tale progetto la sottoscritta ha svolto le attività relative alla rendicontazione e alle rendicontazioni di commessa; ha gestito le attività relative alla
contabilità e le attività relative agli approvvigionamenti.
• Novembre 1999 - Novembre 2001: Progetto PRIN Data-X: Gestione, Trasformazione e Scambio
di Dati in Ambiente Web — unità dell’Università della Calabria;
• Giugno 2001 - Luglio 2003: Progetto Sistemi informatici integrati a supporto del bench-marking
di progetti e interventi ad innovazione tecnologica nel settore agro-alimentare, finanziato dal
MIUR — gruppo di ricerca del DEIS - Università della Calabria;
8
• Novembre 2000 - Novembre 2002: Progetto PRIN - D2I: From Data to Information — unità
dell’Università della Calabria;
• Luglio 2003 - Settembre 2004: Progetto TRAME: Trasferimento di Metodologie Didattiche Innovative per le Imprese - (www.tra.me.it), realizzato con il finanziamento del Fondo Sociale
Europeo nell’ambito del programma Operativo Nazionale Assistenza tecnica e azioni di sistema.
Il progetto di trasferimento stato proposto dal DEIS, in qualità di capofila dell’ATI; la società
Poliedra Progetti Integrati S.p.A di Torino, in qualità di membro dell’ATI; il Consorzio Multimedia di Chieti, in qualità di membro dell’ATI. Hanno, inoltre, partecipato al progetto, col ruolo di
partner, i seguenti organismi: Enaip Puglia, ASAFORM (Catania), CEFOPA (Palermo), CNA
Basilicata. Il progetto ha inteso trasferire una buona pratica di formazione in rete rivolta alle
imprese, adattandola al contesto delle realtà delle quattro regioni obiettivo I coinvolte nel progetto (Sicilia, Calabria, Puglia, Basilicata). In particolare il progetto ha consentito di migliorare
l’offerta formativa delle organizzazioni che operano nel campo della formazione continua nelle
regioni ob. I coinvolte, attraverso la condivisione della metodologia e degli strumenti che costituiscono la buona pratica da trasferire; diffondere la buona pratica, adattandola al contesto
locale, anche attraverso la sperimentazione della stessa in percorsi formativi rivolti alle piccole e
medie imprese delle regioni interessate; incrementare le performance delle imprese, soprattutto
medio piccole, delle regioni ob. I attraverso l’innalzamento delle conoscenze del proprio personale
e il potenziamento delle loro competenze organizzative; aumentare il livello di consapevolezza
degli attori chiave delle regioni ob. I, circa le opportunità offerte dalle tecnologie informatiche
e telematiche applicate alla formazione per facilitare il diffondersi degli strumenti della Società
dell’Informazione.
Nell’ambito di tale progetto la sottoscritta ha svolto le attività relative alla rendicontazione e alle rendicontazioni di commessa; ha gestito le attività relative alla
contabilità e le attività relative agli approvvigionamenti.
Nell’ambito di tale progetto la sottoscritta ha svolto le attività relative al Coordinamento, monitoraggio e valutazione del processo di erogazione dei servizi.
• Aprile 2002 - Novembre 2003: Reengineering del Back Office del Sistema Informatico Bancario
in Office Multicanale finanziato dal MIUR — gruppo di ricerca del DEIS - Università della
Calabria;
• Aprile 2002 - Novembre 2003: Progetto Front Office Multicanale per Banca on-line finanziato
dal MIUR — gruppo di ricerca del DEIS - Università della Calabria;
• Aprile 2002 - Novembre 2003: Reengineering del Back Office del Sistema Informatico Bancario
in Office Multicanale finanziato dal MIUR — gruppo di ricerca del DEIS - Università della
Calabria;
• Anno 2007: P2PDBMS un progetto, finanziato dalla regione Calabria, per la integrazione ed interrogazione di basi di dati in ambiente P2P (p2p data management system, P2PDBMS). La condivisione conoscenza un aspetto importante in molte aree tra cui data warehousing,l’integrazione
di basi di dati, i database databse attivi. L’integrazione di basi di dati in sistemi P2P attualmente guardato con notevole interesse sia nel mondo accademico che in quello industriale. La mission
di questo progetto consiste nella realizzazione di un sistema che fisicamente connette sorgenti
autonome (peer) al fine di condividere e riutilizzare informazione e creare nuova informazione a
partire da quella esistente.
9
5
Attività didattiche
5.1
Attività didattica presso l’Università degli Studi della Calabria
Fin dall’anno accademico 1998-99 ha collaborato, in qualità di esercitatore o docente, alle attività
didattiche della Facoltà di Ingegneria dell’Università della Calabria; dall’anno accademico 2000-2001
ha collaborato alle attività didattiche della Facoltà di Scienze Politiche; dall’anno accademico 20032004 ha collaborato alle attività didattiche della Facoltà di Lettere e Filosofia dell’Università della
Calabria.
È attualmente docente, presso l’Università degli Studi della Calabria, dei seguenti corsi universitari:
• Fondamenti di Informatica (6 CFU) Corso di Laurea Laurea Triennale in Ingegneria Meccanica.
• Progettazione di Sistemi Informativi (5 CFU) Corso di Laurea Magistrale in Ingegneria Gestionale.
• Sistemi Informativi e Basi di dati (6 CFU) Corso di Laurea Magistrale in Ingegneria Gestionale.
• Sistemi di Elaborazione in rete (6 CFU) Corso di Laurea Magistrale in Ingegneria Gestionale.
• Sistemi informatici per il Turismo (6 CFU) Corso di laurea magistrale in VALORIZZAZIONE
DEI SISTEMI TURISTICO-CULTURALI
• Informatica per lo Sviluppo (6 CFU) Corso di Laurea Magistrale in Discipline Economiche e
Sociali per lo Sviluppo.
Negli anni accademici precedenti è stata docente, presso l’Università degli Studi della Calabria,
dei seguenti corsi universitari:
• Fondamenti di Informatica I (4 CFU) della Facoltà di Ingegneria dell’Università degli Studi della
Calabria, AA 2002/2003, 2003/2004.
• Fondamenti di Informatica I (4 CFU) della Facoltà di Ingegneria dell’Università degli Studi della
Calabria - Polo Didattico di Crotone, AA 2002/2003, 2003/2004.
• Progettazione di Sistemi Informativi (5 CFU) della Facoltà di Ingegneria dell’Università degli
Studi della Calabria, AA 2003/2004.
• Fondamenti di Informatica II (2 CFU) della Facoltà di Scienze Politiche dell’Università degli
Studi della Calabria, AA 2002/2003, 2003/2004.
• Fondamenti di Informatica III (2 CFU) della Facoltà di Scienze Politiche dell’Università degli
Studi della Calabria - Polo Didattico di Crotone, AA 2003/2004.
• Laboratorio di Informatica (5 CFU) della Facoltà di Lettere e Filosofia dell’Università degli Studi
della Calabria, AA 2003/2004.
• Sistemi Informativi per Internet (4 CFU) della Facoltà di Lettere e Filosofia dell’Università degli
Studi della Calabria, AA 2003/2004.
• Basi di dati (5 CFU) della Facoltà di Lettere e Filosofia.
• Sistemi di Elaborazione in rete (6 CFU) Laurea Magistrale Ingegneria Gestionale.
10
5.2
Altre attività didattiche
• Anno 2002, Corso I.F.T.S. - Graphic and Web Designer promosso dall’ISIM - Istituto di Studi,
Iniziative, Ricerche e Formazione per lo Sviluppo delle Regioni Meridionali finanziato dal Fondo
Sociale Europeo - MIUR.
• Anno 2003, Master MODECI- Modellazioni Matematiche di Catastrofi Idrogeologiche promosso
dal Dipartimento di Difesa del Suolo dell’Università degli Studi della Calabria, PON 2000-2006.
• Nel biennio 2003/2004 ha ricoperto un incarico di docenza della durata di 25 ore per il modulo
didattico “Informatica avanzata e sistemi informativi aziendali nell’ambito del corso di formazione professionale “Archivista Informatico presso il Dipartimento di Linguistica dell’Università
della Calabria
• Anno 2004, Master in Gestione della Conoscenza Cod. MIUR 1150/40 2003/2004 promosso ed
attuato dal centro di Ingegneria Economica e Sociale (CIES) dell’Università degli Studi della
Calabria.
• Anno 2005, Master in Gestione della Conoscenza cod. MIUR 1148/338.
6
Elenco dei Lavori Scientifici
Pubblicazioni su Riviste Internazionali
1 G. Greco, S. Greco, E. Zumpano, “A Probabilistic Approach for Distillation and Ranking of Web
Pages” - World Wide Web Journal (WWW), 4(3): 189-207, 2001, - Kluwer Academic Publishers Jennifer Evans, Publishing Editor 2 G. Greco, S. Greco, E. Zumpano, “A Logical Framework for Querying and Repairing Inconsistent
Databases” - IEEE Transactions on Knowledge and Data Engineering (TKDE) - 15(6): 1389-1408
(2003) IEEE Computer Society USA - Philip S. Yu, Editor-in-Chief.
3 G. Greco, S. Greco, E. Zumpano, “Collaborative Filtering Supporting Web Site Navigation” - AI
Communications 17(3): 155-166, 2004.
4 L.Pontieri, D. Ursino, E. Zumpano, “An approach for the extensional integration of data sources
with heterogeneous representation formats” - Data and Knowledge Engineering (DKE), 45(3): 291-331,
2003.
5 G. Greco, S. Greco, E. Zumpano, “Web Communities: Models and Algorithms” - World Wide
Web 7(1): 58-82, 2004. Kluwer Academic Publishers. La versione elettronica dell’articolo è visibile
all’indirizzo: http://journals.kluweronline.com/article.asp?PIPS=5264432
6 G. Greco, S. Greco, I. Trubtsyna, E. Zumpano, “Optimization of Bound Disjunctive Queries with
Constraints” - Theory and Practice of Logic Programming - TPLP 5(6): 713-745 (2005)
7 S. Flesca, S. Greco, A. Tagarelli and E. Zumpano, “Mining User Preferences, Page Content and
Usage to Personalize Website Navigation” - World Wide Web Journal, 8(3): 317-345, 2005.
11
8 S. Greco, I. Trubitsyna and E. Zumpano (2007) On the Semantics of Logic Programs with Preferences, JAIR - Journal of Artificial Intelligence Research, Vol. 30, pages 501-523.
9 L. Caroprese, S. Greco and E. Zumpano (2007) Active Integrity Constraints for Database Maintenance, IEEE Transactions on Knowledge and Data Engineering (TKDE), 21(7): 1042-1058 (2009)
10 S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano - NP Datalog: A logic language for expressing
search and optimization problems. TPLP 10(2): 125-166 (2010).
11 L. Caroprese, I. Trubitsyna, M. Truszczynski, E. Zumpano: A Measure of Arbitrariness in
Abductive Explanations. TPLP 14(4-5): 665-679 (2014)
Pubblicazioni su atti di conferenze o workshop Internazionali
12 S. Greco, E. Zumpano, “Querying Inconsistent Databases” - Logic Programming and Automated
Reasoning (LPAR), pp. 308-325, Reunion Island, Novembre 6-10, 2000.
13 S. Greco, E. Zumpano, “Computing Repairs for Inconsistent Databases” - Cooperative Database
System for Advanced Applications (CODAS), pp. 33-40, Beijing, China April 23-24, 2001.
14 S. Greco, L.Pontieri, E. Zumpano, “A Technique for Information System Integration” - International Conference on Information Systems Technology and its Applications (ISTA) - National Technical
University Kharkiv, Ukraine, June 13 - 16, 2001.
15 S. Greco, L. Pontieri, E. Zumpano, “Integrating and Managing Conflicting Data” - Perspectives
of System Informatics (PSI), pp. 349-362, Novosibirsk, Akademgorodok, Russia, 3 - 6 July, 2001.
16 G. Greco, S. Greco, E. Zumpano, “A logic Programming approach to the Integration, Repairing
and Querying of Inconsistent Databases” - International Conference on Logic Programming (ICLP),
pp. 348-394, Paphos, Cypress, Nov 26 - Dec 1, 2001.
17 G. Greco, S. Greco, E. Zumpano, “Deterministic Semantics for Disjunctive Logic Programs” Joint Conference on Declarative Programming (APPIA-GULP-PRODE), pp. 17-30, Evora, Portugal,
September 26-28, 2001.
18 G. Greco, S. Greco, E. Zumpano, “A probabilistic approach for discovering Authoritative Web
pages” - Web Information Systems Engineering (WISE), pp.137-146, Kyoto, Japan, 3 - 6 Dec., 2001.
19 G. Greco, S. Greco, E. Zumpano, “STED: A System for Topic Enumeration and Distillation”
- IEEE Int. Conf. on Information Technology: Coding and Computing (ITCC), pp. 294- 299, The
Orleans, Las Vegas, Nevada, April 1-3, 2002.
20 G. Greco, S. Greco, E. Zumpano, “A logic framework for the integration of databases” - Int.
Symposium on Methodologies for Intelligent Systems (ISMIS), pp. 274-284, Lyon, France, June 27-29,
2002.
21 L. Pontieri, D. Ursino, E. Zumpano, “An approach for synergically carrying out intensional and
extensional integration” - International Conference on Advanced Information Systems Engineering
(CAISE), pp. 752-756, Toronto, Canada, 2002.
12
22 G. Greco, S. Greco, E. Zumpano, “Recommendation Techniques for the Efficient Navigation of
Web sites” - Workshop on Document Compression and Synthesis in Adaptative Hypermedia Systems
(DoCS), Malaga (Spain), 28 Maggio, 2002.
23 G. Greco, E. Zumpano, “Complexity and Algorithms for the Matching of Bag and Set Terms” Logics in Artificial Intelligence (JELIA), pp. 216-230, Cosenza, Italy, September 23-26, 2002.
24 G. Greco, S. Greco, I. Trubtsyna, E. Zumpano, “Translating Datalog-like Optimization Queries
into ILOG Programs” - Logic Program Synthesis and Transformation (LOPSTR), pp. 48-49, Madrid,
Spain, 18 - 20 September, 2002.
25 G. Greco, S. Greco, I. Trubtsyna, E. Zumpano, “Query Optimization of Disjunctive Databases with Constraints through Binding Propagation” - Logic Programming and Automated Reasoning
(LPAR), pp. 216-230, Tbilisi, Georgia, October 14-18th, 2002.
26 G. Greco, S. Greco, E. Zumpano, “A Logic Language for Database Integration” - Joint Conference
on Declarative Programming (APPIA-GULP-PRODE), Madrid, Spain, 16 - 18 September, 2002.
27 G. Greco, S. Greco, E. Zumpano, “A Stochastic Approach for Modeling and Computing Web
Communities” - Web Information Systems Engineering (WISE), pp. 43-52, Singapore, 12-14th Dec,
2002.
28 S. Greco, C. Sirangelo, I. Trubitsyna and E. Zumpano, “Preferred Repairs for Inconsistent Databases” - International Database Engineering and Applications Symposium (IDEAS), pp. 202-211,
July 16-18, 2003, Hong Kong.
29 S. Flesca, F. Furfaro, S. Greco, E. Zumpano, “Repairs and Consistent Answers for XML Data
with Functional Dependencies” International XML Database Symposium (XSym), pp. 238-253, Berlin,
Germany, 2003.
30 G. Greco, S. Greco, E. Zumpano, “A lightweight tool for easy web sites navigation” - Web
Information Systems Engineering (WISE), pp. 134-146, Rome, Italy, 10-12 December, 2003.
31 S. Greco, E. Zumpano, “On the Rewriting and Efficient Computation of Bound Disjunctive” Principles and Practice of Declarative Programming (PPDP), pp. 136-147, Uppsala, Sweden, 27-29
August, 2003.
32 E. Zumpano, S. Greco, I. Trubitsyna, P. Veltri, “On the Semantics and Expressive Power of
Datalog-like Languages for NP Search and Optimization Problems” - ACM Symposium On Applied
Computing (SAC), pp. 692-697, Nicosia, Cyprus, March 14-17, 2004.
33 S. Flesca, S. Greco, A. Tagarelli, E. Zumpano, “Non-Invasive Support for Personalized Navigation
of Websites” - In Proc. of Int. Database Engineering and Applications Symposium (IDEAS), pp.
183-192, Coimbra, Portugal, 7-9 July, 2004.
34 S. Flesca, S. Greco, E. Zumpano, “Active Integrity Constraints” - Principles and Practice of
Declarative Programming (PPDP), pp. 238-253, Verona, Italy, August 24 - 26, 2004 .
13
35 S. Greco, C. Sirangelo, I. Trubitsyna, E. Zumpano, “Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases” - Database and Expert Systems Applications
(DEXA), pp. 44-55, Zaragoza, Spain, 30 August - 3 September, 2004.
36 S. Flesca, F. Furfaro, S. Greco, E. Zumpano, Querying and Repairing Inconsistent XML Data.
WISE, pp. 175-188, 2005.
37 S. Greco, A. Scicchitano, A. Tagarelli, E. Zumpano: A Mobile-Aware System for Website Personalization. WAIM, pp. 810-815, 2005.
38 S. Greco, I. Trubitsyna, E. Zumpano: Aggregates and Preferences in Logic Programming. pp.
413-424, ISMIS 2005.
39 S. Greco, I. Trubitsyna, E. Zumpano: NP Datalog: A Logic Language for NP Search and
Optimization Queries, pp. 344–353, IDEAS 2005.
40 S. Greco, I. Trubitsyna, E. Zumpano: On the Semantics of Logic Programs with Preferences. pp.
203-215, Logics in Artificial Intelligence - JELIA 2006.
41 L. Caroprese, S. Greco, I. Trubitsyna, E. Zumpano: Preferred Generalized Answers for Inconsistent Databases, pp. 344-349, Int. Symposium on Methodologies for Intelligent Systems (ISMIS)
Bari, September 27-29, 2006.
42 L. Caroprese, S. Greco, C. Sirangelo, E. Zumpano: Declarative Semantics of Production Rules for
Integrity Maintenance, pp. 26-40, Int. Conf. on Logic Programming (ICLP) - Seattle, Washington,
USA, 17-20 August, 2006.
43 L. Caroprese, S. Greco, E. Zumpano: Merging, Repairing and Querying Inconsistent Databases
with Functional and Inclusion Dependencies. International Conference on Enterprise Information
Systems, ICEIS (1) 2006: 38-45, Paphos, Cyprus 23-27 May 2006.
44 L. Caroprese, E. Zumpano: A Framework for Merging, Repairing and Querying Inconsistent
Databases, Advances in Databases and Information Systems (ADBIS) - pp. 383-398, September 3-7,
2006.
45 L. Caroprese, C. Molinaro, E. Zumpano: Integrating and Querying P2P Deductive Databases,
International Database Engineering & Applications Symposium(IDEAS), Delhi, INDIA Dec. 11-14,
2006.
46 L. Caroprese, E. Zumpano: On the Integration, Repairing and Querying of Conflicting Data,
Information Integration and Web-based Application & Services (IIWAS) 2006, 4 - 6 December 2006,
Yogyakarta Indonesia.
47 L. Caroprese, S. Greco, E. Zumpano, A Logic Programming Approach to Querying and Integrating P2P Deductive Databases - FLAIRS 2006, pp. 31-36.
48 L. Caroprese, I. Trubitsyna, E. Zumpano: A framework for prioritized reasoning based on the
choice evaluation, ACM Symposium on Applied Computing (SAC) Seoul, Korea, March 11 - 15, 2007.
14
49 L. Caroprese, I. Trubitsyna, E. Zumpano, Prioritized Reasoning in Logic Programming - FLAIRS
2007, pp. 178-179.
50 L. Caroprese, I. Trubitsyna, E. Zumpano, Implementing prioritized reasoning in logic programming, In Proc. of the 9th International Conference on Enterprise Information Systems (ICEIS 2007),
pp. 94-100, Funchal, Madeira - Portugal, June 12-16, 2007.
51 L. Caroprese, I. Trubitsyna, E. Zumpano, View Updating Through Active Integrity Constraints.
ICLP 2007, pp. 430-431.
52 L. Caroprese, E. Zumpano, Consistent Data Integration in P2P Deductive Databases. SUM 2007,
pp. 230-243.
53 L. Caroprese, E.Zumpano, Modeling Cooperation in P2P Data Management Systems, ISMIS
2008, Toronto, Canada.
54 L. Caroprese, P. M. A. Sloot, B. Nuallin, E. Zumpano: A logical framework for detecting
anomalies in drug resistance algorithms. IDEAS 2009: 23-30
55 L. Caroprese, C. Molinaro, I. Trubitsyna, E.Zumpano: Consistent Queries over Databases with
Integrity Constraints. Database Technologies: Concepts, Methodologies, Tools, and Applications
2009: 2051-2058
56 L. Caroprese, C. Comito, D. Talia, E. Zumpano: A logic approach to virtual sensor networks.
IDEAS 2010: 149-156
57 L. Caroprese, E. Zumpano: Aggregates and priorities in P2P data management systems. IDEAS
2011: 1-7
58 L. Caroprese, E. Zumpano: Restoring Consistency in P2P Deductive Databases. SUM 2012:
168-179
59 L. Caroprese, I. Trubitsyna, M. Truszczynski, E. Zumpano: The View-Update Problem for
Indefinite Databases. JELIA 2012: 134-146
60 L. Caroprese, E. Zumpano: Handling Preferences in P2P Systems. FoIKS 2012: 91-106
61 L. Caroprese, I. Trubitsyna, M. Truszczynski, E. Zumpano: A Measure of Arbitrariness in
Abductive Explanations. iclp 2014.
62 L. Caroprese, E. Zumpano: Dealing with incompleteness and inconsistency in P2P deductive
databases. IDEAS 2014: 124-131
15
Pubblicazioni su atti di conferenze Nazionali
63 S. Basta, S. Greco, E. Zumpano, “Integrazione di basi di dati con vincoli” - Atti del Convegno
Sistemi Evoluti per Basi di Dati, pp. 333- 344, Aquila- Giugno, 2000.
64 S. Greco, L.Pontieri, E. Zumpano, “Integrating Possibly Conflicting Data” Atti del Convegno
Sistemi Evoluti per Basi di Dati, pp. 241-248, Venezia, June 27-29, 2001.
65 S. Greco, A. Tagarelli, I. Trubitsyna, E. Zumpano, “A System Supporting Website Navigation”
- Atti del Convegno Sistemi Evoluti per Basi di Dati, pp. 142-149, S. Margherita di Pula, Cagliari,
Italy, June 21-23, 2004.
66 L. Caroprese, S. Greco, C. Sirangelo, E. Zumpano, A logic based approach to P2P Databases,
Atti del Convegno Sistemi Evoluti per Basi di Dati, pp. 67-74, 2005.
Capitoli e articoli apparsi su volumi
67 S. Greco, E. Zumpano, “Consistent Queries over Databases with Integrity Constraints” - Capitolo
6 del libro Database Integrity: Challenge and Solutions, pp. 172-202, Jorge H. Doorn and Laura C.
Rivero, Editors, 2002.
68 G. Greco, S. Greco, E. Zumpano, “Repairing and Querying Inconsistent Databases” - Capitolo 8
del libro Effective Databases for Text and Document Management, pp. 318-359, Dr. Shirley and A.
Becker, Editors, 2003.
69 S. Greco, E. Zumpano, “Consistent Queries Over Databases with Integrity Constraints” - Encyclopedia of Information Science and Technology (I), pp. 529-534.
70 S. Greco, E. Zumpano, “Rewriting and Efficient Computation of Bound Disjunctive Datalog
Queries” - Encyclopedia of Database Technologies and Applications, pp. 536-541.
71 S. Greco, C. Sirangelo, I. Trubitsyna and E. Zumpano, “Preferred Repairs for Inconsistent
Databases” - Encyclopedia of Database Technologies and Applications, pp. 480-485.
72 S. Flesca, S. Greco and E. Zumpano, “Managing Inconsistent Databases Using Active Integrity
Constraints” - Encyclopedia of Database Technologies and Applications, pp. 345-350, 2005.
73 S. Flesca, F. Furfaro, S. Greco and E. Zumpano, “Repairing Inconsistent XML Data with
Functional Dependencies” - Encyclopedia of Database Technologies and Applications, pp. 542-547.
74 S. Greco, C. Sirangelo, I. Trubitsyna, E. Zumpano: Preferred Repairs for Inconsistent Databases,
- Encyclopedia of Database Technologies and Applications 2005: 480-485.
75 S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano- On the implementation of a logic language
for NP search and optimization problems, Encyclopedia of Database Technologies and Applications,
prossima pubblicazione.
76 L. Caroprese, I. Trubitsyna, E. Zumpano, A Framework for Prioritized Reasoning, Encyclopedia
of Database Technologies and Applications, prossima pubblicazione.
16
La sottoscritta è a conoscenza che, ai sensi dell’art. 26 della legge 15/68, le dichiarazioni
mendaci, la falsità negli atti e l’uso di atti falsi sono puniti ai sensi del codice penale e delle
leggi speciali. Inoltre, la sottoscritta autorizza al trattamento dei dati personali, secondo quanto
previsto dalla Legge 196/03.
La sottoscritta autorizza l’associazione DOMINO all’utilizzo dei dati riportati nel presente
documento ai fini dell’accreditamento. Dichiara inoltre ai sensi dell’articolo 76 del DPR 445/2000
la veridicità delle informazioni in esso contenute.
Rende, 16 aprile 2015
Ester Zumpano
17