A finite axiomatization of conditional independence and inclusion dependencies

09/19/2013
by   Miika Hannula, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset