Article Dans Une Revue Information and Computation Année : 2009

Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas

Résumé

We present algorithms for testing language inclusion L(A) ⊆ L(B) between tree automata in time O(|A| |B|) where B is deterministic (bottom-up or top-down). We extend our algorithms for testing inclusion of automata for unranked trees A in deterministic DTDs or deterministic EDTDs with restrained competition D in time O(|A| |Σ| |D|). Previous algorithms were less efficient or less general.

Fichier principal
Vignette du fichier
ic09.pdf (856.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

inria-00366082 , version 1 (05-03-2009)
inria-00366082 , version 2 (10-10-2009)
inria-00366082 , version 3 (10-10-2009)

Licence

Identifiants

Citer

Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren. Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas. Information and Computation, 2009, 207 (11), pp.1181-1208. ⟨10.1016/j.ic.2009.03.003⟩. ⟨inria-00366082v3⟩
433 Consultations
521 Téléchargements

Altmetric

Partager

  • More