No contexto de bancos de dados, um tipo de restrição de integridade assegura que valores de uma coluna em uma tabela são válidos baseados nos valores em uma outra tabela relacionada. Por exemplo, se um produto de COD $75DF foi cadastrado em uma tabela de Vendas, então um produto com COD $75DF deve existir na tabela de produtos relacionada. Resumindo, cada valor de uma chave estrangeira deve corresponder a um valor de uma chave primária existente, servindo para manter a consistência entre tuplas de duas relações, existindo em consequência dos relacionamentos entre entidades. O tipo de restrição é denominado integridade: