Containment for Conditional Tree Patterns

Alessandro Facchini,Yoichi Hirai,Maarten Marx,Evgeny Sherkhonov
DOI: https://doi.org/10.2168/lmcs-11(2:4)2015
2015-06-09
Logical Methods in Computer Science
Abstract:<p>A Conditional Tree Pattern (CTP) expands an XML tree pattern with labelsattached to the descendant edges. These labels can be XML element names orBoolean CTPs. The meaning of a descendant edge labelled by A and ending in anode labelled by B is a path of child steps ending in a B node such that allintermediate nodes are A nodes. In effect this expresses the until B, A holdsconstruction from temporal logic.This paper studies the containment problem forCTP. For tree patterns (TP), this problem is known to be coNP-complete. We showthat it is PSPACE-complete for CTP. This increase in complexity is due to thefact that CTP is expressive enough to encode an unrestricted form of labelnegation: ${*}\setminus a$, meaning "any node except an a-node". Containment ofTP expanded with this type of negation is already PSPACE-hard. CTP is apositive, forward, first order fragment of Regular XPath. Unlike TP, CTPexpanded with disjunction is not equivalent to unions of CTP's. Like TP, CTP isa natural fragment to consider: CTP is closed under intersections and CTP withdisjunction is equally expressive as positive existential first order logicexpanded with the until operator.</p>
computer science, theory & methods,logic
What problem does this paper attempt to address?