CHECK y DEFAULT: reglas y valores iniciales
Impediremos stock negativo y definiremos la cantidad omitida. Distinguiremos cero, omisión y NULL.
DEFAULT aporta valor si se omite la columna, no sustituye NULL explícito. CHECK evalúa condición, pero NULL no falla en SQLite. Añade NOT NULL si es obligatorio.