A proposição "um banco de dados não pode conter valores de chaves estrangeiras sem correspondentes" remete ao conceito de