[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: Re: Alternative approach for key/keyref
> I would propose to replace "ancestors" with "parents", and to rewrite > this subsection accordingly. Then, 7.4 will become a lot simpler and > we can still mimick ID/IDREF. > > Here is my rewrite. To make a fair comparison of the relative complexity you need to do a formalization using inference rules that prove a keyAmbig() judgement. If you do this, I think you will find your proposal is a little simpler, but a not lot. It's certainly much weaker and in my view much more ad-hoc. James
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC