Simple Schemas for Unordered XML

Iovka Boneva (1, 2) , Radu Ciucanu (1, 2) , Slawomir Staworko (1, 2)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 LINKS - Linking Dynamic Data

We consider unordered XML, where the relative order among siblings is ignored, and propose two simple yet practical schema formalisms: disjunctive multiplicity schemas (DMS), and its restriction, disjunction-free multiplicity schemas (MS). We investigate their computational properties and characterize the complexity of the following static analysis problems: schema satisfiability, membership of a tree to the language of a schema, schema containment, twig query satisfiability, implication, and containment in the presence of schema. Our research indicates that the proposed formalisms retain much of the expressiveness of DTDs without an increase in computational complexity.

Domaines: Base de données [cs.DB]

Iovka Boneva, Radu Ciucanu, Slawomir Staworko. Simple Schemas for Unordered XML. 16th International Workshop on the Web and Databases (WebDB), Jun 2013, New York, United States. ⟨hal-00824459⟩