  We show that a form of dependence known as G-dependence (originally
introduced by Grelling) admits a very natural finite axiomatization, as well as
Armstrong relations. We also give an explicit translation between functional
dependence and G-dependence.
