{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:22Z","timestamp":1773939142169,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642399916","type":"print"},{"value":"9783642399923","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39992-3_17","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T10:08:18Z","timestamp":1376474898000},"page":"179-193","source":"Crossref","is-referenced-by-count":19,"title":["Independence in Database Relations"],"prefix":"10.1007","author":[{"given":"Juha","family":"Kontinen","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[]},{"given":"Jouko","family":"V\u00e4\u00e4n\u00e4nen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In: SIGMOD Conference, pp. 47\u201361. ACM (1977)","DOI":"10.1145\/509412.509414"},{"issue":"1","key":"17_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.2517-6161.1979.tb01052.x","volume":"41","author":"A.P. Dawid","year":"1979","unstructured":"Dawid, A.P.: Conditional independence in statistical theory. Journal of the Royal Statistical Society. Series B (Methodological)\u00a041(1), 1\u201331 (1979)","journal-title":"Journal of the Royal Statistical Society. Series B (Methodological)"},{"issue":"3","key":"17_CR3","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.\u00a02(3), 262\u2013278 (1977)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"17_CR4","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. J. ACM\u00a029(4), 952\u2013985 (1982)","journal-title":"J. ACM"},{"issue":"1","key":"17_CR5","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\u00a029(1), 96\u2013102 (1982)","journal-title":"J. ACM"},{"issue":"4","key":"17_CR6","doi-asserted-by":"publisher","first-page":"2001","DOI":"10.1214\/aos\/1176349407","volume":"21","author":"D. Geiger","year":"1993","unstructured":"Geiger, D., Pearl, J.: Logical and algorithmic properties of conditional independence and graphical models. The Annals of Statistics\u00a021(4), 2001\u20132021 (1993)","journal-title":"The Annals of Statistics"},{"issue":"1","key":"17_CR7","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.\u00a091(1), 128\u2013141 (1991)","journal-title":"Inf. Comput."},{"issue":"2","key":"17_CR8","doi-asserted-by":"publisher","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\u00a0101(2), 399\u2013410 (2013)","journal-title":"Studia Logica"},{"key":"17_CR9","unstructured":"Halpern, J.: Reasoning about uncertainty. MIT Press (2005)"},{"issue":"2","key":"17_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2188349.2188355","volume":"37","author":"S. Hartmann","year":"2012","unstructured":"Hartmann, S., Link, S.: The implication problem of data dependencies over SQL table definitions. ACM Trans. Datab. Syst.\u00a037(2), 13.1\u201313.52 (2012)","journal-title":"ACM Trans. Datab. Syst."},{"issue":"12","key":"17_CR11","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.: On the undecidability of implications between embedded multivalued database dependencies. Inf. Comput.\u00a0204(12), 1847\u20131851 (2006)","journal-title":"Inf. Comput."},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1016\/j.is.2009.11.002","volume":"35","author":"W. Langeveldt","year":"2010","unstructured":"Langeveldt, W., Link, S.: Empirical evidence for the usefulness of Armstrong relations on the acquisition of meaningful FDs. Inf. Syst.\u00a035(3), 352\u2013374 (2010)","journal-title":"Inf. Syst."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"More, S.M., Naumov, P., Sapp, B.: Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. In: CSL, vol.\u00a012, pp. 443\u2013457 (2011)","DOI":"10.1007\/978-3-642-24130-7_16"},{"issue":"5","key":"17_CR14","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1007\/s11225-012-9435-6","volume":"100","author":"P. Naumov","year":"2012","unstructured":"Naumov, P.: Independence in information spaces. Studia Logica\u00a0100(5), 953\u2013973 (2012)","journal-title":"Studia Logica"},{"issue":"3","key":"17_CR15","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.\u00a020(3), 310\u2013329 (1980)","journal-title":"J. Comput. Syst. Sci."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Parker Jr., D., Parsaye-Ghomi, K.: Inferences involving embedded multivalued dependencies and transitive dependencies. In: SIGMOD Conference, pp. 52\u201357 (1980)","DOI":"10.1145\/582250.582259"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"issue":"4","key":"17_CR18","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/320576.320580","volume":"2","author":"J. Rissanen","year":"1977","unstructured":"Rissanen, J.: Independent components of relations. ACM Trans. Database Syst.\u00a02(4), 317\u2013325 (1977)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"17_CR19","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/322261.322263","volume":"28","author":"Y. Sagiv","year":"1981","unstructured":"Sagiv, Y., Delobel, C., Parker Jr., D., Fagin, R.: An equivalence between relational database dependencies and a fragment of propositional logic. J. ACM\u00a028(3), 435\u2013453 (1981)","journal-title":"J. ACM"},{"issue":"1","key":"17_CR20","doi-asserted-by":"publisher","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\u00a029(1), 103\u2013117 (1982)","journal-title":"J. ACM"},{"key":"17_CR21","unstructured":"Studen\u00fd, M.: Conditional independence relations have no finite complete characterization. In: Transactions of the 11th Prague Conference on Information Theory, pp. 377\u2013396. Kluwer (1992)"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Dependencies in relational databases. Teubner (1991)","DOI":"10.1007\/978-3-663-12018-6"},{"key":"17_CR23","volume-title":"Moderne Algebra. J.","author":"B.L. Waerden van der","year":"1940","unstructured":"van der Waerden, B.L.: Moderne Algebra. J. Springer, Berlin (1940)"},{"issue":"3","key":"17_CR24","doi-asserted-by":"publisher","first-page":"509","DOI":"10.2307\/2371182","volume":"57","author":"H. Whitney","year":"1935","unstructured":"Whitney, H.: On the Abstract Properties of Linear Dependence. Amer. J. Math.\u00a057(3), 509\u2013533 (1935)","journal-title":"Amer. J. Math."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39992-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,3]],"date-time":"2022-03-03T18:57:51Z","timestamp":1646333871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}