database

ACID Lab

Consistency — Valid States Only

Every transaction must bring the database from one valid state to another. Constraints ensure data integrity.

account_balance

Savings Account

Harsha's Account #4532-7891

Balance

1000.00

Database Constraints

pendingNon-Negative Balance

Account balance cannot go below zero

pendingMinimum Balance

Must maintain ₹50 minimum

pendingDaily Limit

Max ₹500 per withdrawal

pendingValid Amount

Amount must be positive

terminalSystem Logs

Waiting...

fact_check

Click Valid or Invalid to test constraints.