%0 Journal Article
%T A finite axiomatization of conditional independence and inclusion dependencies
%A Miika Hannula
%A Juha Kontinen
%J Mathematics
%D 2013
%I arXiv
%X We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databases, our result implies a finite axiomatization of the unrestricted implication problem for inclusion, functional, and embedded multivalued dependencies in the unirelational case.
%U http://arxiv.org/abs/1309.4927v2