Deciding XPath containment with MSO

@article{Genevs2007DecidingXC,
  title={Deciding XPath containment with MSO},
  author={Pierre Genev{\`e}s and Nabil Laya{\"i}da},
  journal={Data Knowl. Eng.},
  year={2007},
  volume={63},
  pages={108-136}
}
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath fragment covers most of the language features used in practice. Specifically, we show how XPath queries can be translated into equivalent formulas in monadic second-order logic. Using this translation, we construct an optimized logical formulation of the containment problem, which is decided using tree automata. When… CONTINUE READING
BETA

References

Publications referenced by this paper.
SHOWING 1-10 OF 40 REFERENCES

On the equivalence of XML patterns

  • P. T. Wood
  • CL ’00: Proceedings of the First International…
  • 2000
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…