MS-FO-LC1-004: static type of fn:trace

Class: Technical

 

Problem: In order to be a function that has no impact on the semantics
of the query, the fn:trace function needs to preserve the static type of
the input. The current specification does not express this.

 

Proposed solution: Mark the result type using the special indication and
define the static semantics in the formal semantics document.