A finite axiomatization of conditional independence and inclusion dependencies

Open in new window