Em um modelo de banco de dados, frequentemente deseja-se 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. Essa condição é chamada de