Как преобразовать массив чисел в отметку времени в MySQL?

Question

У меня есть значение даты, сохраненное в таком формате:

"timestamp": [
 2020,
 2,
 14,
 15,
 45,
 47,
 8000000
]

Я понятия не имею, что это за формат. Я не нашел решения о том, как преобразовать этот массив чисел в MySQL отметку времени с помощью MySQL инструментов. Кто-нибудь может дать мне подсказку об этом?