Last batch of updates in response to 7.4 interactive docs comments.
authorTom Lane
Sun, 9 Jan 2005 18:58:10 +0000 (18:58 +0000)
committerTom Lane
Sun, 9 Jan 2005 18:58:10 +0000 (18:58 +0000)
doc/src/sgml/datetime.sgml

index f071e0162db5ff98be232ae91efbb52a1715ff60..0e42e34fd69a67df6834b3012dbef3408231fab2 100644 (file)
@@ -1,5 +1,5 @@
 
 
  
@@ -39,33 +39,33 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      
       
        
-   If the numeric token contains a colon (:), this is
-   a time string. Include all subsequent digits and colons.
+        If the numeric token contains a colon (:), this is
+        a time string. Include all subsequent digits and colons.
        
       
 
       
        
-   If the numeric token contains a dash (-), slash
-   (/), or two or more dots (.), this is
-   a date string which may have a text month.
+        If the numeric token contains a dash (-), slash
+        (/), or two or more dots (.), this is
+        a date string which may have a text month.
        
       
 
       
        
-   If the token is numeric only, then it is either a single field
-   or an ISO 8601 concatenated date (e.g.,
-   19990113 for January 13, 1999) or time
-   (e.g., 141516 for 14:15:16).
+        If the token is numeric only, then it is either a single field
+        or an ISO 8601 concatenated date (e.g.,
+        19990113 for January 13, 1999) or time
+        (e.g., 141516 for 14:15:16).
        
       
 
       
        
-   If the token starts with a plus (+) or minus
-   (-), then it is either a time zone or a special
-   field.
+        If the token starts with a plus (+) or minus
+        (-), then it is either a time zone or a special
+        field.
        
       
      
@@ -79,30 +79,30 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      
       
        
-   Do a binary-search table lookup for the token
-   as either a special string (e.g., today),
-   day (e.g., Thursday),
-   month (e.g., January),
-   or noise word (e.g., aton).
+        Do a binary-search table lookup for the token
+        as either a special string (e.g., today),
+        day (e.g., Thursday),
+        month (e.g., January),
+        or noise word (e.g., aton).
        
 
        
-   Set field values and bit mask for fields.
-   For example, set year, month, day for today,
-   and additionally hour, minute, second for now.
+        Set field values and bit mask for fields.
+        For example, set year, month, day for today,
+        and additionally hour, minute, second for now.
        
       
       
       
        
-   If not found, do a similar binary-search table lookup to match
-   the token with a time zone.
+        If not found, do a similar binary-search table lookup to match
+        the token with a time zone.
        
       
 
       
        
-   If still not found, throw an error.
+        If still not found, throw an error.
        
       
      
@@ -116,41 +116,41 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      
       
        
-   If there are eight or six digits,
-   and if no other date fields have been previously read, then interpret 
-   as a concatenated date (e.g.,
-   19990118 or 990118).
-   The interpretation is YYYYMMDD or YYMMDD.
+        If there are eight or six digits,
+        and if no other date fields have been previously read, then interpret 
+        as a concatenated date (e.g.,
+        19990118 or 990118).
+        The interpretation is YYYYMMDD or YYMMDD.
        
       
 
       
        
-   If the token is three digits
-   and a year has already been read, then interpret as day of year.
+        If the token is three digits
+        and a year has already been read, then interpret as day of year.
        
       
       
       
        
-   If four or six digits and a year has already been read, then
-   interpret as a time (HHMM or HHMMSS).
+        If four or six digits and a year has already been read, then
+        interpret as a time (HHMM or HHMMSS).
        
       
 
       
        
-   If three or more digits and no date fields have yet been found,
-   interpret as a year (this forces yy-mm-dd ordering of the remaining
-   date fields).
+        If three or more digits and no date fields have yet been found,
+        interpret as a year (this forces yy-mm-dd ordering of the remaining
+        date fields).
        
       
 
       
        
         Otherwise the date field ordering is assumed to follow the
-   DateStyle setting: mm-dd-yy, dd-mm-yy, or yy-mm-dd.
-   Throw an error if a month or day field is found to be out of range.
+        DateStyle setting: mm-dd-yy, dd-mm-yy, or yy-mm-dd.
+        Throw an error if a month or day field is found to be out of range.
        
       
      
@@ -172,11 +172,11 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
 
       
        
-   Gregorian years AD 1-99 may be entered by using 4 digits with leading
-   zeros (e.g., 0099 is AD 99). Previous versions of
-   PostgreSQL accepted years with three
-   digits and with single digits, but as of version 7.0 the rules have
-   been tightened up to reduce the possibility of ambiguity.
+        Gregorian years AD 1-99 may be entered by using 4 digits with leading
+        zeros (e.g., 0099 is AD 99). Previous versions of
+        PostgreSQL accepted years with three
+        digits and with single digits, but as of version 7.0 the rules have
+        been tightened up to reduce the possibility of ambiguity.
        
       
      
@@ -190,117 +190,114 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
 
    
      shows the tokens that are
-    permissible as abbreviations for the names of the month.
+    recognized as names of months.
    
 
     
-     Month <span class="marked">Abbreviation</span>s
+     Month <span class="marked">Name</span>s
      
       
        
-   Month
-   Abbreviations
+        Month
+        Abbreviations
        
       
       
        
-   April
-   Apr
+        January
+        Jan
        
        
-   August
-   Aug
+        February
+        Feb
        
        
-   December
-   Dec
+        March
+        Mar
        
        
-   February
-   Feb
+        April
+        Apr
        
        
-   January
-   Jan
+        May
+        
        
        
-   July
-   Jul
+        June
+        Jun
        
        
-   June
-   Jun
+        July
+        Jul
        
        
-   March
-   Mar
+        August
+        Aug
        
        
-   November
-   Nov
+        September
+        Sep, Sept
        
        
-   October
-   Oct
+        October
+        Oct
        
        
-   September
-   Sep, Sept
+        November
+        Nov
+       
+       
+        December
+        Dec
        
       
      
     
 
-    
-     
-      The month May has no explicit abbreviation, for obvious reasons.
-     
-    
-
     
       shows the tokens that are
-     permissible as abbreviations for the names of the days of the
-     week.
+     recognized as names of days of the week.
     
 
      
-      Day of the Week <span class="marked">Abbreviation</span>s
+      Day of the Week <span class="marked">Name</span>s
       
        
-   
-    Day
-    Abbreviation
-   
+        
+         Day
+         Abbreviations
+        
        
        
-   
-    Sunday
-    Sun
-   
-   
-    Monday
-    Mon
-   
-   
-    Tuesday
-    Tue, Tues
-   
-   
-    Wednesday
-    Wed, Weds
-   
-   
-    Thursday
-    Thu, Thur, Thurs
-   
-   
-    Friday
-    Fri
-   
-   
-    Saturday
-    Sat
-   
+        
+         Sunday
+         Sun
+        
+        
+         Monday
+         Mon
+        
+        
+         Tuesday
+         Tue, Tues
+        
+        
+         Wednesday
+         Wed, Weds
+        
+        
+         Thursday
+         Thu, Thur, Thurs
+        
+        
+         Friday
+         Fri
+        
+        
+         Saturday
+         Sat
+        
        
       
      
@@ -315,38 +312,38 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      
       
        
-   Identifier
-   Description
+        Identifier
+        Description
        
       
       
        
-   ABSTIME
-   Key word ignored
+        ABSTIME
+        Ignored
        
        
-   AM
-   Time is before 12:00
+        AM
+        Time is before 12:00
        
        
-   AT
-   Key word ignored
+        AT
+        Ignored
        
        
-   JULIAN, JD, J
-   Next field is Julian Day
+        JULIAN, JD, J
+        Next field is Julian Day
        
        
-   ON
-   Key word ignored
+        ON
+        Ignored
        
        
-   PM
-   Time is on or after 12:00
+        PM
+        Time is on or after 12:00
        
        
-   T
-   Next field is time
+        T
+        Next field is time
        
       
      
@@ -370,8 +367,9 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      shows the time zone
     abbreviations recognized by PostgreSQL
     in date/time input values.  Note that these names are not
-    used for date/time output — display is driven by the currently
-    selected  parameter setting.  (It is
+    necessarily used for date/time output — output is driven by the
+    official timezone abbreviation(s) associated with the currently selected
+     parameter setting.  (It is
     likely that future releases will make some use of timezone
     for input as well.)
    
@@ -388,426 +386,426 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      
       
        
-   Time Zone
-   Offset from UTC
-   Description
+        Time Zone
+        Offset from UTC
+        Description
        
       
       
        
-   NZDT
-   +13:00
-   New Zealand Daylight-Saving Time
+        NZDT
+        +13:00
+        New Zealand Daylight-Saving Time
        
        
-   IDLE
-   +12:00
-   International Date Line, East
+        IDLE
+        +12:00
+        International Date Line, East
        
        
-   NZST
-   +12:00
-   New Zealand Standard Time
+        NZST
+        +12:00
+        New Zealand Standard Time
        
        
-   NZT
-   +12:00
-   New Zealand Time
+        NZT
+        +12:00
+        New Zealand Time
        
        
-   AESST
-   +11:00
-   Australia Eastern Summer Standard Time
+        AESST
+        +11:00
+        Australia Eastern Summer Standard Time
        
        
-   ACSST
-   +10:30
-   Central Australia Summer Standard Time
+        ACSST
+        +10:30
+        Central Australia Summer Standard Time
        
        
-   CADT
-   +10:30
-   Central Australia Daylight-Saving Time
+        CADT
+        +10:30
+        Central Australia Daylight-Saving Time
        
        
-   SADT
-   +10:30
-   South Australian Daylight-Saving Time
+        SADT
+        +10:30
+        South Australian Daylight-Saving Time
        
        
-   AEST
-   +10:00
-   Australia Eastern Standard Time
+        AEST
+        +10:00
+        Australia Eastern Standard Time
        
        
-   EAST
-   +10:00
-   East Australian Standard Time
+        EAST
+        +10:00
+        East Australian Standard Time
        
        
-   GST
-   +10:00
-   Guam Standard Time, Russia zone 9
+        GST
+        +10:00
+        Guam Standard Time, Russia zone 9
        
        
-   LIGT
-   +10:00
-   Melbourne, Australia
+        LIGT
+        +10:00
+        Melbourne, Australia
        
        
-   SAST
-   +09:30
-   South Australia Standard Time
+        SAST
+        +09:30
+        South Australia Standard Time
        
        
-   CAST
-   +09:30
-   Central Australia Standard Time
+        CAST
+        +09:30
+        Central Australia Standard Time
        
        
-   AWSST
-   +09:00
-   Australia Western Summer Standard Time
+        AWSST
+        +09:00
+        Australia Western Summer Standard Time
        
        
-   JST
-   +09:00
-   Japan Standard Time, Russia zone 8
+        JST
+        +09:00
+        Japan Standard Time, Russia zone 8
        
        
-   KST
-   +09:00
-   Korea Standard Time
+        KST
+        +09:00
+        Korea Standard Time
        
        
-   MHT
-   +09:00
-   Kwajalein Time
+        MHT
+        +09:00
+        Kwajalein Time
        
        
-   WDT
-   +09:00
-   West Australian Daylight-Saving Time
+        WDT
+        +09:00
+        West Australian Daylight-Saving Time
        
        
-   MT
-   +08:30
-   Moluccas Time
+        MT
+        +08:30
+        Moluccas Time
        
        
-   AWST
-   +08:00
-   Australia Western Standard Time
+        AWST
+        +08:00
+        Australia Western Standard Time
        
        
-   CCT
-   +08:00
-   China Coastal Time
+        CCT
+        +08:00
+        China Coastal Time
        
        
-   WADT
-   +08:00
-   West Australian Daylight-Saving Time
+        WADT
+        +08:00
+        West Australian Daylight-Saving Time
        
        
-   WST
-   +08:00
-   West Australian Standard Time
+        WST
+        +08:00
+        West Australian Standard Time
        
        
-   JT
-   +07:30
-   Java Time
+        JT
+        +07:30
+        Java Time
        
        
-   ALMST
-   +07:00
-   Almaty Summer Time
+        ALMST
+        +07:00
+        Almaty Summer Time
        
        
-   WAST
-   +07:00
-   West Australian Standard Time
+        WAST
+        +07:00
+        West Australian Standard Time
        
        
-   CXT
-   +07:00
-   Christmas (Island) Time
+        CXT
+        +07:00
+        Christmas (Island) Time
        
        
-   MMT
-   +06:30
-   Myanmar Time
+        MMT
+        +06:30
+        Myanmar Time
        
        
-   ALMT
-   +06:00
-   Almaty Time
+        ALMT
+        +06:00
+        Almaty Time
        
        
-   MAWT
-   +06:00
-   Mawson (Antarctica) Time
+        MAWT
+        +06:00
+        Mawson (Antarctica) Time
        
        
-   IOT
-   +05:00
-   Indian Chagos Time
+        IOT
+        +05:00
+        Indian Chagos Time
        
        
-   MVT
-   +05:00
-   Maldives Island Time
+        MVT
+        +05:00
+        Maldives Island Time
        
        
-   TFT
-   +05:00
-   Kerguelen Time
+        TFT
+        +05:00
+        Kerguelen Time
        
        
-   AFT
-   +04:30
-   Afghanistan Time
+        AFT
+        +04:30
+        Afghanistan Time
        
        
-   EAST
-   +04:00
-   Antananarivo Summer Time
+        EAST
+        +04:00
+        Antananarivo Summer Time
        
        
-   MUT
-   +04:00
-   Mauritius Island Time
+        MUT
+        +04:00
+        Mauritius Island Time
        
        
-   RET
-   +04:00
-   Reunion Island Time
+        RET
+        +04:00
+        Reunion Island Time
        
        
-   SCT
-   +04:00
-   Mahe Island Time
+        SCT
+        +04:00
+        Mahe Island Time
        
        
-   IRT, IT
-   +03:30
-   Iran Time
+        IRT, IT
+        +03:30
+        Iran Time
        
        
-   EAT
-   +03:00
-   Antananarivo, Comoro Time
+        EAT
+        +03:00
+        Antananarivo, Comoro Time
        
        
-   BT
-   +03:00
-   Baghdad Time
+        BT
+        +03:00
+        Baghdad Time
        
        
-   EETDST
-   +03:00
-   Eastern Europe Daylight-Saving Time
+        EETDST
+        +03:00
+        Eastern Europe Daylight-Saving Time
        
        
-   HMT
-   +03:00
-   Hellas Mediterranean Time (?)
+        HMT
+        +03:00
+        Hellas Mediterranean Time (?)
        
        
-   BDST
-   +02:00
-   British Double Summer Time
+        BDST
+        +02:00
+        British Double Summer Time
        
        
-   CEST
-   +02:00
-   Central European Summer Time
+        CEST
+        +02:00
+        Central European Summer Time
        
        
-   CETDST
-   +02:00
-   Central European Daylight-Saving Time
+        CETDST
+        +02:00
+        Central European Daylight-Saving Time
        
        
-   EET
-   +02:00
-   Eastern European Time, Russia zone 1
+        EET
+        +02:00
+        Eastern European Time, Russia zone 1
        
        
-   FWT
-   +02:00
-   French Winter Time
+        FWT
+        +02:00
+        French Winter Time
        
        
-   IST
-   +02:00
-   Israel Standard Time
+        IST
+        +02:00
+        Israel Standard Time
        
        
-   MEST
-   +02:00
-   Middle European Summer Time
+        MEST
+        +02:00
+        Middle European Summer Time
        
        
-   METDST
-   +02:00
-   Middle Europe Daylight-Saving Time
+        METDST
+        +02:00
+        Middle Europe Daylight-Saving Time
        
        
-   SST
-   +02:00
-   Swedish Summer Time
+        SST
+        +02:00
+        Swedish Summer Time
        
        
-   BST
-   +01:00
-   British Summer Time
+        BST
+        +01:00
+        British Summer Time
        
        
-   CET
-   +01:00
-   Central European Time
+        CET
+        +01:00
+        Central European Time
        
        
-   DNT
-   +01:00
-   Dansk Normal Tid
+        DNT
+        +01:00
+        Dansk Normal Tid
        
        
-   FST
-   +01:00
-   French Summer Time
+        FST
+        +01:00
+        French Summer Time
        
        
-   MET
-   +01:00
-   Middle European Time
+        MET
+        +01:00
+        Middle European Time
        
        
-   MEWT
-   +01:00
-   Middle European Winter Time
+        MEWT
+        +01:00
+        Middle European Winter Time
        
        
-   MEZ
-   +01:00
-   Mitteleuropäische Zeit
+        MEZ
+        +01:00
+        Mitteleuropäische Zeit
        
        
-   NOR
-   +01:00
-   Norway Standard Time
+        NOR
+        +01:00
+        Norway Standard Time
        
        
-   SET
-   +01:00
-   Seychelles Time
+        SET
+        +01:00
+        Seychelles Time
        
        
-   SWT
-   +01:00
-   Swedish Winter Time
+        SWT
+        +01:00
+        Swedish Winter Time
        
        
-   WETDST
-   +01:00
-   Western European Daylight-Saving Time
+        WETDST
+        +01:00
+        Western European Daylight-Saving Time
        
        
-   GMT
-   00:00
-   Greenwich Mean Time
+        GMT
+        00:00
+        Greenwich Mean Time
        
        
-   UT
-   00:00
-   Universal Time
+        UT
+        00:00
+        Universal Time
        
        
-   UTC
-   00:00
-   Universal Coordinated Time
+        UTC
+        00:00
+        Universal Coordinated Time
        
        
-   Z
-   00:00
-   Same as UTC
+        Z
+        00:00
+        Same as UTC
        
        
-   ZULU
-   00:00
-   Same as UTC
+        ZULU
+        00:00
+        Same as UTC
        
        
-   WET
-   00:00
-   Western European Time
+        WET
+        00:00
+        Western European Time
        
        
-   WAT
-   -01:00
-   West Africa Time
+        WAT
+        -01:00
+        West Africa Time
        
        
-   FNST
-   -01:00
-   Fernando de Noronha Summer Time
+        FNST
+        -01:00
+        Fernando de Noronha Summer Time
        
        
-   FNT
-   -02:00
-   Fernando de Noronha Time
+        FNT
+        -02:00
+        Fernando de Noronha Time
        
        
-   BRST
-   -02:00
-   Brasilia Summer Time
+        BRST
+        -02:00
+        Brasilia Summer Time
        
        
-   NDT
-   -02:30
-   Newfoundland Daylight-Saving Time
+        NDT
+        -02:30
+        Newfoundland Daylight-Saving Time
        
        
-   ADT
-   -03:00
-   Atlantic Daylight-Saving Time
+        ADT
+        -03:00
+        Atlantic Daylight-Saving Time
        
        
-   AWT
-   -03:00
-   (unknown)
+        AWT
+        -03:00
+        (unknown)
        
        
-   BRT
-   -03:00
-   Brasilia Time
+        BRT
+        -03:00
+        Brasilia Time
        
        
-   NFT
-   -03:30
-   Newfoundland Standard Time
+        NFT
+        -03:30
+        Newfoundland Standard Time
        
        
-   NST
-   -03:30
-   Newfoundland Standard Time
+        NST
+        -03:30
+        Newfoundland Standard Time
        
        
-   AST
-   -04:00
-   Atlantic Standard Time (Canada)
+        AST
+        -04:00
+        Atlantic Standard Time (Canada)
        
        
-   ACST
-   -04:00
-   Atlantic/Porto Acre Summer Time
+        ACST
+        -04:00
+        Atlantic/Porto Acre Summer Time
        
        
-   EDT
-   -04:00
-   Eastern Daylight-Saving Time
+        EDT
+        -04:00
+        Eastern Daylight-Saving Time
        
        
        
-   ACT
-   -05:00
-   Atlantic/Porto Acre Standard Time
+        ACT
+        -05:00
+        Atlantic/Porto Acre Standard Time
        
        
-   CDT
-   -05:00
-   Central Daylight-Saving Time
+        CDT
+        -05:00
+        Central Daylight-Saving Time
        
        
-   EST
-   -05:00
-   Eastern Standard Time
+        EST
+        -05:00
+        Eastern Standard Time
        
        
        
-   CST
-   -06:00
-   Central Standard Time
+        CST
+        -06:00
+        Central Standard Time
        
        
-   MDT
-   -06:00
-   Mountain Daylight-Saving Time
+        MDT
+        -06:00
+        Mountain Daylight-Saving Time
        
        
        
-   MST
-   -07:00
-   Mountain Standard Time
+        MST
+        -07:00
+        Mountain Standard Time
        
        
-   PDT
-   -07:00
-   Pacific Daylight-Saving Time
+        PDT
+        -07:00
+        Pacific Daylight-Saving Time
        
        
-   AKDT
-   -08:00
-   Alaska Daylight-Saving Time
+        AKDT
+        -08:00
+        Alaska Daylight-Saving Time
        
        
-   PST
-   -08:00
-   Pacific Standard Time
+        PST
+        -08:00
+        Pacific Standard Time
        
        
-   YDT
-   -08:00
-   Yukon Daylight-Saving Time
+        YDT
+        -08:00
+        Yukon Daylight-Saving Time
        
        
-   AKST
-   -09:00
-   Alaska Standard Time
+        AKST
+        -09:00
+        Alaska Standard Time
        
        
-   HDT
-   -09:00
-   Hawaii/Alaska Daylight-Saving Time
+        HDT
+        -09:00
+        Hawaii/Alaska Daylight-Saving Time
        
        
-   YST
-   -09:00
-   Yukon Standard Time
+        YST
+        -09:00
+        Yukon Standard Time
        
        
-   MART
-   -09:30
-   Marquesas Time
+        MART
+        -09:30
+        Marquesas Time
        
        
-   AHST
-   -10:00
-   Alaska/Hawaii Standard Time
+        AHST
+        -10:00
+        Alaska/Hawaii Standard Time
        
        
-   HST
-   -10:00
-   Hawaii Standard Time
+        HST
+        -10:00
+        Hawaii Standard Time
        
        
-   CAT
-   -10:00
-   Central Alaska Time
+        CAT
+        -10:00
+        Central Alaska Time
        
        
-   NT
-   -11:00
-   Nome Time
+        NT
+        -11:00
+        Nome Time
        
        
-   IDLW
-   -12:00
-   International Date Line, West
+        IDLW
+        -12:00
+        International Date Line, West
        
       
      
@@ -954,31 +952,31 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      
       
        
-   Time Zone
-   Offset from UTC
-   Description
+        Time Zone
+        Offset from UTC
+        Description
        
       
       
        
-   ACST
-   +09:30
-   Central Australia Standard Time
+        ACST
+        +09:30
+        Central Australia Standard Time
        
        
-   CST
-   +10:30
-   Australian Central Standard Time
+        CST
+        +10:30
+        Australian Central Standard Time
        
        
-   EST
-   +10:00
-   Australian Eastern Standard Time
+        EST
+        +10:00
+        Australian Eastern Standard Time
        
        
-   SAT
-   +09:30
-   South Australian Standard Time
+        SAT
+        +09:30
+        South Australian Standard Time
        
       
      
@@ -1010,7 +1008,7 @@ $PostgreSQL: pgsql/doc/src/sgml/datetime.sgml,v 2.44 2004/12/28 15:25:55 tgl Exp
      
       
        
-   Time Zone
+        Time Zone