Um conjunto de atributos FK no esquema de relação R1 é uma chave estrangeira de R1 que referencia a relação R2, se
(i) os atributos em FK tem o mesmo domínio que os atributos da chave primária PK de R2; e (ii) para cada valor de FK em uma tupla t1 do estado atual da relação r1(R1), ou ele está presente como um valor de PK para alguma tupla no estado atual r2(R2) (neste caso, podemos afirmar que t1[FK] = t2[PK]) ou ele é nulo