Integridade referencial
A garantia de que chaves estrangeiras sempre apontam para uma linha que existe — sem "órfãos".
O banco recusa o INSERT se a FK aponta para o nada. No DELETE de uma linha pai: CASCADE (apaga os filhos), RESTRICT (recusa) ou SET NULL. Arquiteturas modernas de microsserviços muitas vezes abrem mão disso em nome da flexibilidade — uma troca delicada.