Inclusion dependencies and their interaction with functional dependencies