{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:44:52Z","timestamp":1759146292060},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662488980"},{"type":"electronic","value":"9783662488997"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_2","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T03:59:28Z","timestamp":1448078368000},"page":"16-30","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning About Embedded Dependencies Using Inclusion Dependencies"],"prefix":"10.1007","author":[{"given":"Miika","family":"Hannula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"issue":"3","key":"2_CR1","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":"2_CR2","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, 455\u2013469 (1979)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"2_CR3","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. J. ACM 31(4), 718\u2013741 (1984)","journal-title":"J. ACM"},{"issue":"3","key":"2_CR4","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."},{"issue":"3","key":"2_CR5","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":"2_CR6","doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Dependencies in Relational Databases. Teubner-Texte zur Mathematik. Springer, New York (1991)","DOI":"10.1007\/978-3-663-12018-6"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C.: Inference rules for functional and inclusion dependencies. In: Fagin, R., Bernstein, P.A. (eds.) (PODS), pp. 58\u201369. ACM (1983)","DOI":"10.1145\/588058.588067"},{"issue":"4","key":"2_CR8","first-page":"539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Compositional semantics for a language of imperfect information. J. Interest Group Pure Appl. Logics 5(4), 539\u2013563 (1997)","journal-title":"J. Interest Group Pure Appl. Logics"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P Galliani","year":"2012","unstructured":"Galliani, P.: Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information. Ann. Pure Appl. Log. 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic. Cambridge University Press, Cambridge (2007)"},{"key":"2_CR11","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","first-page":"281","volume-title":"Computer Science Logic 2013 (CSL 2013)","author":"P Galliani","year":"2013","unstructured":"Galliani, P., Hella, L.: Inclusion Logic and Fixed Point Logic. In: Rocca, S.R.D. (ed.) Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), vol. 23, pp. 281\u2013295. Dagstuhl, Germany, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2013)"},{"issue":"1","key":"2_CR12","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/S0019-9958(86)80029-8","volume":"68","author":"N Immerman","year":"1986","unstructured":"Immerman, N.: Relational queries computable in polynomial time. Inf. Control 68(1), 86\u2013104 (1986)","journal-title":"Inf. Control"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: The complexity of relational query languages. In: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, pp. 137\u2013146. ACM (1982)","DOI":"10.1145\/800070.802186"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-319-04939-7_10","volume-title":"Foundations of Information and Knowledge Systems","author":"M Hannula","year":"2014","unstructured":"Hannula, M., Kontinen, J.: A finite axiomatization of conditional independence and inclusion dependencies. In: Beierle, C., Meghini, C. (eds.) FoIKS 2014. LNCS, vol. 8367, pp. 211\u2013229. Springer, Heidelberg (2014)"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/0022-0000(82)90008-3","volume":"25","author":"M Yannakakis","year":"1982","unstructured":"Yannakakis, M., Papadimitriou, C.H.: Algebraic dependencies. J. Comput. Syst. Sci. 25(1), 2\u201341 (1982)","journal-title":"J. Comput. Syst. Sci."},{"key":"2_CR16","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading (1995)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Hannula, M.: Reasoning about embedded dependencies using inclusion dependencies. CoRR abs\/1507.00655 (2015)","DOI":"10.1007\/978-3-662-48899-7_2"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48899-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:31:51Z","timestamp":1559331111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}