Для каждого значения FK должно существовать соответствующее значение ключа в главном отношении.