logo SBA

ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-11302006-155538


Thesis type
Tesi di laurea specialistica
Author
Mameli, Federico
email address
mameli@cli.di.unipi.it
URN
etd-11302006-155538
Thesis title
Definizione Formale e Sviluppo di un Linguaggio di Aggiornamento per dati XML
Department
SCIENZE MATEMATICHE, FISICHE E NATURALI
Course of study
INFORMATICA
Supervisors
Relatore Ghelli, Giorgio
Keywords
  • database
  • xml
Graduation session start date
15/12/2006
Availability
Full
Summary
Definite le tecnologie esistenti nell'ambito, quali XML e XQuery, si esaminano alcune proposte di linguaggi di aggiornamento per XML.
Si procede quindi ad una definizione formale di quello che sara' il linguaggio di aggiornamento proposto, il suo modello dei dati, gli algoritmi utilizzati.
Grazie alla definizione formale si sviluppa un prototipo di implementazione in Java e se ne esaminano le caratteristiche.
File