De acordo com as regras de integridade, observemos a seguinte regra: “Quando desejamos garantir que um valor que aparece em uma relação para um dado conjunto de atributos também apareça para um certo conjunto de atributos de outra relação”, temos a seguinte condição:
