XQUERY возвращения строки вместо отформатированной даты

Question

Я бегу простой XQuery на хранилище XML, Xhive, и у меня возникают проблемы со значением возвращается к дате:

XQUERY:

for $x in document('')[matches(xhive:metadata(., "docato-name"),"THOCEO")][xhive:metadata(., "docato-type") = 'XML_RESOURCE_TYPE'] 
return 
<file> 
     <filename>{xhive:metadata($x, "docato-name")}</filename> 
     <validated>{xhive:metadata($x,"Last Modified")}</validated> 
</file> 

Результат :

<result> 
    <file> 
     <filename>THOCEO</filename> 
     <validated>1375875821721</validated> 
    </file> 
</result> 

Я хотел бы, «Последнее изменение» дата возвращается как отформатированный дату, как он появляется в хранилище: «2013-08-07 12:43:41» не в виде строки, как указано выше ("1375875821721 ")

Я попытался вносящий изменения в запрос к "{хз: Дата (xhive: метаданные ($ х," Last Modified "))}", но это с ошибкой:

query:8:19:XQUERY_ERROR_VALUE: casting error, cannot cast '1375875821721' from xdt:untypedAtomic to {http://www.w3.org/2001/XMLSchema}date (FORG0001: Invalid value for cast/constructor.) 

Любая помощь, чтобы вернуть «Дата последнего изменения» в качестве сфабрикованной даты была бы высоко оценена!

Спасибо!

Answer 1

Да, я бы сказал, с помощью xhive: последнего изменения (.. .) это самый простой способ, но если вы действительно хотите использовать метку времени, то здесь что-то, что я использовал в прошлом:

declare function local:timestamp-to-dateTime($v) as xs:dateTime { 
    xs:dateTime("1970-01-01T00:00:00-00:00") + xs:dayTimeDuration(concat("PT", $v idiv 1000, "S")) 
}; 

local:timestamp-to-dateTime(number("1375875821721")) 

Answer 2

Я не уверен, что это число представляет собой или как разобрать его, но вы можете попробовать xhive:last-modified() вместо этого, который возвращает xs:dateTime:

<validated>{ xhive:last-modified(fn:document-uri($x)) }</validated>