MySQL提供了timeformat()函數，用于將時間格式化為指定的格式。使用timeformat()函數需要指定兩個參數：時間和格式。

SELECT TIME_FORMAT('2019-06-18 13:17:16', '%h:%i:%s %p');

上述語句將返回格式化后的時間字符串：“01:17:16 PM”。其中，第一個參數是需要進行格式化的時間，第二個參數是格式化的樣式。在樣式字符串中，可以包含不同的占位符，用于表示不同的時間分量。

SELECT TIME_FORMAT('2019-06-18 13:17:16', '%H:%i:%s');

上述語句將返回格式化后的時間字符串：“13:17:16”。在樣式字符串中，%H表示小時（24小時制），%h表示小時（12小時制），%i表示分鐘，%s表示秒。

除此之外，還可以包含其他字符，例如空格、冒號、斜杠等等，來修改格式化結果的樣式。

SELECT TIME_FORMAT('2019-06-18 13:17:16', '%H/%i/%s');

上述語句將返回格式化后的時間字符串：“13/17/16”。在樣式字符串中，/表示斜杠。

總之，使用timeformat()函數可以簡單地將時間格式化為指定樣式的字符串，方便進行后續的操作。