Satisfiability-test, rewriting and refinement of users' XPath queries according to XML schema definitions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4152 LNCS, Issue , 2006, Pages 22-38

  Groppe, Jinghua ^a   Groppe, Sven ^a  

^a UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATA STRUCTURES; INFORMATION RETRIEVAL; OPTIMIZATION; SEMANTICS; SYNTACTICS; XML;

SEMANTIC ERRORS; TRANSPORTATION COSTS; XPATH QUERIES;

QUERY LANGUAGES;

EID: 33750051653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11827252_5     Document Type: Conference Paper

References (23)

1. S. Amer-Uahis, S. Cho, L.K.S. Laksmanan, D. Srivastava: Minimization of tree pattern queries. In SIGMOD 2001.
2. M. Benedikt, W. Fan, F. Geerts: XPath Satisfiability in the presence of DTDs. In PODS 2005.
3. A. Brown, M. Fuchs, J. Robie, P. Wadler: MSL: A model for W3C XML Schema. In Proceedings International WWW Conference, Hong-Kong, 2001.
4. C.Y. Chan, W. Fan, Y. Zeng: Taming XPath Queries by Minimizing Wildcard Steps. In VLDB 2004.
5. W. Fan, C. Chan, M. Garofalakis: Secure XML querying with security views. In SIGMOD 2004.
6. W. Fan, J.X. Yu, H. Lu, J. Lu, Y. Zeng: Query Translation from XPath to SQL in the Presence of Recursive DTDs. In VLDB 2005.
7. M. Franceschet: XPathMark - An XPath benchmark for XMark. Research report PP-2005-04, University of Amsterdam, the Netherlands. 2005.
8. S. Groppe: XML Query Reformulation for XPath, XSLT and XQuery. Sierke-Verlag, Göttingen, Germany, 2005. ISBN 3-933893-24-0.
9. J. Groppe, S. Groppe: A Prototype of a Schema-based XPath Satisfiability Tester. In DEXA 2006.
10. J. Groppe, S. Groppe: Filtering Unsatisfiabile XPath Queries. In ICEIS 2006.
11. S. Groppe, S. Böttcher and J. Groppe: XPath Query Simplification with regard to the Elimination of Intersect and Except Operators. In XSDM'06.
12. J. Hidders: Satisfiability of XPath Expressions. DBPL 2003. LNCS 2921, pp. 21-36.
13. A. Kwong, M. Gertz: Schema-based optimization of XPath expressions. Techn. Report University of California, 2002.
14. L. Lakshmanan, G. Ramesh, H. Wang, Z. Zhao: On Testing Satisfiability of Tree Pattern Queries. In VLDB 2004.
15. W. Martens, F. Neven: Fronties of tractability for typechecking simple XML transformations. In VLDB 2004.
16. D. Olteanu, H. Meuss, T. Furche, F. Bry : XPath: Looking Forward. XML-Based Data Management (XMLDM), EDBT Workshops. 2002.
17. P. Ramanan: Efficient algorithms for minimizing tree pattern queries. In SIGMOD 2002.
18. D.A. Schmidt: The structure of Typed programming languages. MIT Press, Cambridge, MA, USA. 1994.
19. P. Wadler: Two semantics for XPath. Tech. Report. 2000.
20. P.T. Wood: Minimising Simple XPath Expressions. In WebDB 2001.
21. W3C: XML Schema Part 1: Structures Second Edition. W3C Recommendation, www.w3.org/TR/xmlschema-1, 2004.
22. W3C: XPath Version 1.0, W3C Recommendation, www.w3.org/TR/xpath/, 1999.
23. W3C: XPath Version 2.0, W3C Working Draft, www.w3.org/TR/xpath20/, 2003.