Postgresql Create Function In Specification