DEFINIZIONE FORMALE E SVILUPPO DI UN LINGUAGGIO DI AGGIORNAMENTO PER DATI XML

[Total: 0    Average: 0/5]

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.