W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2004

[F&O] BEA_034

From: Daniela Florescu <danielaf@bea.com>
Date: Wed, 18 Feb 2004 12:10:41 -0800
Message-Id: <86CCCE7F-624E-11D8-9AD3-0003937198F4@bea.com>
To: public-qt-comments@w3.org

Function and Operators: request for functionality


It is often required to test if a data model instance
would validate correctly, without actually attempting the
validation operation (which, if unsuccessful, raises
an irrecoverable error).

The signature of the function is:

fn:validatesCorrectly($x as node*) as xs:boolean
/* the name doesn't matter of course */

The semantics can be defined in terms of the validate{} expression:
validatesCorrectly($x) returns true if and only if the expression 
validate{$x}
would perform correctly and not would raise a dynamic error.

(As for any other expression) a query processor is allowed to statically
evaluate the function to either true or false if there is guaranteed 
that
the dynamic phase would evaluate it to the same value.

Best regards.
Received on Wednesday, 18 February 2004 15:10:44 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:13:57 UTC