The Implication Problem for Functional and Inclusion Dependencies John C. Mitchell 154-173 Information and Control March 1983 56 3 db/journals/iandc/iandc56.html#Mitchell83