W3C home > Mailing lists > Public > public-rif-wg@w3.org > April 2009

[Core] new definition of safeness

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Thu, 30 Apr 2009 18:26:41 +0200
Message-ID: <49F9D141.9050509@inf.unibz.it>
To: RIF <public-rif-wg@w3.org>
It turns out that the earlier definition of safeness I contrived is not
very extensible.  And as you may have noticed, it's not all that easy to
understand.  Also, it precluded the use of "output" variables of
external predicates to be used as inputs for other externals.
So, I came up with a new definition that addresses these issues:

Please have a look.  The new definition uses a kind of normalization to
deal with disjunction and defines the notion of equivalence classes for
variables to deal with equality.
So, I needed some additional preliminary definitions, but the definition
of safeness itself is more straightforward.

I will now work on the extension with strong safeness, which should not
be too hard.


Received on Thursday, 30 April 2009 16:27:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:55 UTC