W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1605] The inference engine is not specified (only the rule base it uses is)

From: <bugzilla@wiggum.w3.org>
Date: Wed, 20 Jul 2005 23:46:17 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DvOGX-0008Lb-Bu@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1605





------- Additional Comments From simeon@us.ibm.com  2005-07-20 23:46 -------
As an addition:

we should have a 4. item which talks about non-determinism and errors.

Notably:
  * An error is either raised when you reach a conclusion of the form 'Expr
raises Error' or when no conclusion can be reached.

  * In the cases several conclusions can be reached, the result is
non-deterministic. Note that this can only occur for the dynamic semantics, not
the static semantics.

For instance, consider the expression:

  true() or fn:error()

The inference rules can allow to infer both:

  dynEnv |- true() or fn:error() raises Error

as well as

  dynEnv |- true() or fn:error() => true()

and both results are acceptable for the query.

- Jerome
Received on Wednesday, 20 July 2005 23:46:27 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC