Segundo Elmasri e Navathe (2019), qual o tipo de restrição afirma que nenhum valor de chave primária pode ser NULL?