- From: <bugzilla@wiggum.w3.org>
- Date: Sun, 22 Jun 2008 17:04:58 +0000
- To: public-xml-schema-testsuite@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4076 --- Comment #2 from Michael Kay <mike@saxonica.com> 2008-06-22 17:04:57 --- Discussion of this bug led to long and complex discussion trying to understand the spec. We conjectured that the rules for key/keyref could be replaced by creating some kind of assertion: given E1 with keyref name=KR select=S field=F and E2 with key name=KN select=T field=G, we are saying something like for each E1 for each s in eval(S) let v := eval(F) for each E2 some t in eval(T) satisfies eval(G) = v But en route we confirmed that it seems to be the case that a keyref with lower scope that the key won't be satisfied. -- 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 Sunday, 22 June 2008 17:05:31 UTC