Jinghua Groppe, Volker Linnemann



The satisfiability problem of queries is an important determinant in query optimization. The application of a satisfiability test can avoid the submission and the unnecessary evaluation of unsatisfiable queries, and thus save processing time and query costs. If an XPath query does not conform to constraints in a given schema, or constraints from the query itself are inconsistent with each other, the evaluation of the query will return an empty result for any valid XML document, and thus the query is unsatisfiable. Therefore, we propose a schema-based approach to filtering the XPath queries not conforming to the constraints in the schema and the XPath queries with conflicting constraints. We present a complexity analysis of our approach, which proves that our approach is efficient at typical cases. We present an experimental analysis of our prototype, which shows the optimization potential of avoiding the evaluation of unsatisfiable queries.


  1. Benedikt, M., Fan, W., Geerts, F., 2005. XPath satisfiability in the presence of DTDs. In PODS'05.
  2. Chan, C.Y., Fan, W., Zeng, Y, 2004. Taming XPath queries by minimizing wildcard steps. In VLDB'04.
  3. Fan, W., Chan, C., Garofalakis, M., 2004. Secure XML querying with security views. In SIGMOD'04.
  4. Fan, W., Yu, J.X., Lu, H., Lu, J., Zeng, Y., 2005. Query translation from XPath to SQL in the presence of recursive DTDs. In VLDB'05.
  5. Franceschet, M., 2005. XPathMark - An XPath benchmark for XMark. Research report PP-2005-04, University of Amsterdam.
  6. Groppe, S., Böttcher, S., Groppe, J, 2006. XPath query simplification with regard to the elimination of intersect and except operators. In XSDM'06 in association with ICDE'06.
  7. Groppe, J., Groppe, S., 2006a. Filtering unsatisfiabile XPath queries. In ICEIS'06.
  8. Groppe, J., Groppe, S., 2006b. A prototype of a schemabased XPath satisfiability tester. In DEXA'06.
  9. Groppe, J, Groppe, S., 2006c. Satisfiability-test, rewriting and refinement of users' XPath queries according to XML Schema definitions. In ADBIS'06.
  10. Groppe, J., Groppe, S., 2007. Filtering unsatisfiable XPath queries. Data Knowl. Eng. 64(1):134 - 169.
  11. Hammerschmidt, B.C., Kempa, M., Linnermann, V., 2005. The index update problem for XML data in XDBMS. In ICEIS'05.
  12. Hidders, J., 2003. Satisfiability of XPath expressions. In DBPL'03.
  13. Kwong, A., Gertz, M. 2002. Schema-based optimization of XPath expressions. Techn. Report, University of California.
  14. Lakshmanan, L., Ramesh, G., Wang, H., Zhao, Z., 2004. On testing satisfiability of tree pattern queries. In VLDB'04.
  15. Martens, W., Neven, F., 2004. Fronties of tractability for typechecking simple XML transformations. In VLDB'04.
  16. Olteanu, D., Meuss, H., Furche, T., Bry, F., 2002. XPath: looking forward. XML-Based Data Management (XMLDM), EDBT Workshops.
  17. University of Trier, 2007. Computer Science Bibliographie., 17th July 2007.
  18. Wadler, P., 2002. Two semantics for XPath. Tech. Report.
  19. W3C, 2004a. XML Schema part 1: Structures second edition. W3C Recommendation.
  20. W3C, 2004b. XML Schema part 2: Datatypes second edition”, W3C Recommendation.
  21. W3C, 1999. XPath version 1.0. W3C Recommendation.
  22. W3C, 2003. XPath Version 2.0. W3C Working Draft.

Paper Citation

in Harvard Style

Groppe J. and Linnemann V. (2008). DISCOVERING VEILED UNSATISFIABLE XPATH QUERIES . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-8111-36-4, pages 149-158. DOI: 10.5220/0001684301490158

in Bibtex Style

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

in EndNote Style

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS,
SN - 978-989-8111-36-4
AU - Groppe J.
AU - Linnemann V.
PY - 2008
SP - 149
EP - 158
DO - 10.5220/0001684301490158