Weak Inclusion for Recursive XML Types - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Weak Inclusion for Recursive XML Types

Abstract

Considering that the unranked tree languages L(G) and L(G') are those defined by given possibly-recursive XML types G and G' , this paper proposes a method to verify whether L(G) is "approximatively" included in L(G'). The approximation consists in weakening the father-children relationships. Experimental results are discussed, showing the efficiency of our method in many situations.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00701201 , version 1 (24-05-2012)

Identifiers

  • HAL Id : hal-00701201 , version 1

Cite

Pierre Réty, Jacques Chabin, Joshua Amavi. Weak Inclusion for Recursive XML Types. CIAA - 2012, Jul 2012, Porto, Portugal. pp.78-89. ⟨hal-00701201⟩
54 View
0 Download

Share

Gmail Facebook X LinkedIn More