ETD system

Electronic theses and dissertations repository

 

Tesi etd-09142008-202115


Thesis type
Tesi di laurea specialistica
Author
PARDINI, LUCA
URN
etd-09142008-202115
Title
XML Schema con Interleaving e Conteggio: Inclusione e Validazione
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Supervisors
Relatore Prof. Ghelli, Giorgio
Relatore Dott. Sartiani, Carlo
Parole chiave
  • Java
  • edtd
  • lca
  • sperimentazione
  • dtd
  • XML Schema
  • validazione
  • inclusione
  • xml
  • schema
Data inizio appello
10/10/2008;
Consultabilità
Completa
Riassunto analitico
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