ETD

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

Tesi etd-09142008-202115

Tipo di tesi

Tesi di laurea specialistica

URN

etd-09142008-202115

Titolo

XML Schema con Interleaving e Conteggio: Inclusione e Validazione

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

dtd
edtd
inclusione
Java
lca
schema
sperimentazione
validazione
xml
XML Schema

Data inizio appello

10/10/2008

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

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

Nome file	Dimensione
XThesis.pdf	706.95 Kb
Contatta l’autore