Когда $ date содержит значение xs: date, тогда
$date cast as xs:dateTime
выполнит эту работу.Подробности см. В разделе приведение в рекомендации XQuery
Кроме того, вы можете передать значение xs: date в функцию-конструктор xs: dateTime :
xs:dateTime($date)
Также есть специальная функция конструктора fn: dateTime , которая дает контроль над временной частью:
fn:dateTime($date, xs:time("17:30:00"))