{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:50:57Z","timestamp":1725749457114},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412202"},{"type":"electronic","value":"9783642412219"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41221-9_3","type":"book-chapter","created":{"date-parts":[[2013,9,23]],"date-time":"2013-09-23T01:44:24Z","timestamp":1379900664000},"page":"60-94","source":"Crossref","is-referenced-by-count":2,"title":["The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Ferrarotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Hartmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Marin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emir","family":"Mu\u00f1oz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"3_CR2","unstructured":"Aho, A., Ullman, J., Hopcroft, J.: Data structures and algorithms. Addison-Wesley (1983)"},{"key":"3_CR3","unstructured":"Apparao, V., et al.: Document object model (DOM) level 1 specification, W3C recommendation (1998), \n                  \n                    http:\/\/www.w3.org\/TR\/REC-DOM-Level-1\/"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-46146-9_27","volume-title":"Database and Expert Systems Applications","author":"M. Arenas","year":"2002","unstructured":"Arenas, M., Fan, W., Libkin, L.: What\u2019s hard about XML schema constraints? In: Hameurlain, A., Cicchetti, R., Traunm\u00fcller, R. (eds.) DEXA 2002. LNCS, vol.\u00a02453, pp. 269\u2013278. Springer, Heidelberg (2002)"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1346330.1346332","volume":"55","author":"M. Arenas","year":"2008","unstructured":"Arenas, M., Libkin, L.: XML data exchange: Consistency and query answering. J. ACM\u00a055, 7:1\u20137:72 (2008)","journal-title":"J. ACM"},{"key":"3_CR6","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F.: Extensible markup language (XML) 1.0, 4th edn., W3C recommendation (2006), \n                  \n                    http:\/\/www.w3.org\/TR\/xml"},{"issue":"5","key":"3_CR7","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/S1389-1286(02)00223-2","volume":"39","author":"P. Buneman","year":"2002","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Keys for XML. Computer Networks\u00a039(5), 473\u2013487 (2002)","journal-title":"Computer Networks"},{"issue":"8","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1037","DOI":"10.1016\/S0306-4379(03)00028-0","volume":"28","author":"P. Buneman","year":"2003","unstructured":"Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. Inf. Syst.\u00a028(8), 1037\u20131063 (2003)","journal-title":"Inf. Syst."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Chen, Y., Davidson, S., Zheng, Y.: Xkvalidator: a constraint validator for XML. In: CIKM 2002: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, pp. 446\u2013452. ACM (2002)","DOI":"10.1145\/584792.584866"},{"key":"3_CR10","unstructured":"Clark, J., DeRose, S.: XML path language (XPath) version 1.0, W3C recommendation (1999), \n                  \n                    http:\/\/www.w3.org\/TR\/xpath"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-15684-7_12","volume-title":"Database and XML Technologies","author":"F. Ferrarotti","year":"2010","unstructured":"Ferrarotti, F., Hartmann, S., Link, S., Wang, J.: Promoting the semantic capability of XML keys. In: Lee, M.L., Yu, J.X., Bellahs\u00e8ne, Z., Unland, R. (eds.) XSym 2010. LNCS, vol.\u00a06309, pp. 144\u2013153. Springer, Heidelberg (2010)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-32600-4_9","volume-title":"Database and Expert Systems Applications","author":"F. Ferrarotti","year":"2012","unstructured":"Ferrarotti, F., Hartmann, S., Link, S., Marin, M., Mu\u00f1oz, E.: Performance analysis of algorithms to reason about XML keys. In: Liddle, S.W., Schewe, K.-D., Tjoa, A.M., Zhou, X. (eds.) DEXA 2012, Part I. LNCS, vol.\u00a07446, pp. 101\u2013115. Springer, Heidelberg (2012)"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/1071610.1071614","volume":"30","author":"G. Gottlob","year":"2005","unstructured":"Gottlob, G., Koch, C., Pichler, R.: Efficient algorithms for processing XPath queries. Trans. Database Syst.\u00a030(2), 444\u2013491 (2005)","journal-title":"Trans. Database Syst."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-88594-8_5","volume-title":"Semantics in Data and Knowledge Bases","author":"S. Hartmann","year":"2008","unstructured":"Hartmann, S., K\u00f6hler, H., Link, S., Trinh, T., Wang, J.: On the notion of an XML key. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol.\u00a04925, pp. 103\u2013112. Springer, Heidelberg (2008)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst.\u00a034(2) (2009)","DOI":"10.1145\/1538909.1538912"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: Expressive, yet tractable XML keys. In: EDBT 2009: 12th International Conference on Extending Database Technology. ACM International Conference Proceeding Series, vol.\u00a0360, pp. 357\u2013367. ACM (2009)","DOI":"10.1145\/1516360.1516402"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Jungnickel, D.: Graphs, Networks and Algorithms. Springer (1999)","DOI":"10.1007\/978-3-662-03822-2"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/j.future.2004.12.001","volume":"21","author":"Y. Liu","year":"2005","unstructured":"Liu, Y., Yang, D., Tang, S., Wang, T., Gao, J.: Validating key constraints over XML document using XPath and structure checking. Future Generation Comp. Syst.\u00a021(4), 583\u2013595 (2005)","journal-title":"Future Generation Comp. Syst."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1145\/322217.322223","volume":"27","author":"D. Maier","year":"1980","unstructured":"Maier, D.: Minimum Covers in the Relational Database Model. J. ACM\u00a027, 664\u2013674 (1980)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/962446.962448","volume":"51","author":"G. Miklau","year":"2004","unstructured":"Miklau, G., Suciu, D.: Containment and equivalence for a fragment of XPath. J. ACM\u00a051(1), 2\u201345 (2004)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/242857.242883","volume":"40","author":"D.B. Stewart","year":"1997","unstructured":"Stewart, D.B., Khosla, P.K.: Mechanisms for Detecting and Handling Timing Errors. Commun. ACM\u00a040(1), 87\u201393 (1997)","journal-title":"Commun. ACM"},{"key":"3_CR22","unstructured":"Suciu, D.: XML Data Repository, University of Washington (2002), \n                  \n                    http:\/\/www.cs.washington.edu\/research\/xmldatasets\/www\/repository.html"},{"key":"3_CR23","unstructured":"Thompson, H., Beech, D., Maloney, M., Mendelsohn, N.: XML Schema Part 1: Structures, 2nd edn., W3C Recommendation (2004), \n                  \n                    http:\/\/www.w3.org\/TR\/xmlschema-1\/"}],"container-title":["Lecture Notes in Computer Science","Transactions on Large-Scale Data- and Knowledge-Centered Systems X"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41221-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:12:05Z","timestamp":1558318325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41221-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412202","9783642412219"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41221-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}