Postgresql Create Function In Specification Definition