PostgreSQL学习手册(格式化时间函数详解)