Containment of pattern-based queries over data trees


We study static analysis, in particular the containment problem, for analogs of conjunctive queries over XML documents. The problem has been studied for queries based on arbitrary patterns, not necessarily following the tree structure of documents. However, many applications force the syntactic shape of queries to be tree-like, as they are based on proper… (More)
DOI: 10.1145/2448496.2448521


Cite this paper

@inproceedings{David2013ContainmentOP, title={Containment of pattern-based queries over data trees}, author={Claire David and Am{\'e}lie Gheerbrant and Leonid Libkin and Wim Martens}, booktitle={ICDT}, year={2013} }