A finite axiomatization of conditional independence and inclusion dependencies | Read Paper on Bytez