{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:47:37Z","timestamp":1725511657603},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540788485"},{"type":"electronic","value":"9783540788492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78849-2_22","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T13:49:01Z","timestamp":1209390541000},"page":"202-213","source":"Crossref","is-referenced-by-count":0,"title":["A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice"],"prefix":"10.1007","author":[{"given":"Yu","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Yihua","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Xunhao","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Clark, J., DeRose, S.: XPath Version 1.0. W3C Recommendation (1999), http:\/\/www.w3.org\/TR\/xpath"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/962446.962448","volume":"51","author":"G. Miklau","year":"2004","unstructured":"Miklau, G., Suciu, D.: Containment and equivalence for a fragment of XPath. Journal of the ACM\u00a051(1), 2\u201345 (2004)","journal-title":"Journal of the ACM"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Wood, P.: Containment of XPath Fragments under DTD Constraints. In: Proceedings of Int. Conference on Database Theory (2003)","DOI":"10.1007\/3-540-36285-1_20"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"B\u00f6ttcher, S., Steinmetz, R.: A DTD Graph Based XPath Query Subsumption Test. In: Proceedings of XML Database Symposium at VLDB, Berlin, Germany (2003)","DOI":"10.1007\/978-3-540-39429-7_6"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/11733836_32","volume-title":"Database Systems for Advanced Applications","author":"Y. Liao","year":"2006","unstructured":"Liao, Y., Feng, J., Zhang, Y., Zhou, L.: Hidden Conditioned Homomorphism for XPath Fragment Containment. In: Li Lee, M., Tan, K.-L., Wuwongse, V. (eds.) DASFAA 2006. LNCS, vol.\u00a03882, pp. 454\u2013467. Springer, Heidelberg (2006)"},{"key":"22_CR6","unstructured":"Yoo, S., Son, J.H., Kim, M.H.: Maintaining Homomorphism Information of XPath Patterns. In: IASTED-DBA, pp. 192\u2013197 (2005)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/978-3-540-72524-4_84","volume-title":"Advances in Data and Web Management","author":"M. Fu","year":"2007","unstructured":"Fu, M., Zhang, Y.: Homomorphism Resolving of XPath Trees Based on Automata. In: Dong, G., Lin, X., Wang, W., Yang, Y., Yu, J.X. (eds.) APWeb\/WAIM 2007. LNCS, vol.\u00a04505, pp. 821\u2013828. Springer, Heidelberg (2007)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Fan, W., Geerts, F.: XPath Satisfiability in the Presence of DTDs. In: Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 25\u201336 (2005)","DOI":"10.1145\/1065167.1065172"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1145\/958942.958947","volume":"28","author":"Y. Diao","year":"2003","unstructured":"Diao, Y., Altinel, M., Franklin, M.J., et al.: Path Sharing and Predicate Evaluation for High-Performance XML Filtering. ACM TODS\u00a028(4), 467\u2013516 (2003)","journal-title":"ACM TODS"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Hidders, J.: Satisfiability of XPath expressions. In: Proceedings of the 9th International Workshop on Database Programming Languages, pp. 21\u201336 (2003)","DOI":"10.1007\/978-3-540-24607-7_3"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Lakshmanan, L., Ramesh, G., Wang, H., et al.: On testing astisfiablity of the tree pattern queries. In: VLDB (2004)","DOI":"10.1016\/B978-012088469-8.50014-0"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Marx, M.: XPath with conditional axis relations. In: EDBT (2004)","DOI":"10.1007\/978-3-540-24741-8_28"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11601524_8","volume-title":"Database Programming Languages","author":"F. Geerts","year":"2005","unstructured":"Geerts, F., Fan, W.: Satisfiability of XPath Queries with Sibling Axis. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol.\u00a03774, pp. 122\u2013137. Springer, Heidelberg (2005)"},{"key":"22_CR14","unstructured":"Xerces2 Java Parser 2.6.0., http:\/\/xerces.apache.org\/xerces2-j\/"},{"issue":"8","key":"22_CR15","first-page":"1514","volume":"27","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y., Wu, N.: XSIEQ - An XML Stream Query System with immediate Evaluation. Mini-Micro Systems\u00a027(8), 1514\u20131518 (2006)","journal-title":"Mini-Micro Systems"},{"key":"22_CR16","unstructured":"Sax Project Organization, SAX: Simple API for XML. (2001), http:\/\/www.saxproject.org"},{"key":"22_CR17","unstructured":"Schmidt, A., Waas, F., et al.: A Benchmark for XML Data Management. In: Proceedings of the 28th VLDB Conference, Hongkong, China (2002)"}],"container-title":["Lecture Notes in Computer Science","Progress in WWW Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78849-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:02:17Z","timestamp":1619521337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78849-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540788485","9783540788492"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78849-2_22","relation":{},"subject":[]}}