{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:35:28Z","timestamp":1725665728769},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284717"},{"type":"electronic","value":"9783642284724"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28472-4_22","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T10:47:10Z","timestamp":1330512430000},"page":"384-403","source":"Crossref","is-referenced-by-count":2,"title":["Functional Dependencies on Extended Relations Defined by Regular Languages"],"prefix":"10.1007","author":[{"given":"Gyula I.","family":"Szab\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Bencz\u00far","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Amano, S., Libkin, L., Murlak, F.: XML schema mappings. In: Proceedings of the Twenty-Eighth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Providence, Rhode Island, USA, June 29-July 01, pp. 33\u201342 (2009)","DOI":"10.1145\/1559795.1559801"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1145\/974750.974757","volume":"29","author":"M. Arenas","year":"2004","unstructured":"Arenas, M., Libkin, L.: A normal form for XML documents. ACM TODS\u00a029, 195\u2013232 (2004)","journal-title":"ACM TODS"},{"issue":"5","key":"22_CR4","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.B., Fan, W., Hara, C.S., Tan, W.C.: Keys for XML. Computer Networks\u00a039(5), 473\u2013487 (2002)","journal-title":"Computer Networks"},{"key":"22_CR5","unstructured":"Chen, Y., Davidson, S.B., Zheng, Y.: Constraint Preserving XML Storage in Relations. In: Proceedings of the International Workshop on the Web and Databases (WEBDB), pp. 7\u201312 (2002)"},{"key":"22_CR6","unstructured":"Lee, D., Mani, M., Murata, M.: Reasoning about XML Schema Languages using Formal Language Theory. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 (2000), \n                    \n                      http:\/\/www.cs.ucla.edu\/dongwon\/paper"},{"issue":"3","key":"22_CR7","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.jcss.2006.10.022","volume":"73","author":"S. Davidson","year":"2007","unstructured":"Davidson, S., Fan, W., Hara, C.: Propagating XML constraints to relations. Journal of Computer and System Sciences\u00a073(3), 316\u2013361 (2007)","journal-title":"Journal of Computer and System Sciences"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-11829-6_9","volume-title":"Foundations of Information and Knowledge Systems","author":"S. Hartmann","year":"2010","unstructured":"Hartmann, S., K\u00f6hler, H., Trinh, T.: On the Existence of Armstrong Data Trees for XML Functional Dependencies. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol.\u00a05956, pp. 94\u2013113. Springer, Heidelberg (2010)"},{"key":"22_CR9","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":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-13824-9_14","volume-title":"Logic, Language, Information and Computation","author":"S. Hartmann","year":"2010","unstructured":"Hartmann, S., Link, S., Trinh, T.: Solving the Implication Problem for XML Functional Dependencies with Properties. In: Dawar, A., de Queiroz, R. (eds.) WoLLIC 2010. LNCS, vol.\u00a06188, pp. 161\u2013175. Springer, Heidelberg (2010)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Lv, T., Yan, P.: Mapping Relational Schemas to XML DTDs with Constraints. In: Proceedings of the First International Multi-Symposiums on Computer and Computational Sciences, pp. 528\u2013533 (2006)","DOI":"10.1109\/IMSCCS.2006.237"},{"issue":"4","key":"22_CR12","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1145\/1111627.1111631","volume":"5","author":"M. Murata","year":"2005","unstructured":"Murata, M., Lee, D., Mani, M., Kawaguchi, K.: Taxonomy of XML schema languages using formal language theory. ACM Trans. Internet Technol.\u00a05(4), 660\u2013704 (2005)","journal-title":"ACM Trans. Internet Technol."},{"key":"22_CR13","unstructured":"Sperberg-McQueen, C.M., Thompson, H.: XML Schema. Technical report, World Wide Web Consortium (2005), \n                    \n                      http:\/\/www.w3.org\/XML\/Schema"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1145\/1016028.1016029","volume":"29","author":"M.W. Vincent","year":"2004","unstructured":"Vincent, M.W., Liu, J., Liu, C.: Strong functional dependencies and their application. to normal forms in XML. ACM ToDS\u00a029, 445\u2013462 (2004)","journal-title":"ACM ToDS"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-540-31849-1_31","volume-title":"Web Technologies Research and Development - APWeb 2005","author":"J. Wang","year":"2005","unstructured":"Wang, J.: A Comparative Study of Functional Dependencies for XML. In: Zhang, Y., Tanaka, K., Yu, J.X., Wang, S., Li, M. (eds.) APWeb 2005. LNCS, vol.\u00a03399, pp. 308\u2013319. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28472-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T08:29:41Z","timestamp":1556440181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28472-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284717","9783642284724"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28472-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}