- From: Henry S. Thompson <ht@cogsci.ed.ac.uk>
- Date: 07 Jul 2001 14:58:23 +0100
- To: Noah_Mendelsohn@lotus.com
- Cc: "Jeff Rafter" <jeffrafter@definedweb.com>, vdv@dyomedea.com, xmlschema-dev@w3.org
Noah_Mendelsohn@lotus.com writes: > Jeff Rafter writes: > > >> does this mean that an optional Time Zone Qualifier > >> should be added > > Not sure, but there is some background that may be of interest. First, > many readers fail to recognize that in XML Schema Datatypes, timezone > indicators are in the lexical representations only. Not true, as I understand it/read the REC [1]. The value space of time (and dateTime) consists of _two_ sets, each totally ordered, but only partially ordered wrt one another. The first is the set of timezone-free, or local, times, the second the set of timezone-specific times. > Their status is similar to leading zeros, or exponential notations > (1E+2) vs. unnormalized floats (100.0); timezones are visible, but > not considered to affect the value of the time or integer > respectively. This is just not true. 12:00:00 is not equal to 12:00:00Z. What _is_ true is that the various timezone-specific ways of specifying a time _are_ equal, e.g. 12:00:00Z is equal to 13:00:00Z+1. > The times themselves are all effectively converted to a fixed UTC > form for comparison or other use as values. Only for timezone-specific times -- not for local times. > This also has the interesting effect that two different times in > different timezones can be considered equal for purposes of > enumeration, as are the two floats above. So you think 12:00:00Z should correspond to a different point in the value space than 13:00:00Z+1? > I argued against this design for timezones in particular, as I think > it violates least-astonishment for users, but there it is. Speaking as someone who regularly has to deal with this in calendaring applications, I have the opposite stance -- I'd be very irritated if my calender _didn't_ beep at 12:00:00Z if I have an appointment set up be a colleague in France for 13:00:00Z+1! > I believe that users consider timezones more significant than > leading zeros. No matter, that is the starting point for any future > evolution. I would have preferred to allow no timezone at all than > one that has such minimal effect on semantics and comparison. > > Also, Lotus (my employer) has some experience building timezone-aware > applications. Turns out we have had bugs reported, in calendaring > applications for example, that were caused by political rather than > technical actions. A user schedules a meeting at 3PM in GMT-6, but they > really think they're scheduling it in Chicago. Chicago changes its laws, > and the calander rings the alarm too early or late...it is indeed GMT-6, > but it's no longer 3PM in Chicago. These are real bugs from real users. _That_'s a bug wrt the semantics of Z-6, not about the equivalence case discussed above, isn't it? ht [1] http://www.w3.org/TR/xmlschema-2/#time -- Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh W3C Fellow 1999--2001, part-time member of W3C Team 2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440 Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk URL: http://www.ltg.ed.ac.uk/~ht/
Received on Saturday, 7 July 2001 09:58:21 UTC