{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:52Z","timestamp":1746115912896,"version":"3.40.4"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,5,5]],"date-time":"2013-05-05T00:00:00Z","timestamp":1367712000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1007\/s10472-013-9352-z","type":"journal-article","created":{"date-parts":[[2013,5,4]],"date-time":"2013-05-04T08:50:57Z","timestamp":1367657457000},"page":"205-243","source":"Crossref","is-referenced-by-count":0,"title":["Functional dependencies on extended relations defined by regular languages"],"prefix":"10.1007","volume":"73","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","published-online":{"date-parts":[[2013,5,5]]},"reference":[{"key":"9352_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"9352_CR2","doi-asserted-by":"crossref","unstructured":"Amano, S., Libkin, L., Murlak, F.: XML schema mappings. In: Proc. PODS, pp. 33\u201342 (2009)","DOI":"10.1145\/1559795.1559801"},{"key":"9352_CR3","doi-asserted-by":"crossref","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 Trans. Datab. Syst. 29, 195\u2013232 (2004)","journal-title":"ACM Trans. Datab. Syst."},{"issue":"1","key":"9352_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(86)80022-5","volume":"70","author":"P Atzeni","year":"1986","unstructured":"Atzeni, P., Morfuni, N.: Functional dependencies and constraints on null values in database relations. Inf. Control 70(1), 1\u201331 (1986)","journal-title":"Inf. Control"},{"key":"9352_CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(86)90088-5","volume":"48","author":"G Berry","year":"1986","unstructured":"Berry, G., Sethi, R.: From regular expressions to deterministic automata. Theor. Comput. Sci. 48, 117\u2013126 (1986)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"9352_CR6","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"JA Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481\u2013494 (1964)","journal-title":"J. ACM"},{"issue":"5","key":"9352_CR7","doi-asserted-by":"crossref","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. Comput. Netw. 39(5), 473\u2013487 (2002)","journal-title":"Comput. Netw."},{"issue":"8","key":"9352_CR8","doi-asserted-by":"crossref","first-page":"1037","DOI":"10.1016\/S0306-4379(03)00028-0","volume":"28","author":"P Buneman","year":"2003","unstructured":"Buneman, P., Davidson, S.B., Fan, W., Hara, C.S., Tan, W.C.: Reasoning about keys for XML. Inf. Syst. 28(8), 1037\u20131063 (2003)","journal-title":"Inf. Syst."},{"issue":"1","key":"9352_CR9","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0304-3975(01)00267-5","volume":"289","author":"J-M Champarnaud","year":"2002","unstructured":"Champarnaud, J.-M., Ziadi, D.: Canonical derivatives, partial derivatives and finite automaton constructions. Theor. Comput. Sci. 289(1), 137\u2013163 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9352_CR10","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)"},{"issue":"3","key":"9352_CR11","doi-asserted-by":"crossref","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. J. Comput. Syst. Sci. 73(3), 316\u2013361 (2007)","journal-title":"J. Comput. Syst. Sci."},{"issue":"6","key":"9352_CR12","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1147\/rd.216.0534","volume":"21","author":"R Fagin","year":"1977","unstructured":"Fagin, R.: Functional dependencies in a relational database and propositional logic. IBM J. Res. Develop. 21(6), 543\u2013544 (1977)","journal-title":"IBM J. Res. Develop."},{"issue":"3","key":"9352_CR13","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(85)90057-1","volume":"31","author":"PC Fischer","year":"1985","unstructured":"Fischer, P.C., Saxton, L.V., Thomas, S.J., Van Gucht, D.: Interactions between dependencies and nested relational structures. J. Comput. Syst. Sci. 31(3), 343\u2013354 (1985)","journal-title":"J. Comput. Syst. Sci."},{"key":"9352_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1070\/RM1961v016n05ABEH004112","volume":"16","author":"VM Glushkov","year":"1961","unstructured":"Glushkov, V.M.: The abstract theory of automata. Russ. Math. Surv. 16, 1\u201353 (1961)","journal-title":"Russ. Math. Surv."},{"key":"9352_CR15","doi-asserted-by":"crossref","unstructured":"Hara, C.S., Davidson, S.B.: Reasoning about nested functional dependencies. In: Proc. PODS, pp. 91\u2013100 (1999)","DOI":"10.1145\/303976.303985"},{"key":"9352_CR16","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S: More functional dependencies for XML. In: Proc. ADBIS, pp. 355\u2013369 (2003)","DOI":"10.1007\/978-3-540-39403-7_27"},{"issue":"1","key":"9352_CR17","first-page":"153","volume":"17","author":"S Hartmann","year":"2005","unstructured":"Hartmann, S., Link, S., Schewe, K-D.: Functional dependencies over XML documents with DTDs. Acta Cybern. 17(1), 153\u2013171 (2005)","journal-title":"Acta Cybern."},{"key":"9352_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/j.tcs.2006.01.008","volume":"355","author":"S Hartmann","year":"2006","unstructured":"Hartmann, S., Link, S., Schewe, K-D.: Axiomatisation of functional dependencies in the presence of records, lists, sets and multisets. Theor. Comput. Sci. 355, 167\u2013196 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9352_CR19","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.apal.2007.11.004","volume":"152","author":"S Hartmann","year":"2008","unstructured":"Hartmann, S., Link, S: Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic 152, 84\u2013106 (2008)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"9352_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1538909.1538912","volume":"34","author":"S Hartmann","year":"2009","unstructured":"Hartmann, S., Link, S.: Efficient reasoning about a robust XML key fragment. ACM Trans. Datab. Syst. 34(2), 1\u201333 (2009)","journal-title":"ACM Trans. Datab. Syst."},{"issue":"5","key":"9352_CR21","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/j.ic.2008.09.004","volume":"208","author":"S Hartmann","year":"2010","unstructured":"Hartmann, S., Link, S: Numerical constraints on XML data. Inf. Comput. 208(5), 521\u2013544 (2010)","journal-title":"Inf. Comput."},{"key":"9352_CR22","doi-asserted-by":"crossref","unstructured":"Hartmann, S., K\u00f6hler, H., Trinh, T.: On the existence of Armstrong data trees for XML functional dependencies. In: Proc. FoIKS LNCS, vol. 5956, pp. 94\u2013113 (2010)","DOI":"10.1007\/978-3-642-11829-6_9"},{"key":"9352_CR23","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S., Trinh, T.: Solving the implication problem for XML functional dependencies with properties. In: Logic, Language, Information and Computation, 17th International Workshop, WoLLIC, pp. 161\u2013175 (2010)","DOI":"10.1007\/978-3-642-13824-9_14"},{"key":"9352_CR24","doi-asserted-by":"crossref","unstructured":"Kot, L., White, W.: Characterization of the interaction of XML functional dependencies with DTDs. In: Proc. ICDT, pp. 119\u2013133 (2007)","DOI":"10.1007\/11965893_9"},{"key":"9352_CR25","unstructured":"Lee, D., Mani, M., Murata, M.: Reasoning about XML schema languages using formal language theory. Technical Report, IBM Almaden Research Center (2000). http:\/\/www.cs.ucla.edu\/dongwon\/paper"},{"issue":"1","key":"9352_CR26","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s11280-005-4263-5","volume":"9","author":"C Liu","year":"2006","unstructured":"Liu, C., Vincent, M.W., Liu, J.: Constraint preserving transformation from relational schema to XML schema. WWW 9(1), 93\u2013110 (2006)","journal-title":"WWW"},{"key":"9352_CR27","doi-asserted-by":"crossref","unstructured":"Lv, T., Yan, P.: Mapping relational schemas to XML DTDs with constraints. In: Proc. First International Multi-Symposiums on Computer and Computational Sciences, pp. 528\u2013533 (2006)","DOI":"10.1109\/IMSCCS.2006.237"},{"issue":"4","key":"9352_CR28","doi-asserted-by":"crossref","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. 5(4), 660\u2013704 (2005)","journal-title":"ACM Trans. Internet Technol."},{"key":"9352_CR29","unstructured":"Nicaud, C., Pivoteau, C., Razet, B.: Average analysis of Glushkov automata under a BST-like model. In: Proc. FSTTCS, pp. 388\u2013399 (2010)"},{"issue":"3","key":"9352_CR30","doi-asserted-by":"crossref","first-page":"277","DOI":"10.3233\/FUN-2006-70307","volume":"70","author":"A Sali","year":"2006","unstructured":"Sali, A., Schewe, K-D.: Counter-free keys and functional dependencies in higher-order datamodels. Fundam. Inform. 70(3), 277\u2013301 (2006)","journal-title":"Fundam. Inform."},{"key":"9352_CR31","unstructured":"Sperberg-McQueen, C.M., Thompson, H.: XML schema. Technical report, World Wide Web Consortium (2005). http:\/\/www.w3.org\/XML\/Schema"},{"key":"9352_CR32","doi-asserted-by":"crossref","unstructured":"Szab\u00f3, G.I., Bencz\u00far, A.: Functional dependencies on extended relations defined by regular languages. In: Proc. FoIKS LNCS, vol. 7153, pp. 385\u2013404 (2012)","DOI":"10.1007\/978-3-642-28472-4_22"},{"key":"9352_CR33","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1145\/1016028.1016029","volume":"29","author":"MW Vincent","year":"2004","unstructured":"Vincent, M.W., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. ACM Trans. Datab. Syst. 29, 445\u2013462 (2004)","journal-title":"ACM Trans. Datab. Syst."},{"key":"9352_CR34","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s00236-007-0048-x","volume":"44","author":"MW Vincent","year":"2007","unstructured":"Vincent, M.W., Liu, J., Mohania, M.K.: On the equivalence between FDs in XML and FDs in relations. Acta Informatica 44, 207\u2013247 (2007)","journal-title":"Acta Informatica"},{"key":"9352_CR35","doi-asserted-by":"crossref","unstructured":"Wang, J.: A comparative study of functional dependencies for XML. In: APWeb, pp. 308\u2013319 (2005)","DOI":"10.1007\/978-3-540-31849-1_31"},{"key":"9352_CR36","unstructured":"Wang, J., Topor, R.W.: Removing XML data redundancies using functional and equality-generating dependencies. In: Proc. ADC 2005, pp. 65\u201374 (2005)"},{"key":"9352_CR37","volume-title":"Computing Science Note, pp. 93\u201343","author":"BW Watson","year":"1993","unstructured":"Watson, B.W.: A taxonomy of finite automata construction algorithms. In: Computing Science Note, pp. 93\u201343. Eindhoven University of Technology, The Netherlands (1993)"},{"issue":"2","key":"9352_CR38","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s00778-007-0063-0","volume":"17","author":"C Yu","year":"2008","unstructured":"Yu, C., Jagadish, H.V.: XML schema refinement through redundancy detection and normalization. VLDB J. 17(2), 203\u2013223 (2008)","journal-title":"VLDB J."},{"key":"9352_CR39","doi-asserted-by":"crossref","unstructured":"Zhou, R., Liu, C., Li, J.: Holistic constraint-preserving transformation from relational schema into XML schema. In: Proc. DSFAA, pp. 4\u201318 (2008)","DOI":"10.1007\/978-3-540-78568-2_4"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9352-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9352-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9352-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:35:40Z","timestamp":1746002140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9352-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,5]]},"references-count":39,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["9352"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9352-z","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2013,5,5]]}}}