Bounded Repairability for Regular Tree Languages - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Database Systems Year : 2016

Bounded Repairability for Regular Tree Languages

Pierre Bourhis
Cristian Riveros
  • Function : Author
  • PersonId : 960965
Slawomir Staworko

Abstract

We study the problem of bounded repairability of a given restriction tree language R into a target tree language T. More precisely, we say that R is bounded repairable w.r.t. T if there exists a bound on the number of standard tree editing operations necessary to apply to any tree in R in order to obtain a tree in T. We consider a number of possible specifications for tree languages: bottom-up tree automata (on curry encoding of unranked trees) that capture the class of XML Schemas and DTDs. We also consider a special case when the restriction language R is universal, i.e., contains all trees over a given alphabet. We give an effective characterization of bounded repairability between pairs of tree languages represented with automata. This characterization introduces two tools, synopsis trees and a coverage relation between them, allowing one to reason about tree languages that undergo a bounded number of editing operations. We then employ this characterization to provide upper bounds to the complexity of deciding bounded repairability and we show that these bounds are tight. In particular, when the input tree languages are specified with arbitrary bottom-up automata, the problem is coNEXPTIME-complete. The problem remains coNEXPTIME-complete even if we use deterministic non-recursive DTDs to specify the input languages. The complexity of the problem can be reduced if we assume that the alphabet, the set of node labels, is fixed: the problem becomes PSPACE-complete for non-recursive DTDs and coNP-complete for deterministic non-recursive DTDs. Finally, when the restriction tree language R is universal, we show that the bounded repairability problem becomes EXPTIME-complete if the target language is specified by an arbitrary bottom-up tree automaton and becomes tractable (PTIME-complete, in fact) when a deterministic bottom-up automaton is used.
Fichier principal
Vignette du fichier
TODS 2016.pdf (615.94 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01411116 , version 1 (07-12-2016)

Identifiers

Cite

Pierre Bourhis, Cristian Riveros, Slawomir Staworko, Gabriele Puppis. Bounded Repairability for Regular Tree Languages. ACM Transactions on Database Systems, 2016, 41 (3), pp.1-45. ⟨10.1145/2898995⟩. ⟨hal-01411116⟩
386 View
101 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More