Sejam as tabelas R(A1,A2) e S(A3,A4) pertencentes a um dado esquema relacional, em que todos atributos (A1, A2, A3 e A4) assumem valores inteiros. Sabe-se também que A4 é chave estrangeira da tabela S, referenciando a tabela R.

A integridade referencial desse banco de dados relacional estará garantida quando, para qualquer tupla de S, o valor para A4