Postgresql Create Table Default Value Sequence Formula