Postgres Check Constraint Dbms Definition Computer Science