{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:52:05Z","timestamp":1758268325259},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,8,9]],"date-time":"2015-08-09T00:00:00Z","timestamp":1439078400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s10472-015-9473-7","type":"journal-article","created":{"date-parts":[[2015,8,8]],"date-time":"2015-08-08T15:44:30Z","timestamp":1439048670000},"page":"251-279","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Implication and axiomatization of functional and constant constraints"],"prefix":"10.1007","volume":"76","author":[{"given":"Jelle","family":"Hellings","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Gyssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Paredaens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuqing","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,9]]},"reference":[{"key":"9473_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"issue":"3","key":"9473_CR2","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/320083.320091","volume":"4","author":"AV Aho","year":"1979","unstructured":"Aho, A.V., Beeri, C., Ullman, J.D.: The theory of joins in relational databases. ACM Trans. Database Syst. 4(3), 297\u2013314 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"9473_CR3","doi-asserted-by":"crossref","unstructured":"Akhtar, W., Cort\u00e9s-Calabuig, \u00c1., Paredaens, J.: Constraints in RDF. In: Semantics in Data and Knowledge Bases, Lecture Notes in Computer Science, vol. 6834, pp. 23\u201339. Springer (2011)","DOI":"10.1007\/978-3-642-23441-5_2"},{"issue":"1","key":"9473_CR4","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. Database Syst. 29(1), 195\u2013232 (2004)","journal-title":"ACM Trans. Database Syst."},{"key":"9473_CR5","doi-asserted-by":"crossref","unstructured":"Armstrong, W.W.: Dependency structures of data base relationships. In: Information Processing 74, pp. 580\u2013583 (1974)","DOI":"10.1515\/9783110840308-026"},{"key":"9473_CR6","doi-asserted-by":"crossref","unstructured":"Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In:Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, SIGMOD \u201977, pp. 47\u201361 (1977)","DOI":"10.1145\/509404.509414"},{"key":"9473_CR7","doi-asserted-by":"crossref","unstructured":"Beeri, C., Vardi, M.: The implication problem for data dependencies. In: Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 115, pp. 73\u201385. Springer (1981)","DOI":"10.1007\/3-540-10843-2_7"},{"issue":"4","key":"9473_CR8","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C Beeri","year":"1984","unstructured":"Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. J. ACM 31 (4), 718\u2013741 (1984)","journal-title":"J. ACM"},{"key":"9473_CR9","doi-asserted-by":"crossref","unstructured":"Bravo, L., Fan, W., Geerts, F., Ma, S.: Increasing the expressivity of conditional functional dependencies without extra complexity. In: ICDE \u201908 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering, pp. 516\u2013525 (2008)","DOI":"10.1109\/ICDE.2008.4497460"},{"key":"9473_CR10","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F.: Extensible markup language (XML) 1.0 (fifth edition), W3C recommendation 26 November 2008 (2008). http:\/\/www.w3.org\/TR\/2008\/REC-xml-20081126\/"},{"issue":"5","key":"9473_CR11","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., Fan, W., Hara, C., Tan, W.C.: Keys for XML. Comput. Netw. 39(5), 473\u2013487 (2002)","journal-title":"Comput. Netw."},{"key":"9473_CR12","unstructured":"Calbimonte, J.P., Porto, F., Keet, C.M.: Functional dependencies in OWL ABOX. In: XXIV Simposio Brasileiro de Banco de Dados, pp. 16\u201330 (2009)"},{"key":"9473_CR13","volume-title":"Relational completeness of data base sublanguages","author":"EF Codd","year":"1972","unstructured":"Codd, E.F.: Relational completeness of data base sublanguages, vol. 987. IBM Research Laboratory, San Jose, California (1972)"},{"key":"9473_CR14","unstructured":"Codd, E.F.: Recent investigations in relational data base systems. In: Information Processing 74, pp. 1017\u20131021 (1974)"},{"key":"9473_CR15","unstructured":"Cort\u00e9s-Calabuig, A., Paredaens, J.: Semantics of constraints in RDFS. In: Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, pp. 75\u201390 (2012)"},{"issue":"4","key":"9473_CR16","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R Fagin","year":"1982","unstructured":"Fagin, R.: Horn clauses and database dependencies. J. ACM 29(4), 952\u2013985 (1982)","journal-title":"J. ACM"},{"key":"9473_CR17","doi-asserted-by":"crossref","unstructured":"Fagin, R., Vardi, M.Y.: The theory of data dependencies\u2014a survey. In: Mathematics of Information Processing, Proceedings of Symposia in Applied Mathematics, vol. 34, pp. 19\u201371. American Mathematical Society (1986)","DOI":"10.1090\/psapm\/034\/846853"},{"key":"9473_CR18","unstructured":"Fallside, D.C., Walmsley, P.: RDF schema 1.1, W3C recommendation 25 February 2014 (2014). http:\/\/www.w3.org\/TR\/2014\/REC-rdf-schema-20140225\/"},{"key":"9473_CR19","unstructured":"Fallside, D.C., Walmsley, P.: XML schema part 0: Primer second edition, W3C recommendation 28 October 2004 (2004). http:\/\/www.w3.org\/TR\/2004\/REC-xmlschema-0-20041028\/"},{"key":"9473_CR20","doi-asserted-by":"crossref","unstructured":"Fan, W., Geerts, F., Jia, X.: Conditional dependencies: A principled approach to improving data quality. In: Dataspace: The Final Frontier, Lecture Notes in Computer Science, vol. 5588, pp. 8\u201320. Springer (2009)","DOI":"10.1007\/978-3-642-02843-4_4"},{"issue":"2","key":"9473_CR21","first-page":"6:1","volume":"33","author":"W Fan","year":"2008","unstructured":"Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: Conditional functional dependencies for capturing data inconsistencies. ACM Trans. Database Syst. 33(2), 6:1\u20136:48 (2008)","journal-title":"ACM Trans. Database Syst."},{"key":"9473_CR22","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: More functional dependencies for XML. In: Advances in Databases and Information Systems, Lecture Notes in Computer Science, vol. 2798, pp. 355\u2013369. Springer (2003)","DOI":"10.1007\/978-3-540-39403-7_27"},{"issue":"2","key":"9473_CR23","doi-asserted-by":"crossref","first-page":"10: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. Database Syst. 34(2), 10:1\u201310:33 (2009)","journal-title":"ACM Trans. Database Syst."},{"key":"9473_CR24","doi-asserted-by":"crossref","unstructured":"He, Q., Ling, T.W.: Extending and inferring functional dependencies in schema transformation. In: Proceedings of the Thirteenth ACM International Conference on Information and Knowledge Management, CIKM \u201904, pp. 12\u201321. ACM (2004)","DOI":"10.1145\/1031171.1031177"},{"key":"9473_CR25","doi-asserted-by":"crossref","unstructured":"Hellings, J., Gyssens, M., Paredaens, J., Wu, Y.: Implication and axiomatization of functional constraints on patterns with an application to the RDF data model. In: Foundations of Information and Knowledge Systems, Lecture Notes in Computer Science, vol. 8367, pp. 250\u2013269. Springer (2014)","DOI":"10.1007\/978-3-319-04939-7_12"},{"key":"9473_CR26","unstructured":"Kanellakis, P.C.: Elements of relational database theory. Tech. Rep. CS-89-39, Brown University (1989)"},{"key":"9473_CR27","doi-asserted-by":"crossref","unstructured":"Lausen, G., Meier, M., Schmidt, M.: SPARQLing constraints for RDF. In: Proceedings of the 11th International Conference on Extending Database Technology: Advances in Database Technology, EDBT \u201908, pp. 499\u2013509 (2008)","DOI":"10.1145\/1353343.1353404"},{"key":"9473_CR28","unstructured":"Niewerth, M., Schwentick, T.: Reasoning about XML constraints based on XML-to-relational mappings. In: Proceedings of the 17th International Conference on Database Theory, ICDT \u201914, pp. 72\u201383 (2014)"},{"key":"9473_CR29","unstructured":"Vardi, M.Y.: Fundamentals of dependency theory. In: Trends in Theoretical Computer Science, Principles of Computer Science Series, vol. 34, pp. 171\u2013224. Computer Science Press (1987)"},{"issue":"4","key":"9473_CR30","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1016\/j.jcss.2012.01.003","volume":"78","author":"MW Vincent","year":"2012","unstructured":"Vincent, M.W., Liu, J., Mohania, M.: The implication problem for \u2018closest node\u2018 functional dependencies in complete XML documents. J. Comput. Syst. Sci. 78 (4), 1045\u20131098 (2012)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"9473_CR31","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1145\/1093382.1093385","volume":"30","author":"J Wijsen","year":"2005","unstructured":"Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. 30 (3), 722\u2013768 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"9473_CR32","doi-asserted-by":"crossref","unstructured":"Yu, Y., Heflin, J.: Extending functional dependency to detect abnormal data in RDF graphs. In: The Semantic Web ISWC 2011, Lecture Notes in Computer Science, vol. 7031, pp. 794\u2013809. Springer (2011)","DOI":"10.1007\/978-3-642-25073-6_50"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9473-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-015-9473-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9473-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T01:30:13Z","timestamp":1567042213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-015-9473-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,9]]},"references-count":32,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9473"],"URL":"https:\/\/doi.org\/10.1007\/s10472-015-9473-7","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,9]]}}}