{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:04:25Z","timestamp":1762506265801},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049380"},{"type":"electronic","value":"9783319049397"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04939-7_12","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T04:22:51Z","timestamp":1392870171000},"page":"250-269","source":"Crossref","is-referenced-by-count":9,"title":["Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model"],"prefix":"10.1007","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","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-23441-5_2","volume-title":"SDKB 2010","author":"W. Akhtar","year":"2011","unstructured":"Akhtar, W., Cort\u00e9s-Calabuig, \u00c1., Paredaens, J.: Constraints in RDF. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2010. LNCS, vol.\u00a06834, pp. 23\u201339. Springer, Heidelberg (2011)"},{"key":"12_CR2","unstructured":"Codd, E.F.: Relational completeness of data base sublanguages. Technical Report RJ 987, IBM Research Laboratory, San Jose, California (1972)"},{"key":"12_CR3","first-page":"1017","volume":"74","author":"E.F. Codd","year":"1974","unstructured":"Codd, E.F.: Recent investigations in relational data base systems. Information Processing\u00a074, 1017\u20131021 (1974)","journal-title":"Information Processing"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-10843-2_7","volume-title":"Automata, Languages and Programming","author":"C. Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.: The implication problem for data dependencies. In: Even, S., Kariv, O. (eds.) Automata, Languages and Programming. LNCS, vol.\u00a0115, pp. 73\u201385. Springer, Heidelberg (1981)"},{"key":"12_CR5","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"12_CR6","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 2008, pp. 499\u2013509 (2008)","DOI":"10.1145\/1352431.1352492"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-39403-7_27","volume-title":"Advances in Databases and Information Systems","author":"S. Hartmann","year":"2003","unstructured":"Hartmann, S., Link, S.: More functional dependencies for XML. In: Advances in Databases and Information Systems. In: Kalinichenko, L., Manthey, R., Thalheim, B., Wloka, U. (eds.) ADBIS 2003. LNCS, vol.\u00a02798, pp. 355\u2013369. Springer, Heidelberg (2003)"},{"issue":"5","key":"12_CR8","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. Computer Networks\u00a039(5), 473\u2013487 (2002)","journal-title":"Computer Networks"},{"issue":"2","key":"12_CR9","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 Transactions on Database Systems\u00a034(2), 10:1\u201310:33 (2009)","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"12_CR10","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.jcss.2012.01.003","volume":"78","author":"M.W. Vincent","year":"2012","unstructured":"Vincent, M.W., Liu, J., Mohania, M.: The implication problem for \u2018closest node\u2019 functional dependencies in complete XML documents. Journal of Computer and System Sciences\u00a078(4), 1045\u20131098 (2012)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"12_CR11","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 Transactions on Database Systems\u00a029(1), 195\u2013232 (2004)","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR12","unstructured":"Calbimonte, J.P., Porto, F., Keet, C.M.: Functional dependencies in OWL ABOX. In: XXIV Simp\u00f3sio Brasileiro de Banco de Dados, pp. 16\u201330 (2009)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1007\/978-3-642-25073-6_50","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y. Yu","year":"2011","unstructured":"Yu, Y., Heflin, J.: Extending functional dependency to detect abnormal data in RDF graphs. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 794\u2013809. Springer, Heidelberg (2011)"},{"key":"12_CR14","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":"12_CR15","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"Fagin, R.: Horn clauses and database dependencies. Journal of the ACM\u00a029(4), 952\u2013985 (1982)","journal-title":"Journal of the ACM"},{"issue":"3","key":"12_CR16","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1145\/1093382.1093385","volume":"30","author":"J. Wijsen","year":"2005","unstructured":"Wijsen, J.: Database repairing using updates. ACM Transactions on Database Systems\u00a030(3), 722\u2013768 (2005)","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"12_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1366102.1366103","volume":"33","author":"W. Fan","year":"2008","unstructured":"Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: Conditional functional dependencies for capturing data inconsistencies. ACM Transactions on Database Systems\u00a033(2), 6:1\u20136:48 (2008)","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR18","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 2004, pp. 12\u201321. ACM (2004)","DOI":"10.1145\/1031171.1031177"},{"key":"12_CR19","first-page":"580","volume":"74","author":"W.W. Armstrong","year":"1974","unstructured":"Armstrong, W.W.: Dependency structures of data base relationships. Information Processing\u00a074, 580\u2013583 (1974)","journal-title":"Information Processing"},{"issue":"3","key":"12_CR20","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1145\/320083.320091","volume":"4","author":"A.V. Aho","year":"1979","unstructured":"Aho, A.V., Beeri, C., Ullman, J.D.: The theory of joins in relational databases. ACM Transactions on Database Systems\u00a04(3), 297\u2013314 (1979)","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"12_CR21","doi-asserted-by":"publisher","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. Journal of the ACM\u00a031(4), 718\u2013741 (1984)","journal-title":"Journal of the ACM"},{"key":"12_CR22","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 1977, pp. 47\u201361 (1977)","DOI":"10.1145\/509412.509414"}],"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-319-04939-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T05:04:45Z","timestamp":1558847085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04939-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049380","9783319049397"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04939-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}