Uma propriedade definida em uma tabela que impede que as modificações de dados que criariam dados inválidos.