Ghelli, Giorgio and Colazzo, Dario and Sartiani, Carlo (2007) Efficient Inclusion for a Class of XML Types with Interleaving and Counting. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
PDF (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (259Kb) |
Abstract
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 type into a set of constraints that completely characterizes the type. We then provide a complete deduction system to verify whether the constraints of one type imply all the constraints of another one.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | XML; Semistructured Data; Type Theory |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 09 Dec 2014 13:21 |
Last Modified: | 09 Dec 2014 13:21 |
URI: | http://eprints.adm.unipi.it/id/eprint/2187 |
Repository staff only actions
View Item |