sql: introduce cast from STRING to DATETIME

This patch introduces explicit cast from STRING to DATETIME.

Follow-up #6773

NO_DOC=DATETIME has already been introduced.
NO_CHANGELOG=DATETIME has already been introduced.