{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:03:27Z","timestamp":1759147407710,"version":"3.37.3"},"reference-count":67,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2016,8,1]],"date-time":"2016-08-01T00:00:00Z","timestamp":1470009600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"publisher","award":["292767","264917"],"award-info":[{"award-number":["292767","264917"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001509","name":"Royal Society of New Zealand","doi-asserted-by":"publisher","award":["3701176"],"award-info":[{"award-number":["3701176"]}],"id":[{"id":"10.13039\/501100001509","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1016\/j.jcss.2016.02.007","type":"journal-article","created":{"date-parts":[[2016,3,9]],"date-time":"2016-03-09T17:03:54Z","timestamp":1457543034000},"page":"856-877","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":15,"title":["On the finite and general implication problems of independence atoms and keys"],"prefix":"10.1016","volume":"82","author":[{"given":"Miika","family":"Hannula","sequence":"first","affiliation":[]},{"given":"Juha","family":"Kontinen","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0010","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/1228268.1228284","article-title":"Normalization theory for XML","volume":"35","author":"Arenas","year":"2006","journal-title":"SIGMOD Rec."},{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0020","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/2430456.2430458","article-title":"Querying semantic data on the web?","volume":"41","author":"Arenas","year":"2012","journal-title":"SIGMOD Rec."},{"key":"10.1016\/j.jcss.2016.02.007_br0030","series-title":"Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data","first-page":"47","article-title":"A complete axiomatization for functional and multivalued dependencies in database relations","author":"Beeri","year":"1977"},{"key":"10.1016\/j.jcss.2016.02.007_br0040","first-page":"3453","article-title":"Efficient algorithms for conditional independence inference","volume":"11","author":"Bouckaert","year":"2010","journal-title":"J. Mach. Learn. Res."},{"key":"10.1016\/j.jcss.2016.02.007_br0050","series-title":"Proceedings of the 27th European Conference on Advanced Information Systems Engineering","first-page":"118","article-title":"Probabilistic keys for data quality management","volume":"vol. 9097","author":"Brown","year":"2015"},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0060","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0306-4379(03)00050-4","article-title":"Data integration under integrity constraints","volume":"29","author":"Cal\u00ec","year":"2004","journal-title":"Inf. Syst."},{"key":"10.1016\/j.jcss.2016.02.007_br0070","series-title":"PODS","first-page":"260","article-title":"On the decidability and complexity of query answering over inconsistent and incomplete databases","author":"Cal\u00ec","year":"2003"},{"issue":"1","key":"10.1016\/j.jcss.2016.02.007_br0080","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0022-0000(84)90075-8","article-title":"Inclusion dependencies and their interaction with functional dependencies","volume":"28","author":"Casanova","year":"1984","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0090","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1137\/0214049","article-title":"The implication problem for functional and inclusion dependencies is undecidable","volume":"14","author":"Chandra","year":"1985","journal-title":"SIAM J. Comput."},{"issue":"1","key":"10.1016\/j.jcss.2016.02.007_br0100","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/78935.78937","article-title":"Polynomial-time implication problems for unary inclusion dependencies","volume":"37","author":"Cosmadakis","year":"1990","journal-title":"J. ACM"},{"issue":"1","key":"10.1016\/j.jcss.2016.02.007_br0110","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.2517-6161.1979.tb01052.x","article-title":"Conditional independence in statistical theory","volume":"41","author":"Dawid","year":"1979","journal-title":"J. R. Stat. Soc. B"},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0120","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/320263.320271","article-title":"Normalization and hierarchical dependencies in the relational data model","volume":"3","author":"Delobel","year":"1978","journal-title":"ACM Trans. Database Syst."},{"issue":"6","key":"10.1016\/j.jcss.2016.02.007_br0130","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/0020-0190(78)90013-3","article-title":"On the number of candidate keys","volume":"7","author":"Demetrovics","year":"1978","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0140","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0304-3975(97)00089-3","article-title":"Asymptotic properties of keys and functional dependencies in random databases","volume":"190","author":"Demetrovics","year":"1998","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jcss.2016.02.007_br0150","series-title":"AAAI","first-page":"3599","article-title":"Lifted probabilistic inference for asymmetric graphical models","author":"den Broeck","year":"2015"},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0160","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/320557.320571","article-title":"Multivalued dependencies and a new normal form for relational databases","volume":"2","author":"Fagin","year":"1977","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0170","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/319587.319592","article-title":"A normal form for relational databases that is based on domains and keys","volume":"6","author":"Fagin","year":"1981","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0180","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","article-title":"Horn clauses and database dependencies","volume":"29","author":"Fagin","year":"1982","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0190","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1145\/567112.567117","article-title":"On XML integrity constraints in the presence of dtds","volume":"49","author":"Fan","year":"2002","journal-title":"J. ACM"},{"issue":"1","key":"10.1016\/j.jcss.2016.02.007_br0200","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/322290.322296","article-title":"An almost linear-time algorithm for computing a dependency basis in a relational database","volume":"29","author":"Galil","year":"1982","journal-title":"J. ACM"},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0210","doi-asserted-by":"crossref","first-page":"1414","DOI":"10.14778\/1687553.1687568","article-title":"Building a highlevel dataflow system on top of mapreduce: the pig experience","volume":"2","author":"Gates","year":"2009","journal-title":"Proc. VLDB Endow."},{"issue":"1","key":"10.1016\/j.jcss.2016.02.007_br0220","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0890-5401(91)90077-F","article-title":"Axioms and algorithms for inferences involving probabilistic independence","volume":"91","author":"Geiger","year":"1991","journal-title":"Inf. Comput."},{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0230","doi-asserted-by":"crossref","first-page":"2001","DOI":"10.1214\/aos\/1176349407","article-title":"Logical and algorithmic properties of conditional independence and graphical models","volume":"21","author":"Geiger","year":"1993","journal-title":"Ann. Stat."},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0240","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","article-title":"Dependence and independence","volume":"101","author":"Gr\u00e4del","year":"2013","journal-title":"Stud. Log."},{"key":"10.1016\/j.jcss.2016.02.007_br0250","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0304-3975(85)90075-1","article-title":"Inferences for numerical dependencies","volume":"41","author":"Grant","year":"1985","journal-title":"Theor. Comput. Sci."},{"issue":"11","key":"10.1016\/j.jcss.2016.02.007_br0260","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1016\/j.ipl.2014.05.010","article-title":"On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements","volume":"114","author":"Gyssens","year":"2014","journal-title":"Inf. Process. Lett."},{"key":"10.1016\/j.jcss.2016.02.007_br0270","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.datak.2015.06.002","article-title":"Cardinality constraints on qualitatively uncertain data","volume":"99","author":"Hall","year":"2015","journal-title":"Data Knowl. Eng."},{"key":"10.1016\/j.jcss.2016.02.007_br0280","series-title":"Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems","first-page":"211","article-title":"A finite axiomatization of conditional independence and inclusion dependencies","volume":"vol. 8367","author":"Hannula","year":"2014"},{"key":"10.1016\/j.jcss.2016.02.007_br0290","series-title":"Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management","first-page":"1229","article-title":"On independence atoms and keys","author":"Hannula","year":"2014"},{"issue":"7","key":"10.1016\/j.jcss.2016.02.007_br0300","doi-asserted-by":"crossref","first-page":"1166","DOI":"10.1093\/comjnl\/bxq073","article-title":"On Codd families of keys over incomplete relations","volume":"54","author":"Hartmann","year":"2011","journal-title":"Comput. J."},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0310","doi-asserted-by":"crossref","DOI":"10.1145\/1538909.1538912","article-title":"Efficient reasoning about a robust XML key fragment","volume":"34","author":"Hartmann","year":"2009","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0320","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/2188349.2188355","article-title":"The implication problem of data dependencies over SQL table definitions: axiomatic, algorithmic and logical characterizations","volume":"37","author":"Hartmann","year":"2012","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.jcss.2016.02.007_br0330","series-title":"Proceedings of the 17th International Workshop on Logic, Language, Information and Computation","first-page":"161","article-title":"Solving the implication problem for XML functional dependencies with properties","volume":"vol. 6188","author":"Hartmann","year":"2010"},{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0340","doi-asserted-by":"crossref","first-page":"301","DOI":"10.14778\/2732240.2732248","article-title":"Scalable discovery of unique column combinations","volume":"7","author":"Heise","year":"2013","journal-title":"Proc. VLDB Endow."},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0350","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1148","article-title":"On the undecidability of implications between embedded multivalued database dependencies","volume":"122","author":"Herrmann","year":"1995","journal-title":"Inf. Comput."},{"issue":"12","key":"10.1016\/j.jcss.2016.02.007_br0360","doi-asserted-by":"crossref","first-page":"1847","DOI":"10.1016\/j.ic.2006.09.002","article-title":"Corrigendum to \u201cOn the undecidability of implications between embedded multivalued database dependencies\u201d [Inform. and Comput. 122 (1995) 221\u2013235]","volume":"204","author":"Herrmann","year":"2006","journal-title":"Inf. Comput."},{"issue":"1","key":"10.1016\/j.jcss.2016.02.007_br0370","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","article-title":"Testing containment of conjunctive queries under functional and inclusion dependencies","volume":"28","author":"Johnson","year":"1984","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.jcss.2016.02.007_br0380","series-title":"Proceedings of the 14th European Conference on Logics in Artificial Intelligence","first-page":"181","article-title":"Logical foundations of possibilistic keys","volume":"vol. 8761","author":"K\u00f6hler","year":"2014"},{"key":"10.1016\/j.jcss.2016.02.007_br0390","series-title":"CIKM","first-page":"1361","article-title":"Inclusion dependencies reloaded","author":"K\u00f6hler","year":"2015"},{"issue":"11","key":"10.1016\/j.jcss.2016.02.007_br0400","doi-asserted-by":"crossref","DOI":"10.14778\/2809974.2809975","article-title":"Possible and certain SQL keys","volume":"8","author":"K\u00f6hler","year":"2015","journal-title":"Proc. VLDB Endow."},{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0410","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1016\/j.jcss.2006.10.014","article-title":"Dependency-preserving normalization of relational and XML data","volume":"73","author":"Kolahi","year":"2007","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.jcss.2016.02.007_br0420","series-title":"WoLLIC","first-page":"179","article-title":"Independence in database relations","volume":"vol. 8071","author":"Kontinen","year":"2013"},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0430","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1016\/j.is.2009.11.002","article-title":"Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies","volume":"35","author":"Langeveldt","year":"2010","journal-title":"Inf. Syst."},{"key":"10.1016\/j.jcss.2016.02.007_br0440","series-title":"Semantic Web, Ontologies and Databases VLDB Workshop, Revised Selected Papers","first-page":"43","article-title":"Relational databases in RDF: keys and foreign keys","volume":"vol. 5005","author":"Lausen","year":"2008"},{"key":"10.1016\/j.jcss.2016.02.007_br0450","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.datak.2015.07.006","article-title":"Empirical evidence for the usefulness of Armstrong tables in the acquisition of semantically meaningful SQL constraints","volume":"98","author":"Le","year":"2015","journal-title":"Data Knowl. Eng."},{"issue":"3\u20134","key":"10.1016\/j.jcss.2016.02.007_br0460","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0020-0190(99)00095-2","article-title":"How to prevent interaction of functional and inclusion dependencies","volume":"71","author":"Levene","year":"1999","journal-title":"Inf. Process. Lett."},{"issue":"1\u20132","key":"10.1016\/j.jcss.2016.02.007_br0470","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1016\/S0304-3975(00)00394-7","article-title":"Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies","volume":"254","author":"Levene","year":"2001","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0480","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1109\/69.842267","article-title":"Justification for inclusion dependency normal form","volume":"12","author":"Levene","year":"2000","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"7\u20138","key":"10.1016\/j.jcss.2016.02.007_br0490","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/s00236-008-0080-5","article-title":"Charting the completeness frontier of inference systems for multivalued dependencies","volume":"45","author":"Link","year":"2008","journal-title":"Acta Inform."},{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0500","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1016\/j.jcss.2011.12.012","article-title":"Characterisations of multivalued dependency implication over undetermined universes","volume":"78","author":"Link","year":"2012","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.jcss.2016.02.007_br0510","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2015.07.017","article-title":"Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions","volume":"603","author":"Link","year":"2015","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"10.1016\/j.jcss.2016.02.007_br0520","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1016\/0022-0000(78)90009-0","article-title":"Candidate keys for relations","volume":"17","author":"Lucchesi","year":"1978","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.jcss.2016.02.007_br0530","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","article-title":"Testing implications of data dependencies","volume":"4","author":"Maier","year":"1979","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0540","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/S0019-9958(83)80002-3","article-title":"The implication problem for functional and inclusion dependencies","volume":"56","author":"Mitchell","year":"1983","journal-title":"Inf. Control"},{"issue":"5","key":"10.1016\/j.jcss.2016.02.007_br0550","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/j.ijar.2010.01.011","article-title":"Logical and algorithmic properties of stable conditional independence","volume":"51","author":"Niepert","year":"2010","journal-title":"Int. J. Approx. Reason."},{"key":"10.1016\/j.jcss.2016.02.007_br0560","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.artint.2013.06.005","article-title":"On the conditional independence implication problem: a lattice-theoretic approach","volume":"202","author":"Niepert","year":"2013","journal-title":"Artif. Intell."},{"key":"10.1016\/j.jcss.2016.02.007_br0570","unstructured":"G. Paolini, J. V\u00e4\u00e4n\u00e4nen, Dependence logic in pregeometries and \u03c9-stable theories, Arxiv e-prints, Oct. 2013."},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0580","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1016\/0022-0000(80)90011-2","article-title":"The interaction of integrity constraints in an information system","volume":"20","author":"Paredaens","year":"1980","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0590","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/0020-0255(89)90006-6","article-title":"Finite axiomatisation of languages for representation of system properties","volume":"47","author":"Petrov","year":"1989","journal-title":"Inf. Sci."},{"issue":"4","key":"10.1016\/j.jcss.2016.02.007_br0600","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1145\/320576.320580","article-title":"Independent components of relations","volume":"2","author":"Rissanen","year":"1977","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.jcss.2016.02.007_br0610","series-title":"Proceedings of the 34th International Conference on Conceptual Modeling","first-page":"214","article-title":"Probabilistic cardinality constraints","volume":"vol. 9381","author":"Roblot","year":"2015"},{"key":"10.1016\/j.jcss.2016.02.007_br0620","series-title":"Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data","first-page":"52","article-title":"Inferences involving embedded multivalued dependencies and transitive dependencies","author":"Stott Parker","year":"1980"},{"key":"10.1016\/j.jcss.2016.02.007_br0630","series-title":"Transactions of the 11th Prague Conference on Information Theory, Statistical Decision Functions and Random Processes","first-page":"377","article-title":"Conditional independence relations have no finite complete characterization","author":"Studen\u00fd","year":"1992"},{"year":"2005","series-title":"Probabilistic Conditional Independence Structures","author":"Studen\u00fd","key":"10.1016\/j.jcss.2016.02.007_br0640"},{"year":"1991","series-title":"Dependencies in Relational Databases","author":"Thalheim","key":"10.1016\/j.jcss.2016.02.007_br0650"},{"year":"2007","series-title":"Dependence Logic","author":"V\u00e4\u00e4n\u00e4nen","key":"10.1016\/j.jcss.2016.02.007_br0660"},{"issue":"3","key":"10.1016\/j.jcss.2016.02.007_br0670","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s002360050157","article-title":"Semantic foundations of 4nf in relational database design","volume":"36","author":"Vincent","year":"1999","journal-title":"Acta Inform."}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0022000016000222?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0022000016000222?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T22:25:30Z","timestamp":1718403930000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000016000222"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":67,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["S0022000016000222"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.jcss.2016.02.007","relation":{},"ISSN":["0022-0000"],"issn-type":[{"type":"print","value":"0022-0000"}],"subject":[],"published":{"date-parts":[[2016,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On the finite and general implication problems of independence atoms and keys","name":"articletitle","label":"Article Title"},{"value":"Journal of Computer and System Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.jcss.2016.02.007","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2016 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}