{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:46:29Z","timestamp":1778298389964,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540440802","type":"print"},{"value":"9783540460930","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46093-4_8","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:02:51Z","timestamp":1179205371000},"page":"133-148","source":"Crossref","is-referenced-by-count":38,"title":["Reasoning about Keys for XML"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buneman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Davidson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenfei","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmem","family":"Hara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang-Chiew","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"8_CR1","unstructured":"S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufman, 2000."},{"key":"8_CR2","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1006\/jcss.1999.1627","volume":"58","author":"S. Abiteboul","year":"1999","unstructured":"S. Abiteboul and V. Vianu. Regular path queries with constraints. Journal of Computer and System Sciences (JCSS), 58(4):428\u2013452, 1999.","journal-title":"Journal of Computer and System Sciences (JCSS)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan. Keys for XML. In WWW 10, 2001.","DOI":"10.1145\/371920.371984"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan. Reasoning about absolute and relative keys for XML. Technical Report TUCIS-TR-2001-002, Temple University, 2001.","DOI":"10.1145\/371920.371984"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"P. Buneman, W. Fan, J. Sim\u00e9on, and S. Weinstein. Constraints for semistructured data and XML. SIGMOD Record, 30(1), 2001.","DOI":"10.1145\/373626.373697"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"P. Buneman, W. Fan, and S. Weinstein. Path constraints on semistructured and structured data. In PODS, 1998.","DOI":"10.1145\/275487.275502"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Buneman, W. Fan, and S. Weinstein. Interaction between path and type constraints. In PODS, 1999.","DOI":"10.1145\/303976.303982"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1006\/jcss.2000.1710","volume":"61","author":"P. Buneman","year":"2000","unstructured":"P. Buneman, W. Fan, and S. Weinstein. Path constraints in semistructured databases. Journal of Computer and System Sciences (JCSS), 61(2):146\u2013193, 2000.","journal-title":"Journal of Computer and System Sciences (JCSS)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"W. Fan and L. Libkin. On XML integrity constraints in the presence of DTDs. In PODS, 2001.","DOI":"10.1145\/375551.375568"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"W. Fan and J. Sim\u00e9on. Integrity constraints for XML. In PODS, 2000.","DOI":"10.1145\/335168.335172"},{"key":"8_CR12","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, 1979."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"C. S. Hara and S. B. Davidson. Reasoning about nested functional dependencies. In PODS, 1999.","DOI":"10.1145\/303976.303985"},{"key":"8_CR14","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addision Wesley, 1979."},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/S0022-0000(76)80038-4","volume":"12","author":"H. Hunt","year":"1976","unstructured":"H. Hunt, D. Resenkrantz, and T. Szymanski. On the equivalence, containment, and covering problems for the regular and context-free languages. Journal of Computer and System Sciences (JCSS), 12:222\u2013268, 1976.","journal-title":"Journal of Computer and System Sciences (JCSS)"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1006\/jcss.1995.1015","volume":"50","author":"M. Ito","year":"1995","unstructured":"M. Ito and G. E. Weddell. Implication problems for functional constraints on databases supporting complex objects. Journal of Computer and System Sciences (JCSS), 50(1):165\u2013187, 1995.","journal-title":"Journal of Computer and System Sciences (JCSS)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"T. Milo and D. Suciu. Index structures for path expressions. In ICDT, 1999.","DOI":"10.1007\/3-540-49257-7_18"},{"key":"8_CR18","unstructured":"R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill Higher Education, 2000."},{"key":"8_CR19","unstructured":"J. Robie, J. Lapp, and D. Schach. XML Query Language (XQL). Workshop on XML Query Languages, Dec. 1998."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"V. Vianu. A Webodyssey: From Codd to XML. In PODS, 2001.","DOI":"10.1145\/375551.375554"},{"key":"8_CR21","unstructured":"W3C. Document Object Model (DOM) Level 1 Specification. Recommendation, Oct. 1998. http:\/\/www.w3.org\/TR\/REC-DOM-Level-1\/ ."},{"key":"8_CR22","unstructured":"W3C. Extensible Markup Language (XML) 1.0, Feb 1998. http:\/\/www.w3.org\/TR\/REC-xml ."},{"key":"8_CR23","unstructured":"W3C. XML-Data. Note, Jan. 1998. http:\/\/www.w3.org\/TR\/1998\/NOTE-XML-data ."},{"key":"8_CR24","unstructured":"W3C. XML Path Language (XPath). Working Draft, Nov. 1999. http:\/\/www.w3.org\/TR\/xpath ."},{"key":"8_CR25","unstructured":"W3C. XSL Transformations (XSLT). Recommendation, Nov. 1999. http:\/\/www.w3.org\/TR\/xslt ."},{"key":"8_CR26","unstructured":"W3C. XML Schema. Working Draft, May 2001. http:\/\/www.w3.org\/XML\/Schema ."},{"key":"8_CR27","unstructured":"P. Wadler. A Formal Semantics for Patterns in XSL. Technical report, Computing Sciences Research Center, Bell Labs, Lucent Technologies, 2000."},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"S. Yu. Regular languages. In G. Rosenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 1, pages 41\u2013110. Springer, 1996.","DOI":"10.1007\/978-3-642-59136-5_2"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46093-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T21:18:09Z","timestamp":1683839889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46093-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440802","9783540460930"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-46093-4_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}