logo SBA

ETD

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

Tesi etd-09142008-202115


Tipo di tesi
Tesi di laurea specialistica
Autore
PARDINI, LUCA
URN
etd-09142008-202115
Titolo
XML Schema con Interleaving e Conteggio: Inclusione e Validazione
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Prof. Ghelli, Giorgio
Relatore Dott. Sartiani, Carlo
Parole chiave
  • dtd
  • edtd
  • inclusione
  • Java
  • lca
  • schema
  • sperimentazione
  • validazione
  • xml
  • XML Schema
Data inizio appello
10/10/2008
Consultabilità
Completa
Riassunto
L'inserimento dell'operatore di interleaving in XML trasforma l'operazione di inclusione da PSPACE a EXPSPACE-Completo e l'operazione di validazione da PTIME a NP-Arduo.
Rispettando alcune limitazioni \`e possibile costruire algoritmi polinomiali che si comportano molto bene anche in fase sperimentale.
File