STANDARDOID case sensitiv?

Sprache INTERLIS
1

Ist die STANDARDOID case sensitiv? Gemäss Referenzhandbuch Anhang D würde ich sagen ja:

Prefix = Letter { Letter | Digit }. !! Folge von 8 Zeichen
Letter = ( 'A' | .. | 'Z' | 'a' | .. | 'z' ).
Digit = ( '0' | '1' | .. | '9' ).

Postfix = { Letter | Digit }. !! Folge von 8 Zeichen

Interpretiere ich das richtig?

Wenn das stimmt, dann ist aber das folgende Beispiel falsch:

zwzzzzzzzzzzzzzz Grösstmöglicher OID, mit zw für Zimbabwe

müsste dann meiner Meinung nach zwZZZZZZZZZZZZZZ sein.

2

In meinem Verständnis ist die lexikographische Ordnung schon korrekt so wie es im Beispiel im Referenzhandbuch erläutert ist. Für Strings wie in diesem Beispiel ist die Rangordnung ‚a‘>‚Z‘>‚9‘ und damit ist zwZZZZZ in der Ordnung tiefer als zwzzzzz.

1 „Gefällt mir“