CHECK e DEFAULT: regra e valor inicial
Impediremos stock negativo e definiremos quantidade omitida. Distinguiremos zero, omissão e NULL.
DEFAULT fornece valor quando a coluna é omitida, não substitui NULL explícito. CHECK testa condição, mas NULL não falha em SQLite. Adicione NOT NULL se obrigatório.