{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T07:19:16Z","timestamp":1781075956072,"version":"3.54.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2018,2,20]],"date-time":"2018-02-20T00:00:00Z","timestamp":1519084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["MA 4938\/21"],"award-info":[{"award-number":["MA 4938\/21"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["FP7-ICT-233599"],"award-info":[{"award-number":["FP7-ICT-233599"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s00224-018-9846-5","type":"journal-article","created":{"date-parts":[[2018,2,20]],"date-time":"2018-02-20T03:57:24Z","timestamp":1519099044000},"page":"1826-1879","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning About XML Constraints Based on XML-to-Relational Mappings"],"prefix":"10.1007","volume":"62","author":[{"given":"Matthias","family":"Niewerth","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Schwentick","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,2,20]]},"reference":[{"issue":"3","key":"9846_CR1","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1137\/050646895","volume":"38","author":"M Arenas","year":"2008","unstructured":"Arenas, M., Fan, W., Libkin, L.: On the complexity of verifying consistency of XML specifications. Siam Journal on Computing 38(3), 841\u2013880 (2008)","journal-title":"Siam Journal on Computing"},{"issue":"1","key":"9846_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00297ED1V01Y201008DTM008","volume":"2","author":"M Arenas","year":"2010","unstructured":"Arenas, M., Barcelo, P., Libkin, L., Murlak, F.: Relational and xml data exchange. Synthesis Lectures on Data Management 2(1), 1\u2013112 (2010)","journal-title":"Synthesis Lectures on Data Management"},{"key":"9846_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 Trans. Database Syst. 29, 195\u2013232 (2004)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"9846_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(86)80022-5","volume":"70","author":"P Atzeni","year":"1986","unstructured":"Atzeni, P, Morfuni, N.M.: Functional dependencies and constraints on null values in database relations. Inf. Control. 70(1), 1\u201331 (1986)","journal-title":"Inf. Control."},{"issue":"8","key":"9846_CR5","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.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":"5","key":"9846_CR6","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.-C.: Keys for XML. Comput. Netw. 39(5), 473\u2013487 (2002)","journal-title":"Comput. Netw."},{"issue":"5","key":"9846_CR7","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","volume":"4","author":"J Doner","year":"1970","unstructured":"Doner, J.: Tree acceptors and some of their applications. J. Comput. Syst. Sci. 4(5), 406\u2013451 (1970)","journal-title":"J. Comput. Syst. Sci."},{"key":"9846_CR8","unstructured":"Gao, S., Sperberg-McQueen, C.M., Thompson, H., Mendelsohn, N., Beech, D., Maloney, M.: W3C XML Schema definition language (XSD) 1.1 Part 1: Structures http:\/\/www.w3.org\/TR\/2012\/REC-xmlschema11-1-20120405\/ (2012)"},{"key":"9846_CR9","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: More functional dependencies for XML. In: Kalinichenko, L., Manthey, R., Thalheim, B., Wloka, U. (eds.) Advances in Databases and Information Systems, volume 2798 of LNCS, pp. 355\u2013369. Springer, Berlin\/Heidelberg (2003)","DOI":"10.1007\/978-3-540-39403-7_27"},{"issue":"1","key":"9846_CR10","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 Cybernetica 17(1), 153\u2013171 (2005)","journal-title":"Acta Cybernetica"},{"key":"9846_CR11","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S., Trinh, T.: Solving the implication problem for XML functional dependencies with properties. In: WoLLIC, pp. 161\u2013175 (2010)","DOI":"10.1007\/978-3-642-13824-9_14"},{"key":"9846_CR12","doi-asserted-by":"crossref","unstructured":"Kot, L., White, W.M.: Characterization of the interaction of XML functional dependencies with DTDs. In: International Conference Database Theory (ICDT), pp. 119\u2013133 (2007)","DOI":"10.1007\/11965893_9"},{"key":"9846_CR13","doi-asserted-by":"crossref","unstructured":"Lee, M., Ling, T., Low, W.: Designing functional dependencies for XML. In: International Conference on Extending Database Technology (EDBT), pp. 145\u2013158 (2002)","DOI":"10.1007\/3-540-45876-X_10"},{"issue":"3","key":"9846_CR14","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1145\/1166074.1166076","volume":"31","author":"W Martens","year":"2006","unstructured":"Martens, W., Neven, F., Schwentick, T., Bex, G.J.: Expressiveness and complexity of XML schema. ACM Trans. Database Syst. 31(3), 770\u2013813 (2006)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"9846_CR15","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 51(1), 2\u201345 (2004)","journal-title":"J. ACM"},{"key":"9846_CR16","unstructured":"Stockmeyer, L.: The complexity of decision problems in automata and logic, 1974. Ph.D. Thesis, MIT (1974)"},{"issue":"1","key":"9846_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"JW Thatcher","year":"1968","unstructured":"Thatcher, J.W., Wright, J.B.: Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical Systems Theory 2(1), 57\u201381 (1968)","journal-title":"Mathematical Systems Theory"},{"key":"9846_CR18","doi-asserted-by":"crossref","unstructured":"van Emde Boas, P.: The convenience of tilings. In: Sorbi, A. (ed.) Complexity, Logic and Recursion Theory, volume 187 of Lecture Notes in Pure and Applied Mathematics, pp. 331\u2013363. Marcel Dekker Inc. (1997)","DOI":"10.1201\/9780429187490-12"},{"issue":"3","key":"9846_CR19","doi-asserted-by":"publisher","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. Database Syst. 29(3), 445\u2013462 (2004)","journal-title":"ACM Trans. Database Syst."}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-018-9846-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-018-9846-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-018-9846-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,11]],"date-time":"2019-10-11T05:31:19Z","timestamp":1570771879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-018-9846-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,20]]},"references-count":19,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["9846"],"URL":"https:\/\/doi.org\/10.1007\/s00224-018-9846-5","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,20]]},"assertion":[{"value":"20 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}