Reject a negative quantity with CHECK.
SQL: Combine NOT NULL and CHECK because an unknown NULL check result is normally accepted.
CREATE TABLE stock (id INTEGER PRIMARY KEY,quantity INTEGER NOT NULL CHECK(quantity>=0));
INSERT INTO stock VALUES (1,3);
SELECT quantity FROM stock;Expected output EXAMPLE
3
Details
Run in a scratch SQL database. These portable examples are executed on both PostgreSQL and SQLite. Result rows below use | between columns, without headers; client display formatting may differ. Combine NOT NULL and CHECK because an unknown NULL check result is normally accepted. The CREATE and INSERT statements provide all input data. Run the complete example in a fresh scratch database or schema.
Tested on Ubuntu 24.04.5 LTS · · SQLite 3.45.1; PostgreSQL 18.6 (Debian 18.6-1.pgdg13+2) · bash 5.2.21-2ubuntu4; coreutils 9.4-3ubuntu6.3; psycopg 3.2.10; pymssql 2.3.8
Test inputs, results and environment
The exact published code ran in a dedicated Linux test container with prepared inputs. Snippet process uid 65534 with a read-only root filesystem and temporary working files. Database services use a private internal Docker network without published ports. Fresh scratch schema/database for each case; test database administrator credentials are confined to these disposable services. Fixtures and output records are isolated from the application database. Testing covers this example and its stated checks, not every input, operating system, or runtime version. The Linux container shares its host's kernel; this is not a native Windows test.
- Architecture / host kernel
- x86_64 / 6.18.54.1-microsoft-standard-WSL2
- Snippet identity / locale
- uid=65534, gid=65534 (unprivileged process) / C.UTF-8
- Interpreter invocation
Execute the exact SQL in a fresh database/schema; serialize result rows with | separators- Container image ID
sha256:ec91410a8f6ec3e985830b5e3a0560306d36f8c1c5ccd91a6699abe707123fa3- Code SHA-256
d3f8a49331e2f4b2089b837ba5171098a84ad9fcc2e6e8e109f508f3435f7411- Dependencies
- bash 5.2.21-2ubuntu4; coreutils 9.4-3ubuntu6.3; psycopg 3.2.10; pymssql 2.3.8
Test input setup
These are the prepared inputs used by the test harness. See Details above for the prerequisites and how to run this example.
# No input files required.
Observed standard output
3
Exit code: 0. Standard error: empty. Validation: Exact stdout comparison. System-dependent values above are one recorded run.
Additional assertions that passed
Checks recorded by the test harness. Where Python assertions are shown, browser cases use Playwright and simulator cases may inspect pin transitions: result.stdout is captured output, work is the temporary directory, and Path is pathlib.Path. The harness also imports json and csv.
Every tested engine rejected this invalid write with an integrity/constraint error: INSERT INTO stock VALUES (2,-1);