Jinghua Groppe, Sven Groppe



Empty results of queries are a hint for semantic errors in users’ queries, and erroneous and unoptimized queries can lead to highly inefficient processing of queries. For manual optimization, which is prone to errors, a user needs to be familiar with the schema of the queried data and with implementation details of the used query engine. Thus, automatic optimization techniques have been developed and have been used for decades in database management systems for the deductive and relational world. We focus on the satisfiability problem for the queries formulated in the XML query language XPath. We propose a schema-based approach to check whether or not an XPath query conforms to the constraints given in the schema in order to detect semantic errors, and in order to avoid unnecessary evaluations of unsatisfiable queries.


  1. S. Amer-Uahis, S. Cho, L.K.S. Laksmanan, D. Srivastava, 2001. Mininization of tree pattern queries. In SIGMOD'01.
  2. M. Benedikt, W. Fan and G. M. Kuper, 2003. Structural properties of XPath fragments. In ICDT'03.
  3. M. Benedikt, W. Fan and F. Geerts, 2005. XPath Satisfiability in the presence of DTDs. In PODS'03.
  4. N. Bruno, N. Koudas, and D. Srivastava, 2002. Holistic twig joins: optimal XML pattern matching. In SIGMOD'02.
  5. C.Y. Chan, W. Fan, and Y. Zeng, 2004. Taming XPath Queries by Minimizing Wildcard Steps. In VLDB'04.
  6. G. Gottlob, C. Koch, and R. Pichler, 2002. Efficient Algorithms for Processing XPath Queries. In VLDB'02.
  7. S. Groppe, 2005. XML Query Reformulation for XPath, XSLT and XQuery. Sierke-Verlag, Göttingen, Germany. ISBN 3-933893-24-0.
  8. S. Groppe, S. Böttcher and J. Groppe, 2006. XPath Query Simplification with regard to the Elimination of Intersect and Except Operators. In XSDM'06 in conjunction with ICDE'06.
  9. J. Hidders, 2003. Satisfiability of XPath Expressions, DBPL'03, LNCS 2921, pp. 21 - 36.
  10. H. Jiang, W. Wang, H. Lu and J. X. Yu, 2003. Holistic twig joins on indexed XML documents. In VLDB'03.
  11. L. Lakshmanan, G. Ramesh, H. Wang and X. Zhao, 2004. On Testing Satisfiability of Tree Pattern Queries. In VLDB'04.
  12. A. Kwong and M. Gertz, 2002. Schema-based optimization of XPath expressions. Techn. Report University of California, California, USA.
  13. G. Miklau and D. Suciu, 2002. Containment and equivalence for an XPath fragment. In PODS'02.
  14. D. Olteanu, H. Meuss, T. Furche, and F. Bry, 2002. XPath: Looking Forward, XML-Based Data Management (XMLDM), EDBT Workshops.
  15. P. Ramanan, 2002. Efficient algorithms for minimizing tree pattern queries. In SIGMOD'02.
  16. P. Rao and B. Moon, 2004. PRIX: indexing and querying XML using Prufer sequences. In ICDE'04.
  17. D.A. Schmidt, 1994. The structure of Typed programming languages. MIT Press, Cambridge, MA, USA.
  18. P. Wadler, 2000. Two semantics for XPath. Tech. Report.
  19. H. Wang, S. Park, W. Fan and P.S. Yu, 2003. ViST: a dynamic index method for querying XML data by tree structures. In SIGMOD'03.
  20. P. T. Wood, 2000. On the equivalence of XML patterns. In LNCS 1861, pages 1152-1166. Springer.
  21. W3C, 1999. XML Path Language (XPath) Version 1.0, W3C Recommendation,
  22. W3C, 2003. XML Path Language (XPath) Version 2.0, W3C Working Draft,
  23. W3C, 1998. Extensible Markup Language (XML) 1.0. W3C Recommendation,
  24. W3C, 2004. XML Schema Part 1: Structures Second Edition. W3C Recommendation,

Paper Citation

in Harvard Style

Groppe J. and Groppe S. (2006). FILTERING UNSATISFIABLE XPATH QUERIES . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-972-8865-41-2, pages 157-162. DOI: 10.5220/0002465001570162

in Bibtex Style

author={Jinghua Groppe and Sven Groppe},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS,},

in EndNote Style

JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS,
SN - 978-972-8865-41-2
AU - Groppe J.
AU - Groppe S.
PY - 2006
SP - 157
EP - 162
DO - 10.5220/0002465001570162