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

Re: [Core](PRD] safeness

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Wed, 10 Jun 2009 11:03:53 +0200
To: Gary Hallmark <gary.hallmark@oracle.com>
Cc: RIF <public-rif-wg@w3.org>
Message-ID: <OF790E6B0D.5A2A3FD1-ONC12575D1.0030C2B7-C12575D1.0031CB88@fr.ibm.com>
********* NOTICE **********
My new email address at IBM is: csma@fr.ibm.com
My ILOG email address will not be forwarded after June 8
*****************************


Gary Hallmark <gary.hallmark@oracle.com> wrote on 09/06/2009 22:54:27:
> 
> R1: if not(P(?x) and ?x=1) then Q(1)
> 
> I claim R1 is safe because ?x is bounded and used only "inside the not".

No, R1 is not safe either, I think; because x can be bound to anything 
(any x!=1 satisfies the condition, independent of P).

Christian


ILOG, an IBM Company
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10



Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 
Courbevoie
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 ?
SIREN/SIRET : 552 118 465 02430
Received on Wednesday, 10 June 2009 09:05:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 10 June 2009 09:05:39 GMT