A restrição de integridade referencial da chave primária é definida por meio da instrução CHECK(salario>=0).
