Emergent Mind
A finite axiomatization of conditional independence and inclusion dependencies
(1309.4927)
Published Sep 19, 2013
in
math.LO
,
cs.AI
,
cs.DB
,
and
cs.LO
Abstract
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.
We're not able to analyze this paper right now due to high demand.
Please check back later (sorry!).
Generate a summary of this paper on our Pro plan:
We ran into a problem analyzing this paper.