{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T11:57:16Z","timestamp":1791115036381,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,13]]},"DOI":"10.1145\/1065167.1065172","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["XPath satisfiability in the presence of DTDs"],"prefix":"10.1145","author":[{"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[{"name":"Bell Laboratories"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenfei","family":"Fan","sequence":"additional","affiliation":[{"name":"Univ. of Edinburgh & Bell Labs"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Floris","family":"Geerts","sequence":"additional","affiliation":[{"name":"Univ. of Limburg & Univ. of Edinburgh"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/375663.375730"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/645505.656448"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/274784.273625"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-002-0077-6"},{"key":"e_1_3_2_1_6_1","volume-title":"Nov.","author":"Clark J.","year":"1999","unstructured":"J. Clark and S. DeRose . XML Path Language (XPath). W3C Recommendation , Nov. 1999 . J. Clark and S. DeRose. XML Path Language (XPath). W3C Recommendation, Nov. 1999."},{"key":"e_1_3_2_1_7_1","volume-title":"KRDB","author":"Deutsch A.","year":"2001","unstructured":"A. Deutsch and V. Tannen . Containment for classes of XPath expressions under integrity constraints . In KRDB , 2001 . A. Deutsch and V. Tannen. Containment for classes of XPath expressions under integrity constraints. In KRDB, 2001."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007634"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287369.1287379"},{"key":"e_1_3_2_1_10_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_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/574901"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/648294.754680"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1316689.1316702"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055563"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24741-8_28"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/962446.962448"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335171"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/375551.375569"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335217"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/645505.756490"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646146.678868"},{"key":"e_1_3_2_1_22_1","volume-title":"Computational Complexity","author":"Papadimitriou C. H.","year":"1994","unstructured":"C. H. Papadimitriou . Computational Complexity . Addison-Wesley , 1994 . C. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007579"},{"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 thoery and logic. Technical report , MIT , 1974 . L. Stockmeyer. The complexity of decision problems in automata thoery and logic. Technical report, MIT, 1974."},{"key":"e_1_3_2_1_25_1","volume-title":"PLAN-X","author":"Sur G.","year":"2004","unstructured":"G. Sur , J. Hammer , and J. Sim\u00e9on . An XQuery-based language for processing updates in XML . In PLAN-X , 2004 . G. Sur, J. Hammer, and J. Sim\u00e9on. An XQuery-based language for processing updates in XML. In PLAN-X, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01691346"},{"key":"e_1_3_2_1_27_1","volume-title":"WebDB","author":"Wood P. T.","year":"2001","unstructured":"P. T. Wood . Minimising simple XPath expressions . In WebDB , 2001 . P. T. Wood. Minimising simple XPath expressions. In WebDB, 2001."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/645505.656434"}],"event":{"name":"SIGMOD\/PODS05: International Conference on Management of Data and Symposium on Principles Database and Systems","location":"Baltimore Maryland","acronym":"SIGMOD\/PODS05","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065167.1065172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:15:19Z","timestamp":1703186119000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065167.1065172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,13]]},"references-count":28,"alternative-id":["10.1145\/1065167.1065172","10.1145\/1065167"],"URL":"https:\/\/doi.org\/10.1145\/1065167.1065172","relation":{},"subject":[],"published":{"date-parts":[[2005,6,13]]},"assertion":[{"value":"2005-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}