postgresql: mysql functions