logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-11302006-155538


Tipo di tesi
Tesi di laurea specialistica
Autore
Mameli, Federico
Indirizzo email
mameli@cli.di.unipi.it
URN
etd-11302006-155538
Titolo
Definizione Formale e Sviluppo di un Linguaggio di Aggiornamento per dati XML
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Ghelli, Giorgio
Parole chiave
  • database
  • xml
Data inizio appello
15/12/2006
Consultabilità
Completa
Riassunto
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