[MOD] XQuery, Updating DB functions: checks moved to evaluation step