Inclusion dependencies