{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:49Z","timestamp":1750307269065,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T00:00:00Z","timestamp":1300665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,3,21]]},"DOI":"10.1145\/1938551.1938572","type":"proceedings-article","created":{"date-parts":[[2011,2,8]],"date-time":"2011-02-08T13:21:09Z","timestamp":1297171269000},"page":"150-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Satisfiability algorithms for conjunctive queries over trees"],"prefix":"10.1145","author":[{"given":"James","family":"Cheney","sequence":"first","affiliation":[{"name":"LFCS, University of Edinburgh"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,3,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11916277_35"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_37"},{"key":"e_1_3_2_1_4_1","volume-title":"Destabilizers and independence of XML updates. PVLDB, 3(1)","author":"Benedikt M.","year":"2010","unstructured":"M. Benedikt and J. Cheney . Destabilizers and independence of XML updates. PVLDB, 3(1) , 2010 . To appear. M. Benedikt and J. Cheney. Destabilizers and independence of XML updates. PVLDB, 3(1), 2010. To appear."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346330.1346333"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1456650.1456653"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75987-4_5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85238-4_10"},{"key":"e_1_3_2_1_9_1","volume-title":"XML path language (XPath) version 1.0. W3C recommendation","author":"Clark J.","year":"1999","unstructured":"J. Clark and S. DeRose . XML path language (XPath) version 1.0. W3C recommendation , World Wide Web Consortium , 1999 . J. Clark and S. DeRose. XML path language (XPath) version 1.0. W3C recommendation, World Wide Web Consortium, 1999."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_11_1","volume-title":"August","author":"Dutertre B.","year":"2006","unstructured":"B. Dutertre and L. de Moura . The Yices SMT solver. Tool paper at http:\/\/yices.csl.sri.com\/tool-paper.pdf , August 2006 . B. Dutertre and L. de Moura. The Yices SMT solver. Tool paper at http:\/\/yices.csl.sri.com\/tool-paper.pdf, August 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1618539"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2006.11.003"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250773"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1412331.1412341"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1131342.1131345"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/IDEAS.2005.39"},{"key":"e_1_3_2_1_18_1","volume-title":"DBPL","author":"Hidders J.","year":"2003","unstructured":"J. Hidders . Satisfiability of XPath expressions . In DBPL , 2003 . J. Hidders. Satisfiability of XPath expressions. In DBPL, 2003."},{"key":"e_1_3_2_1_20_1","first-page":"120","volume-title":"M. A. Nascimento, M. T. \u00d6zsu","author":"Lakshmanan L. V. S.","year":"2004","unstructured":"L. V. S. Lakshmanan , G. Ramesh , H. Wang , and Z. J. Zhao . On testing satisfiability of tree pattern queries . In M. A. Nascimento, M. T. \u00d6zsu , D. Kossmann, R. J. Miller, J. A. Blakeley, and K. B. Schiefer, editors, VLDB, pages 120 -- 131 . Morgan Kaufmann , 2004 . L. V. S. Lakshmanan, G. Ramesh, H. Wang, and Z. J. Zhao. On testing satisfiability of tree pattern queries. In M. A. Nascimento, M. T. \u00d6zsu, D. Kossmann, R. J. Miller, J. A. Blakeley, and K. B. Schiefer, editors, VLDB, pages 120--131. Morgan Kaufmann, 2004."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1206049.1206052"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646146.678868"},{"key":"e_1_3_2_1_24_1","volume-title":"MIT","author":"Stockmeyer L.","year":"1974","unstructured":"L. Stockmeyer . The Complexity of Decision Problems in Automata Theory and Logic. Technical report , MIT , 1974 . L. Stockmeyer. The Complexity of Decision Problems in Automata Theory and Logic. Technical report, MIT, 1974."}],"event":{"name":"EDBT\/ICDT '11: EDBT\/ICDT '11 joint conference","acronym":"EDBT\/ICDT '11","location":"Uppsala Sweden"},"container-title":["Proceedings of the 14th International Conference on Database Theory"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1938551.1938572","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1938551.1938572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:55Z","timestamp":1750243975000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1938551.1938572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,21]]},"references-count":23,"alternative-id":["10.1145\/1938551.1938572","10.1145\/1938551"],"URL":"https:\/\/doi.org\/10.1145\/1938551.1938572","relation":{},"subject":[],"published":{"date-parts":[[2011,3,21]]},"assertion":[{"value":"2011-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}