Functional and Inclusion Dependencies