@article{6c64d17e236a4712a64c6c7a30f60553,
title = "On the finite and general implication problems of independence atoms and keys",
keywords = "Armstrong relation, Axiomatization, Dependence logic, Finite implication, Implication, Independence, Key, CONDITIONAL-INDEPENDENCE, INCLUSION DEPENDENCIES, FUNCTIONAL-DEPENDENCIES, INTEGRITY CONSTRAINTS, ALGORITHMIC PROPERTIES, DATABASE DEPENDENCIES, RELATIONAL DATABASE, CANDIDATE KEYS, XML, NORMALIZATION, 111 Mathematics",
author = "Miika Hannula and Juha Kontinen and Sebastian Link",
year = "2016",
month = aug,
doi = "10.1016/j.jcss.2016.02.007",
language = "English",
volume = "82",
pages = "856--877",
journal = "Journal of Computer and System Sciences",
issn = "0022-0000",
publisher = "Academic Press Inc.",
number = "5",
}