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