Para FK em uma relação R1 ser uma chave estrangeira de R1 que referencia a relação R2 cuja chave primária é PK, os atributos de FK devem ter domínios diferentes dos atributos de PK; além disso, um valor de FK em uma tupla de R1 deve ter um valor de PK para alguma tupla de R2.