datetime - Xpath 中的循环时间

Question

在 XPath 中舍入时间和日期时间的最简单且正确的方法是什么？

例如，如何定义函数 local:round-time-to-minutes ，以便执行以下测试用例:

let $t1 := xs:time( "12:58:37" )
let $t2 := local:round-time-to-minutes( $t1 )
return format-time( $t2, '[H01]:[m01]:[s01]' )

将返回“12:59:00”。不确定在“23:59:31”的情况下哪个更好 - 返回“00:00:00”或引发动态错误。

还有类似的函数local:round-datetime-to-minutes来处理日期时间？(它没有上面这样的边缘情况)

让这些函数使用“向正无穷大舍入一半”规则，其中一半是 30.0 秒。

Answer 1

这就是 @michael.hor257k 提出的解决方案在 XQuery 中的样子:

declare variable $ONE_MIN := xs:dayTimeDuration("PT1M");
declare variable $MIDNIGHT := xs:time("00:00:00");

declare function local:round-time-to-minutes($time) {
  $MIDNIGHT + round(($time - $MIDNIGHT) div $ONE_MIN) * $ONE_MIN
};