{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:15:59Z","timestamp":1742386559528},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378990"},{"type":"electronic","value":"9783540379003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11827252_5","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T13:28:24Z","timestamp":1156512504000},"page":"22-38","source":"Crossref","is-referenced-by-count":7,"title":["Satisfiability-Test, Rewriting and Refinement of Users\u2019 XPath Queries According to XML Schema Definitions"],"prefix":"10.1007","author":[{"given":"Jinghua","family":"Groppe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Groppe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Amer-Uahis, S., Cho, S., Laksmanan, L.K.S., Srivastava, D.: Minimization of tree pattern queries. In: SIGMOD 2001 (2001)","DOI":"10.1145\/375663.375730"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Fan, W., Geerts, F.: XPath Satisfiability in the presence of DTDs. In: PODS 2005 (2005)","DOI":"10.1145\/1065167.1065172"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Brown, A., Fuchs, M., Robie, J., Wadler, P.: MSL: A model for W3C XML Schema. In: Proceedings International WWW Conference, Hong-Kong (2001)","DOI":"10.1145\/371920.371982"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Chan, C.Y., Fan, W., Zeng, Y.: Taming XPath Queries by Minimizing Wildcard Steps. In: VLDB 2004 (2004)","DOI":"10.1016\/B978-012088469-8.50017-6"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Fan, W., Chan, C., Garofalakis, M.: Secure XML querying with security views. In: SIGMOD 2004 (2004)","DOI":"10.1145\/1007568.1007634"},{"key":"5_CR6","unstructured":"Fan, W., Yu, J.X., Lu, H., Lu, J., Zeng, Y.: Query Translation from XPath to SQL in the Presence of Recursive DTDs. In: VLDB 2005 (2005)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Franceschet, M.: XPathMark \u2013 An XPath benchmark for XMark. Research report PP-2005-04, University of Amsterdam, the Netherlands (2005)","DOI":"10.1007\/11547273_10"},{"key":"5_CR8","unstructured":"Groppe, S.: XML Query Reformulation for XPath, XSLT and XQuery. Sierke-Verlag, G\u00f6ttingen, Germany (2005) ISBN 3-933893-24-0"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11827405_10","volume-title":"Database and Expert Systems Applications","author":"J. Groppe","year":"2006","unstructured":"Groppe, J., Groppe, S.: A Prototype of a Schema-Based XPath Satisfiability Tester. In: Bressan, S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2006. LNCS, vol.\u00a04080, pp. 93\u2013103. Springer, Heidelberg (2006)"},{"key":"5_CR10","unstructured":"Groppe, J., Groppe, S.: Filtering Unsatisfiabile XPath Queries. In: ICEIS 2006 (2006)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Groppe, S., B\u00f6ttcher, S., Groppe, J.: XPath Query Simplification with regard to the Elimination of Intersect and Except Operators. In: XSDM 2006 (2006)","DOI":"10.1109\/ICDEW.2006.165"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-24607-7_3","volume-title":"Database Programming Languages","author":"J. Hidders","year":"2004","unstructured":"Hidders, J.: Satisfiability of xPath expressions. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 21\u201336. Springer, Heidelberg (2004)"},{"key":"5_CR13","unstructured":"Kwong, A., Gertz, M.: Schema-based optimization of XPath expressions. Techn. Report University of California (2002)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Lakshmanan, L., Ramesh, G., Wang, H., Zhao, Z.: On Testing Satisfiability of Tree Pattern Queries. In: VLDB 2004 (2004)","DOI":"10.1016\/B978-012088469-8.50014-0"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Martens, W., Neven, F.: Fronties of tractability for typechecking simple XML transformations. In: VLDB 2004 (2004)","DOI":"10.1145\/1055558.1055563"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Olteanu, D., Meuss, H., Furche, T., Bry, F.: XPath: Looking Forward. XML-Based Data Management (XMLDM), EDBT Workshops (2002)","DOI":"10.1007\/3-540-36128-6_7"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Ramanan, P.: Efficient algorithms for minimizing tree pattern queries. In: SIGMOD 2002 (2002)","DOI":"10.1145\/564691.564726"},{"key":"5_CR18","volume-title":"The structure of Typed programming languages","author":"D.A. Schmidt","year":"1994","unstructured":"Schmidt, D.A.: The structure of Typed programming languages. MIT Press, Cambridge (1994)"},{"key":"5_CR19","unstructured":"Wadler, P.: Two semantics for XPath. Tech. Report (2000)"},{"key":"5_CR20","unstructured":"Wood, P.T.: Minimising Simple XPath Expressions. In: WebDB 2001 (2001)"},{"key":"5_CR21","unstructured":"W3C: XML Schema Part 1: Structures Second Edition. W3C Recommendation (2004), www.w3.org\/TR\/xmlschema-1"},{"key":"5_CR22","unstructured":"W3C: XPath Version 1.0, W3C Recommendation (1999), www.w3.org\/TR\/xpath\/"},{"key":"5_CR23","unstructured":"W3C: XPath Version 2.0, W3C Working Draft (2003), www.w3.org\/TR\/xpath20\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11827252_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:17:47Z","timestamp":1605644267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11827252_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378990","9783540379003"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11827252_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}