Postgresql Function Parameter Default Value Definition