W3C home > Mailing lists > Public > www-ws-desc@w3.org > March 2009

[Bug 6566] predicate part of Z schema doesn't fully capture requirement

From: <bugzilla@wiggum.w3.org>
Date: Mon, 23 Mar 2009 13:45:53 +0000
To: www-ws-desc@w3.org
Message-Id: <E1LlkTR-0003ek-94@wiggum.w3.org>

--- Comment #1 from Arthur Ryman <ryman@ca.ibm.com>  2009-03-23 13:45:52 ---
Mark, I looked at the predicate and agree with your comment. If either the set
of operations or faults is empty then there are no triples of the universally
quantified predicate so the condition is a no-op. 

The English text that describes the predicates is correct.

The fix is to split the predicate into two parts, one for operations and one
for faults.

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Monday, 23 March 2009 13:46:03 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:55:06 UTC