{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:50:42Z","timestamp":1773939042213,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319720555","type":"print"},{"value":"9783319720562","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","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-72056-2_12","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"190-210","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Polyteam Semantics"],"prefix":"10.1007","author":[{"given":"Miika","family":"Hannula","sequence":"first","affiliation":[]},{"given":"Juha","family":"Kontinen","sequence":"additional","affiliation":[]},{"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"12_CR1","unstructured":"Armstrong, W.W.: Dependency structures of data base relationships. In: Proceedings of IFIP World Computer Congress, pp. 580\u2013583 (1974)"},{"issue":"1","key":"12_CR2","doi-asserted-by":"crossref","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."},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-319-30024-5_15","volume-title":"Foundations of Information and Knowledge Systems","author":"A Durand","year":"2016","unstructured":"Durand, A., Hannula, M., Kontinen, J., Meier, A., Virtema, J.: Approximation and dependence via multiteam semantics. In: Gyssens, M., Simari, G. (eds.) FoIKS 2016. LNCS, vol. 9616, pp. 271\u2013291. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-30024-5_15"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-319-31803-5_2","volume-title":"Dependence Logic: Theory and Applications","author":"A Durand","year":"2016","unstructured":"Durand, A., Kontinen, J., Vollmer, H.: Expressivity and complexity of dependence logic. In: Abramsky, S., Kontinen, J., V\u00e4\u00e4n\u00e4nen, J., Vollmer, H. (eds.) Dependence Logic: Theory and Applications, pp. 5\u201332. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31803-5_2"},{"issue":"1","key":"12_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theoret. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"12_CR6","doi-asserted-by":"crossref","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. Logic 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"12_CR7","unstructured":"Galliani, P., Hella, L.: Inclusion logic and fixed point logic. In: Proceedings of CSL, pp. 281\u2013295 (2013)"},{"issue":"1","key":"12_CR8","doi-asserted-by":"crossref","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."},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., V\u00e4\u00e4n\u00e4nen, J.A.: Dependence and independence. Studia Logica 101(2), 399\u2013410 (2013)","journal-title":"Studia Logica"},{"issue":"1","key":"12_CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.apal.2014.09.002","volume":"166","author":"M Hannula","year":"2015","unstructured":"Hannula, M.: Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Logic 166(1), 61\u201391 (2015)","journal-title":"Ann. Pure Appl. Logic"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-662-48899-7_2","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M Hannula","year":"2015","unstructured":"Hannula, M.: Reasoning about embedded dependencies using inclusion dependencies. In: Davis, M., Fehnker, A., McIver, A., Voronkov, A. (eds.) LPAR 2015. LNCS, vol. 9450, pp. 16\u201330. Springer, Heidelberg (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-662-48899-7_2"},{"key":"12_CR12","doi-asserted-by":"crossref","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."},{"issue":"5","key":"12_CR13","doi-asserted-by":"crossref","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."},{"issue":"2","key":"12_CR14","doi-asserted-by":"crossref","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":"4","key":"12_CR15","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"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Kanellakis, P.C.: Elements of relational database theory. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 1073\u20131156. MIT Press, Cambridge (1990)","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"12_CR17","unstructured":"Kontinen, J., Kuusisto, A., Virtema, J.: Decidability of predicate logics with team semantics. In: Proceedings of MFCS 2016, pp. 60:1\u201360:14 (2016)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-39992-3_17","volume-title":"Logic, Language, Information, and Computation","author":"J Kontinen","year":"2013","unstructured":"Kontinen, J., Link, S., V\u00e4\u00e4n\u00e4nen, J.: Independence in database relations. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) WoLLIC 2013. LNCS, vol. 8071, pp. 179\u2013193. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-39992-3_17"},{"issue":"18","key":"12_CR19","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10849-009-9082-0","volume":"3","author":"J Kontinen","year":"2009","unstructured":"Kontinen, J., V\u00e4\u00e4n\u00e4nen, J.: On definability in dependence logic. J. Logic Lang. Inf. 3(18), 317\u2013332 (2009)","journal-title":"J. Logic Lang. Inf."},{"issue":"11","key":"12_CR20","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1016\/j.apal.2013.05.006","volume":"164","author":"J Kontinen","year":"2013","unstructured":"Kontinen, J., V\u00e4\u00e4n\u00e4nen, J.: Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Logic 164(11), 1101\u20131117 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"12_CR21","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s10849-015-9217-4","volume":"24","author":"A Kuusisto","year":"2015","unstructured":"Kuusisto, A.: A double team semantics for generalized quantifiers. J. Logic Lang. Inf. 24(2), 149\u2013191 (2015)","journal-title":"J. Logic Lang. Inf."},{"issue":"1","key":"12_CR22","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/322290.322297","volume":"29","author":"Y Sagiv","year":"1982","unstructured":"Sagiv, Y., Walecka, S.F.: Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies. J. ACM 29(1), 103\u2013117 (1982)","journal-title":"J. ACM"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Parker Jr., D.S., Parsaye-Ghomi, K.: Inferences involving embedded multivalued dependencies and transitive dependencies. In: Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, pp. 52\u201357 (1980)","DOI":"10.1145\/582250.582259"},{"key":"12_CR24","doi-asserted-by":"crossref","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, New York (2007)"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-47843-2_12","volume-title":"Rohit Parikh on Logic, Language and Society","author":"J V\u00e4\u00e4n\u00e4nen","year":"2017","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: The logic of approximate dependence. In: Ba\u015fkent, C., Moss, L.S., Ramanujam, R. (eds.) Rohit Parikh on Logic, Language and Society, vol. 11, pp. 227\u2013234. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47843-2_12"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:36:52Z","timestamp":1511775412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}