XML Schema Containment Checking Based on Semi-implicit Techniques

  title={XML Schema Containment Checking Based on Semi-implicit Techniques},
  author={Akihiko Tozawa and Masami Hagiya},
XML schemas are computer languages defining grammars for XML (Extensible Markup Languages) documents. Containment checking for XML schemas has many applications, and is thus important. Since XML schemas are related to the class of tree regular languages, their containment checking is reduced to the language containment problem for non-deterministic tree automata (NTAs). However, an NTA for a practical XML schema has 10−10 states for which the textbook algorithm based on naive determinization is… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS