{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T02:12:03Z","timestamp":1772676723081,"version":"3.50.1"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319914572","type":"print"},{"value":"9783319914589","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91458-9_21","type":"book-chapter","created":{"date-parts":[[2018,5,11]],"date-time":"2018-05-11T20:34:15Z","timestamp":1526070855000},"page":"353-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["On the Interaction of Functional and Inclusion Dependencies with Independence Atoms"],"prefix":"10.1007","author":[{"given":"Miika","family":"Hannula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,12]]},"reference":[{"issue":"4","key":"21_CR1","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s00778-015-0389-y","volume":"24","author":"Z Abedjan","year":"2015","unstructured":"Abedjan, Z., Golab, L., Naumann, F.: Profiling relational data: a survey. VLDB J. 24(4), 557\u2013581 (2015)","journal-title":"VLDB J."},{"key":"21_CR2","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"issue":"3","key":"21_CR3","doi-asserted-by":"publisher","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":"21_CR4","unstructured":"Armstrong, W.W.: Dependency structures of data base relationships. In: Proceedings of IFIP World Computer Congress, pp. 580\u2013583 (1974)"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/320064.320066","volume":"4","author":"C Beeri","year":"1979","unstructured":"Beeri, C., Bernstein, P.A.: Computational problems related to the design of normal form relational schemas. ACM Trans. Database Syst. 4(1), 30\u201359 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependenciesin database relations. In: SIGMOD, pp. 47\u201361 (1977)","DOI":"10.1145\/509404.509414"},{"issue":"1","key":"21_CR7","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/s10207-004-0032-1","volume":"3","author":"J Biskup","year":"2004","unstructured":"Biskup, J., Bonatti, P.A.: Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec. 3(1), 14\u201327 (2004)","journal-title":"Int. J. Inf. Sec."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Casanova, M.A., Fagin, R., Papadimitriou, C.H.: Inclusion dependencies and their interaction with functional dependencies. In: PODS, pp. 171\u2013176 (1982)","DOI":"10.1145\/588140.588141"},{"issue":"1","key":"21_CR9","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0022-0000(84)90075-8","volume":"28","author":"MA Casanova","year":"1984","unstructured":"Casanova, M.A., Fagin, R., Papadimitriou, C.H.: Inclusion dependencies and their interaction with functional dependencies. J. Comput. Syst. Sci. 28(1), 29\u201359 (1984)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1137\/0214049","volume":"14","author":"AK Chandra","year":"1985","unstructured":"Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies is undecidable. SIAM J. Comput. 14(3), 671\u2013677 (1985)","journal-title":"SIAM J. Comput."},{"key":"21_CR11","first-page":"65","volume-title":"Database Systems","author":"EF Codd","year":"1972","unstructured":"Codd, E.F.: Relational completeness of data base sublanguages. In: Rustin, R. (ed.) Database Systems, pp. 65\u201398. Prentice Hall and IBM Research Report RJ 987, San Jose (1972)"},{"issue":"1","key":"21_CR12","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/78935.78937","volume":"37","author":"SS Cosmadakis","year":"1990","unstructured":"Cosmadakis, S.S., Kanellakis, P.C., Vardi, M.Y.: Polynomial-time implication problems for unary inclusion dependencies. J. ACM 37(1), 15\u201346 (1990)","journal-title":"J. ACM"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320557.320571","volume":"2","author":"R Fagin","year":"1977","unstructured":"Fagin, R.: Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2, 262\u2013278 (1977)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"21_CR14","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/322290.322296","volume":"29","author":"Z Galil","year":"1982","unstructured":"Galil, Z.: An almost linear-time algorithm for computing a dependency basis in a relational database. J. ACM 29(1), 96\u2013102 (1982)","journal-title":"J. ACM"},{"issue":"1","key":"21_CR15","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/0890-5401(91)90077-F","volume":"91","author":"D Geiger","year":"1991","unstructured":"Geiger, D., Paz, A., Pearl, J.: Axioms and algorithms for inferences involving probabilistic independence. Inf. Comput. 91(1), 128\u2013141 (1991)","journal-title":"Inf. Comput."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Hannula, M.: Reasoning about embedded dependencies using inclusion dependencies. In: LPAR-20, pp. 16\u201330 (2015)","DOI":"10.1007\/978-3-662-48899-7_2"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Hannula, M., Kontinen, J.: A finite axiomatization of conditional independence and inclusion dependencies. In: FoIKS, pp. 211\u2013229 (2014)","DOI":"10.1007\/978-3-319-04939-7_10"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.ic.2016.04.001","volume":"249","author":"M Hannula","year":"2016","unstructured":"Hannula, M., Kontinen, J.: A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. 249, 121\u2013137 (2016)","journal-title":"Inf. Comput."},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Hannula, M., Kontinen, J., Link, S.: On independence atoms and keys. In: CIKM, pp. 1229\u20131238 (2014)","DOI":"10.1145\/2661829.2662058"},{"issue":"5","key":"21_CR20","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1016\/j.jcss.2016.02.007","volume":"82","author":"M Hannula","year":"2016","unstructured":"Hannula, M., Kontinen, J., Link, S.: On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci. 82(5), 856\u2013877 (2016)","journal-title":"J. Comput. Syst. Sci."},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Hannula, M., Kontinen, J., Link, S.: On the interaction of inclusion dependencies with independence atoms. In: LPAR-21, pp. 212\u2013226 (2017)","DOI":"10.29007\/2pgn"},{"key":"21_CR22","unstructured":"Hannula, M., Link, S.: On the interaction of functional and inclusion dependencies with independence atoms. Report CDMTCS-518. Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand, February 2018"},{"issue":"2","key":"21_CR23","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1148","volume":"122","author":"C Herrmann","year":"1995","unstructured":"Herrmann, C.: On the undecidability of implications between embedded multivalued database dependencies. Inf. Comput. 122(2), 221\u2013235 (1995)","journal-title":"Inf. Comput."},{"issue":"12","key":"21_CR24","doi-asserted-by":"publisher","first-page":"1847","DOI":"10.1016\/j.ic.2006.09.002","volume":"204","author":"C Herrmann","year":"2006","unstructured":"Herrmann, C.: Corrigendum to on the undecidability of implications between embedded multivalued database dependencies. Inf. Comput. 204(12), 1847\u20131851 (2006)","journal-title":"Inf. Comput."},{"issue":"11","key":"21_CR25","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/368996.369025","volume":"5","author":"AB Kahn","year":"1962","unstructured":"Kahn, A.B.: Topological sorting of large networks. Commun. ACM 5(11), 558\u2013562 (1962)","journal-title":"Commun. ACM"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"Kanellakis, P.C.: Elements of relational database theory. In: Handbook of Theoretical Computer Science, pp. 1073\u20131156 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Kontinen, J., Link, S., V\u00e4\u00e4n\u00e4nen, J.A.: Independence in database relations. In: WoLLIC, pp. 179\u2013193 (2013)","DOI":"10.1007\/978-3-642-39992-3_17"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Leinders, D., Van den Bussche, J.: On the complexity of division and set joins in the relational algebra. In: PODS, pp. 76\u201383 (2005)","DOI":"10.1145\/1065167.1065178"},{"issue":"3\u20134","key":"21_CR29","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0020-0190(99)00095-2","volume":"71","author":"M Levene","year":"1999","unstructured":"Levene, M., Loizou, G.: How to prevent interaction of functional and inclusion dependencies. Inf. Process. Lett. 71(3\u20134), 115\u2013125 (1999)","journal-title":"Inf. Process. Lett."},{"issue":"1\u20132","key":"21_CR30","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1016\/S0304-3975(00)00394-7","volume":"254","author":"M Levene","year":"2001","unstructured":"Levene, M., Loizou, G.: Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies. Theor. Comput. Sci. 254(1\u20132), 683\u2013690 (2001)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"21_CR31","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst. 4(4), 455\u2013469 (1979)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"21_CR32","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/S0019-9958(83)80002-3","volume":"56","author":"JC Mitchell","year":"1983","unstructured":"Mitchell, J.C.: The implication problem for functional and inclusion dependencies. Inf. Control 56(3), 154\u2013173 (1983)","journal-title":"Inf. Control"},{"key":"21_CR33","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C.: Inference rules for functional and inclusion dependencies. In: PODS, pp. 58\u201369 (1983)","DOI":"10.1145\/588063.588067"},{"issue":"10","key":"21_CR34","first-page":"1082","volume":"8","author":"T Papenbrock","year":"2015","unstructured":"Papenbrock, T., Ehrlich, J., Marten, J., Neubert, T., Rudolph, J.-P., Sch\u00f6nberg, M., Zwiener, J., Naumann, F.: Functional dependency discovery: an experimental evaluation of seven algorithms. PVLDB 8(10), 1082\u20131093 (2015)","journal-title":"PVLDB"},{"issue":"3","key":"21_CR35","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/0022-0000(80)90011-2","volume":"20","author":"J Paredaens","year":"1980","unstructured":"Paredaens, J.: The interaction of integrity constraints in an information system. J. Comput. Syst. Sci. 20(3), 310\u2013329 (1980)","journal-title":"J. Comput. Syst. Sci."},{"key":"21_CR36","doi-asserted-by":"crossref","unstructured":"Parker Jr., D.S., Parsaye-Ghomi, K.: Inferences involving embedded multivalued dependencies and transitive dependencies. In: SIGMOD, pp. 52\u201357 (1980)","DOI":"10.1145\/582250.582259"},{"key":"21_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-12018-6","volume-title":"Dependencies in Relational Databases","author":"B Thalheim","year":"1991","unstructured":"Thalheim, B.: Dependencies in Relational Databases. Teubner, Stuttgart (1991)"}],"container-title":["Lecture Notes in Computer Science","Database Systems for Advanced Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91458-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:09:03Z","timestamp":1751634543000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91458-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319914572","9783319914589"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91458-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"12 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DASFAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Database Systems for Advanced Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast, QLD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 May 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dasfaa2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ict.griffith.edu.au\/conferences\/dasfaa2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}