On the finite and general implication problems of independence atoms and keys

Miika Hannula, Juha Kontinen, Sebastian Link. On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci., 82(5):856-877, 2016. [doi]

Abstract

Abstract is missing.