[Bug 4076] addB049: key with wider scope than keyref

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