Sciweavers

DBPL
2007
Springer

Efficient Inclusion for a Class of XML Types with Interleaving and Counting

13 years 7 months ago
Efficient Inclusion for a Class of XML Types with Interleaving and Counting
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleaving and counting can be decided in polynomial time in presence of two important restrictions: no element appears twice in the same content model, and Kleene star is only applied to disjunctions of single elements. Our approach is based on the transformation of each such content model into a set of constraints that completely characterizes the generated language. We then reduce inclusion checking to constraint implication. We exhibit a quadratic algorithm to perform inclusion checking on a RAM machine. Key words: PACS:
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Added 14 Aug 2010
Updated 14 Aug 2010
Type Conference
Year 2007
Where DBPL
Authors Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Comments (0)