Re: HT's third example

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

C. M. Sperberg-McQueen writes:

> On Mar 15, 2011, at 7:00 AM, Henry S. Thompson wrote:
>
>> C. M. Sperberg-McQueen writes:
>>> ...
>>> So I think the status of the example is indeterminate
>>> in the status quo and probably should remain so:  we
>>> cannot provide a firmer footing here without a
>>> complete revision of the foundations of the spec.
>>> Unfortunately, I don't think we are in a position to do 
>>> that now.  
>> 
>> That seems to me unnecessarily pessimistic.  I attach herewith
>> ...
>> for those interested in a demonstration that Algorithm O has the
>> necessary properties and does not require "over[much] intelligence".
>
>
> I'm sorry, I may be confused.
>
> Are you suggesting that we make a particular algorithm
> for reading schema documents (and in particular your 
> algorithm O) a normative part of the spec?

No, rather to demonstrate that the work needed to push the key ideas
of Algorithm O back into the normative algebraic formulation of
<override> semantics in the spec. is worth the effort.

ht
- -- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
                       URL: http://www.ltg.ed.ac.uk/~ht/
 [mail from me _always_ has a .sig like this -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFNf3YykjnJixAXWBoRApMtAJ0ZG9xYBYs22jvp+2QyHbEmuqGSYQCfeaAC
I4j6AqigCNGklV/t+Cv7BSk=
=iQlz
-----END PGP SIGNATURE-----

Received on Tuesday, 15 March 2011 14:23:16 UTC