{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:55:25Z","timestamp":1759683325435},"reference-count":44,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Systems"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1016\/s0306-4379(03)00028-0","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T23:55:41Z","timestamp":1052783741000},"page":"1037-1063","source":"Crossref","is-referenced-by-count":78,"title":["Reasoning about keys for XML"],"prefix":"10.1016","volume":"28","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":"78","reference":[{"key":"10.1016\/S0306-4379(03)00028-0_BIB1","unstructured":"T. Bray, J. Paoli, C.M. Sperberg-McQueen, Extensible Markup Language (XML) 1.0, World Wide Web Consortium (W3C), 1998, http:\/\/www.w3.org\/TR\/REC-xml."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB2","unstructured":"A. Layman, et al., XML-Data, W3C Note, 1998, http:\/\/www.w3.org\/TR\/1998\/NOTE-XML-data."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB3","unstructured":"H.S. Thompson, D. Beech, M. Maloney, N. Mendelsohn, XML Schema Part 1: Structures, W3C Working Draft, 2001, http:\/\/www.w3.org\/TR\/xmlschema-1\/."},{"issue":"5","key":"10.1016\/S0306-4379(03)00028-0_BIB4","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/S1389-1286(02)00223-2","article-title":"Keys for XML","volume":"39","author":"Buneman","year":"2002","journal-title":"Computer Networks"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB5","unstructured":"P. Buneman, S. Davidson, W. Fan, C. Hara, W. Tan, Reasoning about keys for XML, in: G. Ghelli and G. Grahne (Eds.), Lecture Notes in Computer Science (DBPL\u20192001), Vol. 2397, 2001, pp. 133\u2013148."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB6","unstructured":"H. Thompson, personal communication."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB7","unstructured":"V. Apparao, et al., Document Object Model (DOM) Level 1 Specification, W3C Recommendation, 1998, http:\/\/www.w3.org\/TR\/REC-DOM-Level-1\/."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB8","unstructured":"J. Clark, XSL Transformations (XSLT), W3C Recommendation, 1999, http:\/\/www.w3.org\/TR\/xslt."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB9","unstructured":"P. Wadler, A formal semantics for patterns in XSL, Technical Report, Computing Sciences Research Center, Bell Labs, Lucent Technologies, 2000."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB10","unstructured":"J. Robie, J. Lapp, D. Schach, XML Query Language (XQL), Workshop on XML Query Languages, Boston, MA, 1998."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB11","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1093\/nar\/28.1.15","article-title":"GenBank","volume":"28","author":"Benson","year":"2000","journal-title":"Nucleic Acids Res."},{"issue":"6364","key":"10.1016\/S0306-4379(03)00028-0_BIB12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1038\/356037a0","article-title":"The C. elegans genome sequencing project","volume":"356","author":"Sulston","year":"1992","journal-title":"Nature"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1093\/nar\/28.1.19","article-title":"The EMBL nucleotide sequence database","volume":"28","author":"Baker","year":"2000","journal-title":"Nucleic Acids Res."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/nar\/28.1.45","article-title":"The SWISS-PROT protein sequence database and its supplement TrEMBL","volume":"28","author":"Bairoch","year":"2000","journal-title":"Nucleic Acids Res."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB15","doi-asserted-by":"crossref","unstructured":"M. Arenas, W. Fan, L. Libkin, On verifying consistency of XML specifications, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Madison, WI, 2002.","DOI":"10.1145\/543613.543647"},{"issue":"3","key":"10.1016\/S0306-4379(03)00028-0_BIB16","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1145\/567112.567117","article-title":"On XML integrity constraints in the presence of DTDs","volume":"49","author":"Fan","year":"2002","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB17","series-title":"Foundations of Databases","author":"Abiteboul","year":"1995"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB18","series-title":"Database Management Systems","author":"Ramakrishnan","year":"2000"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB19","unstructured":"J. Clark, S. DeRose, XML Path Language (XPath), W3C Working Draft, 1999, http:\/\/www.w3.org\/TR\/xpath."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB20","doi-asserted-by":"crossref","unstructured":"G. Miklau, D. Suciu, Containment and equivalence for an XPath fragment, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Madison, WI, 2002, pp. 65\u201376.","DOI":"10.1145\/543613.543623"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB21","doi-asserted-by":"crossref","unstructured":"F. Neven, T. Schwentick, XPath containment in the presence of disjunction, dtds, and variables, in: Proceedings of the International Conference on Database Theory, Siena, Italy, 2003.","DOI":"10.1007\/3-540-36285-1_21"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB22","doi-asserted-by":"crossref","unstructured":"M. Benedikt, W. Fan, G. Kuper, Structural properties of XPath fragments, in: Proceedings of the International Conference on Database Theory, Siena, Italy, 2003.","DOI":"10.1007\/3-540-36285-1_6"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB23","doi-asserted-by":"crossref","unstructured":"M. Arenas, W. Fan, L. Libkin, What's hard about XML Schema constraints?, in: Proceedings of 13th International Conference on Database and Expert Systems Applications (DEXA), Aix en Provence, 2002, pp. 269\u2013278.","DOI":"10.1007\/3-540-46146-9_27"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB24","doi-asserted-by":"crossref","unstructured":"W. Fan, J. Sim\u00e9on, Integrity constraints for XML, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Dallas, TX, 2000, pp. 23\u201334.","DOI":"10.1145\/335168.335172"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB25","series-title":"Data on the Web. From Relations to Semistructured Data and XML","author":"Abiteboul","year":"2000"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB26","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, V. Vianu, Regular path queries with constraints, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Tucson, AZ, 1997, pp. 122\u2013133.","DOI":"10.1145\/263661.263676"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB27","doi-asserted-by":"crossref","unstructured":"P. Buneman, W. Fan, S. Weinstein, Interaction between path and type constraints, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Philadelphia, PA, 1999, pp. 56\u201367.","DOI":"10.1145\/303976.303982"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB28","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1006\/jcss.2000.1710","article-title":"Path constraints in semistructured databases","volume":"61","author":"Buneman","year":"2000","journal-title":"J. Comput. System Sci."},{"issue":"1","key":"10.1016\/S0306-4379(03)00028-0_BIB29","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1006\/jcss.1995.1015","article-title":"Implication problems for functional constraints on databases supporting complex objects","volume":"50","author":"Ito","year":"1995","journal-title":"J. Comput. System Sci."},{"issue":"3","key":"10.1016\/S0306-4379(03)00028-0_BIB30","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1109\/69.334857","article-title":"Reasoning about equations and functional dependencies on complex objects","volume":"6","author":"van Bommel","year":"1994","journal-title":"IEEE Trans. Data Knowledge Eng."},{"issue":"1","key":"10.1016\/S0306-4379(03)00028-0_BIB31","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/12047.13676","article-title":"A new normal form for nested relations","volume":"12","author":"Ozsoyoglu","year":"1987","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB32","doi-asserted-by":"crossref","unstructured":"C.S. Hara, S.B. Davidson, Reasoning about nested functional dependencies, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Philadelphia, Pennsylvania, 1999, pp. 91\u2013100.","DOI":"10.1145\/303976.303985"},{"issue":"1","key":"10.1016\/S0306-4379(03)00028-0_BIB33","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/373626.373697","article-title":"Constraints for semistructured data and XML","volume":"30","author":"Buneman","year":"2001","journal-title":"SIGMOD Record"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB34","doi-asserted-by":"crossref","unstructured":"V. Vianu, A Web odyssey: from Codd to XML, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Santa Barbara, CA, 2001, pp. 1\u201315.","DOI":"10.1145\/375551.375554"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB35","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/S0022-0000(76)80038-4","article-title":"On the equivalence, containment, and covering problems for the regular and context-free languages","volume":"12","author":"Hunt","year":"1976","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB36","series-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft","year":"1979"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB37","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB38","series-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB39","doi-asserted-by":"crossref","unstructured":"T. Milo, D. Suciu, Index structures for path expressions, in: Proceedings of the International Conference on Database Theory, Jerusalem, 1999, pp. 277\u2013295.","DOI":"10.1007\/3-540-49257-7_18"},{"key":"10.1016\/S0306-4379(03)00028-0_BIB40","unstructured":"Microsoft XML Parser 4.0(MSXML), available at: http:\/\/msdn.microsoft.com."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB41","unstructured":"XML Schema Validator, available at: http:\/\/www.ltg.ed.ac.uk\/ht\/xsv-status.html."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB42","unstructured":"Y. Chen, S. Davidson, Y. Zheng, Validating constraints in XML, Technical Report, Computer and Information Science Department, University of Pennsylvania, 2002."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB43","unstructured":"Y.Chen, S. Davidson, Y. Zheng, Constraint preserving xml storage in relations, in: Proceedings of the International Workshop on the Web and Databases (WebDB), Madison, WI, 2002."},{"key":"10.1016\/S0306-4379(03)00028-0_BIB44","doi-asserted-by":"crossref","unstructured":"S. Davidson, W. Fan, C. Hara, J. Qin, Propagating XML constraints to relations, in: Proceedings of the International Conference on Data Engineering (ICDE), 2003.","DOI":"10.1109\/ICDE.2003.1260820"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437903000280?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437903000280?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T16:58:07Z","timestamp":1553187487000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306437903000280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":44,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S0306437903000280"],"URL":"https:\/\/doi.org\/10.1016\/s0306-4379(03)00028-0","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}