Filtering unsatisfiable XPath queries

ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

Volumn DISI, Issue , 2006, Pages 157-162

  Groppe, Jinghua ^a   Groppe, Sven ^a  

^a UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

Queries; Query optimization; Satisfiability tester; XML; XPath

Indexed keywords

AUTOMATIC OPTIMIZATION; DATA-BASE MANAGEMENT SYSTEMS; QUERY ENGINES; QUERY OPTIMIZATION; SATISFIABILITY PROBLEMS; SATISFIABILITY TESTER; SCHEMA-BASED APPROACH; SEMANTIC ERRORS; USER NEED; XML QUERY LANGUAGE; XPATH QUERIES;

ERRORS; MANAGEMENT INFORMATION SYSTEMS; MARKUP LANGUAGES; OPTIMIZATION; QUERY LANGUAGES; RELATIONAL DATABASE SYSTEMS; SEMANTICS; XML;

INFORMATION SYSTEMS;

EID: 77953895093     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

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, www.w3.org/TR/xpath/.
22. W3C, 2003. XML Path Language (XPath) Version 2.0, W3C Working Draft, www.w3.org/TR/xpath20/.
23. W3C, 1998. Extensible Markup Language (XML) 1.0. W3C Recommendation, www.w3.org/TR/REC-xml.
24. W3C, 2004. XML Schema Part 1: Structures Second Edition. W3C Recommendation, www.w3.org/TR/xmlschema-1.