/*If you created the table product with an id column,
then the sequence is not simply called product,
but rather product_id_seq (that is, ${table}_${column}_seq).
This is the ALTER SEQUENCE command you need: */
ALTER SEQUENCE users_id_seq RESTART WITH 1453;