{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:23:25Z","timestamp":1725470605864},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378716"},{"type":"electronic","value":"9783540378723"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11827405_10","type":"book-chapter","created":{"date-parts":[[2006,9,18]],"date-time":"2006-09-18T11:44:55Z","timestamp":1158579895000},"page":"93-103","source":"Crossref","is-referenced-by-count":7,"title":["A Prototype of a Schema-Based XPath Satisfiability Tester"],"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":"10_CR1","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":"10_CR2","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":"10_CR3","volume-title":"XML Query Reformulation for XPath, XSLT and XQuery","author":"S. Groppe","year":"2005","unstructured":"Groppe, S.: XML Query Reformulation for XPath, XSLT and XQuery. Sierke-Verlag, G\u00f6ttingen (2005)"},{"key":"10_CR4","unstructured":"Groppe, J., Groppe, S.: Filtering Unsatisfiabile XPath Queries. In: ICEIS 2006, Paphos-Cyprus (2006)"},{"key":"10_CR5","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 in association with ICDE 2006 (2006)","DOI":"10.1109\/ICDEW.2006.165"},{"key":"10_CR6","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":"10_CR7","unstructured":"Kwong, A., Gertz, M.: Schema-based optimization of XPath expressions. Techn. Report University of California (2002)"},{"key":"10_CR8","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":"10_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-36128-6_7","volume-title":"XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops","author":"D. Olteanu","year":"2002","unstructured":"Olteanu, D., Meuss, H., Furche, T., Bry, F.: XPath: Looking forward. In: Chaudhri, A.B., Unland, R., Djeraba, C., Lindner, W. (eds.) EDBT 2002, vol.\u00a02490, pp. 109\u2013127. Springer, Heidelberg (2002)"},{"key":"10_CR10","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":"10_CR11","unstructured":"Wadler, P.: Two semantics for XPath. Tech. Report (2000)"},{"key":"10_CR12","unstructured":"W3C: XML Schema Part 1: Structures Second Edition. W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/xmlschema-1"},{"key":"10_CR13","unstructured":"W3C: XPath Version 1.0, W3C Recommendation (1999), http:\/\/www.w3.org\/TR\/xpath\/"},{"key":"10_CR14","unstructured":"W3C: XPath Version 2.0, W3C Working Draft (2003), http:\/\/www.w3.org\/TR\/xpath20\/"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11827405_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:17:47Z","timestamp":1605626267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11827405_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378716","9783540378723"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11827405_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}