text: --
  -- HOROLOGY
  --
  -- needed so tests pass even in Australia
  SET australian_timezones = 'off';
  SET DateStyle = 'Postgres,US';
  
  --
  -- Test various input formats
  --
  SELECT timestamp with time zone '20011227 040506+08';
  SELECT timestamp with time zone '20011227 040506-08';
  SELECT timestamp with time zone '20011227 040506.789+08';
  SELECT timestamp with time zone '20011227 040506.789-08';
  SELECT timestamp with time zone '20011227T040506+08';
  SELECT timestamp with time zone '20011227T040506-08';
  SELECT timestamp with time zone '20011227T040506.789+08';
  SELECT timestamp with time zone '20011227T040506.789-08';
  SELECT timestamp with time zone '2001-12-27 04:05:06.789-08';
  SELECT timestamp with time zone '2001.12.27 04:05:06.789-08';
  SELECT timestamp with time zone '2001/12/27 04:05:06.789-08';
  SELECT timestamp with time zone '12/27/2001 04:05:06.789-08';
  SELECT timestamp with time zone '27/12/2001 04:05:06.789-08';
  SELECT timestamp with time zone 'Y2001M12D27H04M05S06.789+08';
  SELECT timestamp with time zone 'Y2001M12D27H04M05S06.789-08';
  SELECT timestamp with time zone 'Y2001M12D27H04MM05S06.789+08';
  SELECT timestamp with time zone 'Y2001M12D27H04MM05S06.789-08';
  SELECT timestamp with time zone 'J2452271+08';
  SELECT timestamp with time zone 'J2452271-08';
  SELECT timestamp with time zone 'J2452271.5+08';
  SELECT timestamp with time zone 'J2452271.5-08';
  SELECT timestamp with time zone 'J2452271 04:05:06+08';
  SELECT timestamp with time zone 'J2452271 04:05:06-08';
  SELECT timestamp with time zone 'J2452271T040506+08';
  SELECT timestamp with time zone 'J2452271T040506-08';
  SELECT timestamp with time zone 'J2452271T040506.789+08';
  SELECT timestamp with time zone 'J2452271T040506.789-08';
  -- German/European-style dates with periods as delimiters
  SELECT timestamp with time zone '27.12.2001 04:05:06.789+08';
  SELECT timestamp with time zone '27.12.2001 04:05:06.789-08';
  SET DateStyle = 'German';
  SELECT timestamp with time zone '27.12.2001 04:05:06.789+08';
  SELECT timestamp with time zone '27.12.2001 04:05:06.789-08';
  SET DateStyle = 'ISO';
  -- Reject time without time zone having a time zone specified
  SELECT time without time zone '040506.789+08';
  SELECT time without time zone '040506.789-08';
  SELECT time without time zone 'T040506.789+08';
  SELECT time without time zone 'T040506.789-08';
  SELECT time with time zone '040506.789+08';
  SELECT time with time zone '040506.789-08';
  SELECT time with time zone 'T040506.789+08';
  SELECT time with time zone 'T040506.789-08';
  SELECT time with time zone 'T040506.789 +08';
  SELECT time with time zone 'T040506.789 -08';
  SET DateStyle = 'Postgres,US';
  
  --
  -- date, time arithmetic
  --
  
  SELECT date '1981-02-03' + time '04:05:06' AS "Date + Time";
  SELECT date '1991-02-03' + time with time zone '04:05:06 PST' AS "Date + Time PST";
  SELECT date '2001-02-03' + time with time zone '04:05:06 UTC' AS "Date + Time UTC";
  SELECT date '1991-02-03' + interval '2 years' AS "Add Two Years";
  SELECT date '2001-12-13' - interval '2 years' AS "Subtract Two Years";
  -- subtract time from date should not make sense; use interval instead
  SELECT date '1991-02-03' - time '04:05:06' AS "Subtract Time";
  SELECT date '1991-02-03' - time with time zone '04:05:06 UTC' AS "Subtract Time UTC";
  
  --
  -- timestamp, interval arithmetic
  --
  
  SELECT timestamp without time zone '1996-03-01' - interval '1 second' AS "Feb 29";
  SELECT timestamp without time zone '1999-03-01' - interval '1 second' AS "Feb 28";
  SELECT timestamp without time zone '2000-03-01' - interval '1 second' AS "Feb 29";
  SELECT timestamp without time zone '1999-12-01' + interval '1 month - 1 second' AS "Dec 31";
  
  -- Shorthand values
  -- Not directly usable for regression testing since these are not constants.
  -- So, just try to test parser and hope for the best - thomas 97/04/26
  SELECT (timestamp without time zone 'today' = (timestamp without time zone 'yesterday' + interval '1 day')) as "True";
  SELECT (timestamp without time zone 'today' = (timestamp without time zone 'tomorrow' - interval '1 day')) as "True";
  SELECT (timestamp without time zone 'tomorrow' = (timestamp without time zone 'yesterday' + interval '2 days')) as "True";
  SELECT (timestamp without time zone 'tomorrow' > 'now') as "True";
  
  -- Convert from date and time to timestamp
  -- This test used to be timestamp(date,time) but no longer allowed by grammar
  -- to enable support for SQL99 timestamp type syntax.
  SELECT date '1994-01-01' + time '11:00' AS "Jan_01_1994_11am";
  SELECT date '1994-01-01' + time '10:00' AS "Jan_01_1994_10am";
  SELECT date '1994-01-01' + time '11:00-5' AS "Jan_01_1994_8am";
  SELECT "timestamp"(date '1994-01-01', time with time zone '11:00-5') AS "Jan_01_1994_11am";
  
  SELECT '' AS "64", d1 + interval '1 year' AS one_year FROM TIMESTAMP_TBL;
  SELECT '' AS "64", d1 - interval '1 year' AS one_year FROM TIMESTAMP_TBL;
  
  SELECT timestamp with time zone '1996-03-01' - interval '1 second' AS "Feb 29";
  SELECT timestamp with time zone '1999-03-01' - interval '1 second' AS "Feb 28";
  SELECT timestamp with time zone '2000-03-01' - interval '1 second' AS "Feb 29";
  SELECT timestamp with time zone '1999-12-01' + interval '1 month - 1 second' AS "Dec 31";
  
  SELECT (timestamp with time zone 'today' = (timestamp with time zone 'yesterday' + interval '1 day')) as "True";
  SELECT (timestamp with time zone 'today' = (timestamp with time zone 'tomorrow' - interval '1 day')) as "True";
  SELECT (timestamp with time zone 'tomorrow' = (timestamp with time zone 'yesterday' + interval '2 days')) as "True";
  SELECT (timestamp with time zone 'tomorrow' > 'now') as "True";
  
  SELECT timestamptz(date '1994-01-01', time '11:00') AS "Jan_01_1994_10am";
  SELECT timestamptz(date '1994-01-01', time '10:00') AS "Jan_01_1994_9am";
  SELECT timestamptz(date '1994-01-01', time with time zone '11:00-8') AS "Jan_01_1994_11am";
  SELECT timestamptz(date '1994-01-01', time with time zone '10:00-8') AS "Jan_01_1994_10am";
  SELECT timestamptz(date '1994-01-01', time with time zone '11:00-5') AS "Jan_01_1994_8am";
  
  SELECT '' AS "64", d1 + interval '1 year' AS one_year FROM TIMESTAMPTZ_TBL;
  SELECT '' AS "64", d1 - interval '1 year' AS one_year FROM TIMESTAMPTZ_TBL;
  
  --
  -- time, interval arithmetic
  --
  
  SELECT CAST(time '01:02' AS interval) AS "+01:02";
  SELECT CAST(interval '02:03' AS time) AS "02:03:00";
  SELECT time '01:30' + interval '02:01' AS "03:31:00";
  SELECT time '01:30' - interval '02:01' AS "23:29:00";
  SELECT time '02:30' + interval '36:01' AS "14:31:00";
  SELECT time '03:30' + interval '1 month 04:01' AS "07:31:00";
  SELECT interval '04:30' - time '01:02' AS "20:32:00";
  SELECT CAST(time with time zone '01:02-08' AS interval) AS "+00:01";
  SELECT CAST(interval '02:03' AS time with time zone) AS "02:03:00-08";
  SELECT time with time zone '01:30-08' - interval '02:01' AS "23:29:00-08";
  SELECT time with time zone '02:30-08' + interval '36:01' AS "14:31:00-08";
  
  -- These two tests cannot be used because they default to current timezone,
  -- which may be either -08 or -07 depending on the time of year.
  -- SELECT time with time zone '01:30' + interval '02:01' AS "03:31:00-08";
  -- SELECT time with time zone '03:30' + interval '1 month 04:01' AS "07:31:00-08";
  -- Try the following two tests instead, as a poor substitute
  
  SELECT CAST(CAST(date 'today' + time with time zone '01:30'
              + interval '02:01' AS time with time zone) AS time) AS "03:31:00";
  
  SELECT CAST(cast(date 'today' + time with time zone '03:30'
    + interval '1 month 04:01' as timestamp without time zone) AS time) AS "07:31:00";
  
  SELECT interval '04:30' - time with time zone '01:02-05' AS "20:32:00-05";
  
  SELECT t.d1 + i.f1 AS "102" FROM TIMESTAMP_TBL t, INTERVAL_TBL i
    WHERE t.d1 BETWEEN '1990-01-01' AND '2001-01-01'
      AND i.f1 BETWEEN '00:00' AND '23:00';
  
  SELECT t.d1 - i.f1 AS "102" FROM TIMESTAMP_TBL t, INTERVAL_TBL i
    WHERE t.d1 BETWEEN '1990-01-01' AND '2001-01-01'
      AND i.f1 BETWEEN '00:00' AND '23:00';
  
  SELECT t.f1 + i.f1 AS "80" FROM TIME_TBL t, INTERVAL_TBL i;
  SELECT t.f1 - i.f1 AS "80" FROM TIME_TBL t, INTERVAL_TBL i;
  
  SELECT t.f1 + i.f1 AS "100" FROM TIMETZ_TBL t, INTERVAL_TBL i;
  SELECT t.f1 - i.f1 AS "100" FROM TIMETZ_TBL t, INTERVAL_TBL i;
  
  -- SQL9x OVERLAPS operator
  -- test with time zone
  SELECT (timestamp with time zone '2000-11-27', timestamp with time zone '2000-11-28')
    OVERLAPS (timestamp with time zone '2000-11-27 12:00', timestamp with time zone '2000-11-30') AS "True";
  
  SELECT (timestamp with time zone '2000-11-26', timestamp with time zone '2000-11-27')
    OVERLAPS (timestamp with time zone '2000-11-27 12:00', timestamp with time zone '2000-11-30') AS "False";
  
  SELECT (timestamp with time zone '2000-11-27', timestamp with time zone '2000-11-28')
    OVERLAPS (timestamp with time zone '2000-11-27 12:00', interval '1 day') AS "True";
  
  SELECT (timestamp with time zone '2000-11-27', interval '12 hours')
    OVERLAPS (timestamp with time zone '2000-11-27 12:00', timestamp with time zone '2000-11-30') AS "False";
  
  SELECT (timestamp with time zone '2000-11-27', interval '12 hours')
    OVERLAPS (timestamp with time zone '2000-11-27', interval '12 hours') AS "True";
  
  SELECT (timestamp with time zone '2000-11-27', interval '12 hours')
    OVERLAPS (timestamp with time zone '2000-11-27 12:00', interval '12 hours') AS "False";
  
  -- test without time zone
  SELECT (timestamp without time zone '2000-11-27', timestamp without time zone '2000-11-28')
    OVERLAPS (timestamp without time zone '2000-11-27 12:00', timestamp without time zone '2000-11-30') AS "True";
  
  SELECT (timestamp without time zone '2000-11-26', timestamp without time zone '2000-11-27')
    OVERLAPS (timestamp without time zone '2000-11-27 12:00', timestamp without time zone '2000-11-30') AS "False";
  
  SELECT (timestamp without time zone '2000-11-27', timestamp without time zone '2000-11-28')
    OVERLAPS (timestamp without time zone '2000-11-27 12:00', interval '1 day') AS "True";
  
  SELECT (timestamp without time zone '2000-11-27', interval '12 hours')
    OVERLAPS (timestamp without time zone '2000-11-27 12:00', timestamp without time zone '2000-11-30') AS "False";
  
  SELECT (timestamp without time zone '2000-11-27', interval '12 hours')
    OVERLAPS (timestamp without time zone '2000-11-27', interval '12 hours') AS "True";
  
  SELECT (timestamp without time zone '2000-11-27', interval '12 hours')
    OVERLAPS (timestamp without time zone '2000-11-27 12:00', interval '12 hours') AS "False";
  
  -- test time and interval
  SELECT (time '00:00', time '01:00')
    OVERLAPS (time '00:30', time '01:30') AS "True";
  
  SELECT (time '00:00', interval '1 hour')
    OVERLAPS (time '00:30', interval '1 hour') AS "True";
  
  SELECT (time '00:00', interval '1 hour')
    OVERLAPS (time '01:30', interval '1 hour') AS "False";
  
  -- SQL99 seems to want this to be false (and we conform to the spec).
  -- istm that this *should* return true, on the theory that time
  -- intervals can wrap around the day boundary - thomas 2001-09-25
  SELECT (time '00:00', interval '1 hour')
    OVERLAPS (time '01:30', interval '1 day') AS "False";
  
  CREATE TABLE TEMP_TIMESTAMP (f1 timestamp);
  
  -- get some candidate input values
  
  INSERT INTO TEMP_TIMESTAMP (f1)
    SELECT d1 FROM TIMESTAMP_TBL
    WHERE d1 BETWEEN '13-jun-1957' AND '1-jan-1997'
     OR d1 BETWEEN '1-jan-1999' AND '1-jan-2010';
  
  SELECT '' AS "16", f1 AS "timestamp"
    FROM TEMP_TIMESTAMP
    ORDER BY "timestamp";
  
  SELECT '' AS "160", d.f1 AS "timestamp", t.f1 AS "interval", d.f1 + t.f1 AS plus
    FROM TEMP_TIMESTAMP d, INTERVAL_TBL t
    ORDER BY plus, "timestamp", "interval";
  
  SELECT '' AS "160", d.f1 AS "timestamp", t.f1 AS "interval", d.f1 - t.f1 AS minus
    FROM TEMP_TIMESTAMP d, INTERVAL_TBL t
    WHERE isfinite(d.f1)
    ORDER BY minus, "timestamp", "interval";
  
  SELECT '' AS "16", d.f1 AS "timestamp", timestamp '1980-01-06 00:00 GMT' AS gpstime_zero,
     d.f1 - timestamp '1980-01-06 00:00 GMT' AS difference
    FROM TEMP_TIMESTAMP d
    ORDER BY difference;
  
  SELECT '' AS "226", d1.f1 AS timestamp1, d2.f1 AS timestamp2, d1.f1 - d2.f1 AS difference
    FROM TEMP_TIMESTAMP d1, TEMP_TIMESTAMP d2
    ORDER BY timestamp1, timestamp2, difference;
  
  --
  -- abstime, reltime arithmetic
  --
  
  SELECT '' AS ten, ABSTIME_TBL.f1 AS abstime, RELTIME_TBL.f1 AS reltime
     WHERE (ABSTIME_TBL.f1 + RELTIME_TBL.f1) < abstime 'Jan 14 14:00:00 1971'
     ORDER BY abstime, reltime;
  
  -- these four queries should return the same answer
  -- the "infinity" and "-infinity" tuples in ABSTIME_TBL cannot be added and
  -- therefore, should not show up in the results.
  
  SELECT '' AS three, ABSTIME_TBL.*
    WHERE  (ABSTIME_TBL.f1 + reltime '@ 3 year')         -- +3 years
      < abstime 'Jan 14 14:00:00 1977';
  
  SELECT '' AS three, ABSTIME_TBL.*
     WHERE  (ABSTIME_TBL.f1 + reltime '@ 3 year ago')    -- -3 years
       < abstime 'Jan 14 14:00:00 1971';
  
  SELECT '' AS three, ABSTIME_TBL.*
     WHERE  (ABSTIME_TBL.f1 - reltime '@ 3 year')        -- -(+3) years
      < abstime 'Jan 14 14:00:00 1971';
  
  SELECT '' AS three, ABSTIME_TBL.*
     WHERE  (ABSTIME_TBL.f1 - reltime '@ 3 year ago')    -- -(-3) years
       < abstime 'Jan 14 14:00:00 1977';
  
  --
  -- Conversions
  --
  
  SELECT '' AS "16", f1 AS "timestamp", date(f1) AS date
    FROM TEMP_TIMESTAMP
    WHERE f1 <> timestamp 'now'
    ORDER BY date, "timestamp";
  
  SELECT '' AS "16", f1 AS "timestamp", abstime(f1) AS abstime
    FROM TEMP_TIMESTAMP
    ORDER BY abstime;
  
  SELECT '' AS four, f1 AS abstime, date(f1) AS date
    FROM ABSTIME_TBL
    WHERE isfinite(f1) AND f1 <> abstime 'now'
    ORDER BY date, abstime;
  
  SELECT '' AS two, d1 AS "timestamp", abstime(d1) AS abstime
    FROM TIMESTAMP_TBL WHERE NOT isfinite(d1);
  
  SELECT '' AS three, f1 as abstime, cast(f1 as timestamp) AS "timestamp"
    FROM ABSTIME_TBL WHERE NOT isfinite(f1);
  
  SELECT '' AS ten, f1 AS interval, reltime(f1) AS reltime
    FROM INTERVAL_TBL;
  
  SELECT '' AS six, f1 as reltime, CAST(f1 AS interval) AS interval
    FROM RELTIME_TBL;
  
  DROP TABLE TEMP_TIMESTAMP;
  
  --
  -- Formats
  --
  
  SET DateStyle TO 'US,Postgres';
  
  SHOW DateStyle;
  
  SELECT '' AS "64", d1 AS us_postgres FROM TIMESTAMP_TBL;
  
  SELECT '' AS seven, f1 AS us_postgres FROM ABSTIME_TBL;
  
  SET DateStyle TO 'US,ISO';
  
  SELECT '' AS "64", d1 AS us_iso FROM TIMESTAMP_TBL;
  
  SELECT '' AS seven, f1 AS us_iso FROM ABSTIME_TBL;
  
  SET DateStyle TO 'US,SQL';
  
  SHOW DateStyle;
  
  SELECT '' AS "64", d1 AS us_sql FROM TIMESTAMP_TBL;
  
  SELECT '' AS seven, f1 AS us_sql FROM ABSTIME_TBL;
  
  SET DateStyle TO 'European,Postgres';
  
  SHOW DateStyle;
  
  INSERT INTO TIMESTAMP_TBL VALUES('13/06/1957');
  
  SELECT count(*) as one FROM TIMESTAMP_TBL WHERE d1 = 'Jun 13 1957';
  
  SELECT '' AS "65", d1 AS european_postgres FROM TIMESTAMP_TBL;
  
  SELECT '' AS seven, f1 AS european_postgres FROM ABSTIME_TBL;
  
  SET DateStyle TO 'European,ISO';
  
  SHOW DateStyle;
  
  SELECT '' AS "65", d1 AS european_iso FROM TIMESTAMP_TBL;
  
  SELECT '' AS seven, f1 AS european_iso FROM ABSTIME_TBL;
  
  SET DateStyle TO 'European,SQL';
  
  SHOW DateStyle;
  
  SELECT '' AS "65", d1 AS european_sql FROM TIMESTAMP_TBL;
  
  SELECT '' AS seven, f1 AS european_sql FROM ABSTIME_TBL;
  
  RESET DateStyle;
  