UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

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

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.

[img] 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