create table employee ( id serial primary key, name varchar(256), dept varchar(256), salary decimal(12, 4) );