{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:55:40Z","timestamp":1742403340278},"reference-count":23,"publisher":"Elsevier","isbn-type":[{"value":"9780120884698","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1016\/b978-012088469-8.50014-0","type":"book-chapter","created":{"date-parts":[[2009,11,6]],"date-time":"2009-11-06T09:12:29Z","timestamp":1257498749000},"page":"120-131","source":"Crossref","is-referenced-by-count":30,"title":["On Testing Satisfiability of Tree Pattern Queries"],"prefix":"10.1016","author":[{"given":"Laks V.S.","family":"Lakshmanan","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Ramesh","sequence":"additional","affiliation":[]},{"given":"Hui(wendy)","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Zheng(Jessica)","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-012088469-8.50014-0_bib1","series-title":"ACM SIGMOD Conference","article-title":"Minimization of tree pattern queries","author":"Sihem","year":"2001"},{"key":"10.1016\/B978-012088469-8.50014-0_bib2","series-title":"32nd ACL Conference","article-title":"On determining the consistency of partial descriptions of trees","author":"Cornell","year":"1994"},{"key":"10.1016\/B978-012088469-8.50014-0_bib3","article-title":"Xquery 1.0 and xpath 2.0 formal semantics","author":"Draper","year":"2002","journal-title":"Technical report, W3C"},{"key":"10.1016\/B978-012088469-8.50014-0_bib4","article-title":"Xquery 1.0 and xpath 2.0 data model","author":"Fernandez","year":"2002","journal-title":"Technical report, W3C"},{"key":"10.1016\/B978-012088469-8.50014-0_bib5","series-title":"DBPL","article-title":"Satisfiability of xpath expressions","author":"Hidders","year":"2003"},{"key":"10.1016\/B978-012088469-8.50014-0_bib6","doi-asserted-by":"crossref","DOI":"10.1007\/s00778-002-0081-x","article-title":"Timber: A native xml database","author":"Jagadish","year":"2002","journal-title":"VLDB Journal"},{"key":"10.1016\/B978-012088469-8.50014-0_bib7","series-title":"9th International Workshop on Database programming Languages (DBPL)","article-title":"Xpath query processing","author":"Koch","year":"2003"},{"key":"10.1016\/B978-012088469-8.50014-0_bib8","series-title":"ACM PODS Conference","article-title":"Equivalence, query-reachability, and satisfiability in datalog extensions","author":"Levy","year":"1993"},{"key":"10.1016\/B978-012088469-8.50014-0_bib9","unstructured":"G. M. Kuper et al. Structural properties of xpath fragments. In ICDT 2003."},{"key":"10.1016\/B978-012088469-8.50014-0_bib10","doi-asserted-by":"crossref","unstructured":"M. Kutz and M. Brodirsky. Pure dominance constraints. In STACS 2002.","DOI":"10.1007\/3-540-45841-7_23"},{"key":"10.1016\/B978-012088469-8.50014-0_bib11","article-title":"On Testing Satisfiability of Tree Pattern Queries","author":"Laks V.S.","year":"2004"},{"key":"10.1016\/B978-012088469-8.50014-0_bib12","series-title":"PODS","article-title":"Containment and equivalent for an xpath fragment","author":"Miklau","year":"2002"},{"key":"10.1016\/B978-012088469-8.50014-0_bib13","series-title":"Xpath containment in the presence of disjunction, dtds and variables","author":"Neven","year":"2003"},{"key":"10.1016\/B978-012088469-8.50014-0_bib14","series-title":"ACM PODS Conference","article-title":"DTD Inferencefor Views of XML Data","author":"Papakonstantinou","year":"2000"},{"key":"10.1016\/B978-012088469-8.50014-0_bib15","series-title":"ACM PODS Conference","article-title":"The complexity of xpath query evaluation","author":"Pichler","year":"2003"},{"key":"10.1016\/B978-012088469-8.50014-0_bib16","series-title":"ACL Conference","article-title":"Reasoning with descriptions of trees","author":"Rogers","year":"1992"},{"key":"10.1016\/B978-012088469-8.50014-0_bib17","series-title":"VLDB Conference","article-title":"Relational databases for querying xml documents: Limitations and opportunities","author":"Shanmugasundaram","year":"1999"},{"key":"10.1016\/B978-012088469-8.50014-0_bib18","unstructured":"V. Tannen and A. Deutsch. Containment and integrity constraints for xpath fragments. In 8th KRDB, 2001."},{"key":"10.1016\/B978-012088469-8.50014-0_bib19","series-title":"ACM SIGMOD Conference","article-title":"Storing and querying ordered xml using a relational database system","author":"Tatarinov","year":"2002"},{"key":"10.1016\/B978-012088469-8.50014-0_bib20","series-title":"3rd conference on Logical Aspects of Computational Linguistics","article-title":"Dominance constraints: Algorithms and complexity","author":"Treinen","year":"2001"},{"key":"10.1016\/B978-012088469-8.50014-0_bib21","author":"Jeffrey","year":"1989"},{"key":"10.1016\/B978-012088469-8.50014-0_bib22","series-title":"ACM STOC","first-page":"137","article-title":"The complexity of relational query languages","author":"Vardi","year":"1982"},{"key":"10.1016\/B978-012088469-8.50014-0_bib23","series-title":"Containment for xpath fragments under dtd constraints. icdt","author":"Wood","year":"2003"}],"container-title":["Proceedings 2004 VLDB Conference"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T17:41:35Z","timestamp":1558633295000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780120884698500140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9780120884698"],"references-count":23,"URL":"https:\/\/doi.org\/10.1016\/b978-012088469-8.50014-0","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}