This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 742 - Maybe we should look at existential qualifiers
Summary: Maybe we should look at existential qualifiers
Status: RESOLVED FIXED
Alias: None
Product: WS Choreography
Classification: Unclassified
Component: Spec: Variables (show other bugs)
Version: unspecified
Hardware: Other other
: P2 normal
Target Milestone: --
Assignee: Martin Chapman
QA Contact: WS Choreography mailing-list
URL: http://lists.w3.org/Archives/Public/p...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-05-24 12:44 UTC by Greg Ritzinger
Modified: 2004-09-28 21:08 UTC (History)
0 users

See Also:

Attachments

Description Greg Ritzinger 2004-05-24 12:44:23 UTC 
How do I guard with more than one variable? Is there any notion of existential 
qualifier associated with this so that I can have a guard that simply says: If 
there exists an x, y and a z then ....

Maybe we should look at existential qualifiers
Comment 1 Martin Chapman 2004-09-02 15:55:42 UTC 
nick working on a proposal
Comment 2 Martin Chapman 2004-09-28 18:41:04 UTC 
proposal at: http://lists.w3.org/Archives/Public/public-ws-
chor/2004Sep/0018.html
Comment 3 Greg Ritzinger 2004-09-28 21:08:11 UTC 
Declared fixed at Sept 04 F2F, noting that some editorial clarification was
necessary.