{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:47:02Z","timestamp":1725565622608},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156830"},{"type":"electronic","value":"9783642156847"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15684-7_4","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T02:16:37Z","timestamp":1284516997000},"page":"33-47","source":"Crossref","is-referenced-by-count":4,"title":["Extending the Tractability Results on XPath Satisfiability with Sibling Axes"],"prefix":"10.1007","author":[{"given":"Yasunori","family":"Ishihara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shogo","family":"Shimizu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toru","family":"Fujiwara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. In: Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 25\u201336 (2005)","DOI":"10.1145\/1065167.1065172"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. Journal of the ACM\u00a055(2) (2008)","DOI":"10.1145\/1346330.1346333"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1145\/1185877.1185882","volume":"24","author":"P. Genev\u00e8s","year":"2006","unstructured":"Genev\u00e8s, P., Laya\u00efda, N.: A system for the static analysis of XPath. ACM Transactions on Information Systems\u00a024(4), 475\u2013502 (2006)","journal-title":"ACM Transactions on Information Systems"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.datak.2006.11.003","volume":"63","author":"P. Genev\u00e8s","year":"2007","unstructured":"Genev\u00e8s, P., Laya\u00efda, N.: Deciding XPath containment with MSO. Data & Knowledge Engineering\u00a063(1), 108\u2013136 (2007)","journal-title":"Data & Knowledge Engineering"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Genev\u00e8s, P., Laya\u00efda, N., Schmitt, A.: Efficient static analysis of XML paths and types. In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, pp. 342\u2013351 (2007)","DOI":"10.1145\/1250734.1250773"},{"issue":"4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1145\/1111627.1111631","volume":"5","author":"M. Murata","year":"2005","unstructured":"Murata, M., Lee, D., Mani, M., Kawaguchi, K.: Taxonomy of XML schema languages using formal language theory. ACM Transactions on Internet Technology\u00a05(4), 660\u2013704 (2005)","journal-title":"ACM Transactions on Internet Technology"},{"key":"4_CR7","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 axes. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol.\u00a03774, pp. 122\u2013137. Springer, Heidelberg (2005)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Figueira, D.: Satisfiability of downward XPath with data equality tests. In: Proceedings of the 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 197\u2013206 (2009)","DOI":"10.1145\/1559795.1559827"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-75288-2_3","volume-title":"Database and XML Technologies","author":"M. Montazerian","year":"2007","unstructured":"Montazerian, M., Wood, P.T., Mousavi, S.R.: XPath query satisfiability is in PTIME for real-world DTDs. In: Barbosa, D., Bonifati, A., Bellahs\u00e8ne, Z., Hunt, E., Unland, R. (eds.) XSym 2007. LNCS, vol.\u00a04704, pp. 17\u201330. Springer, Heidelberg (2007)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Suzuki, N., Fukushima, Y.: Satisfiability of simple XPath fragments in the presence of DTD. In: Proceedings of the 11th International Workshop on Web Information and Data Management, pp. 15\u201322 (2009)","DOI":"10.1145\/1651587.1651594"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-03793-1_5","volume-title":"Database Programming Languages","author":"Y. Ishihara","year":"2009","unstructured":"Ishihara, Y., Morimoto, T., Shimizu, S., Hashimoto, K., Fujiwara, T.: A tractable subclass of DTDs for XPath satisfiability with sibling axes. In: Gardner, P., Geerts, F. (eds.) Database Programming Languages. LNCS, vol.\u00a05708, pp. 68\u201383. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Database and XML Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15684-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T17:27:33Z","timestamp":1553102853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15684-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156830","9783642156847"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15684-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}