time.sql 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. --
  2. -- TIME
  3. --
  4. CREATE TABLE TIME_TBL (f1 time(2));
  5. INSERT INTO TIME_TBL VALUES ('00:00');
  6. INSERT INTO TIME_TBL VALUES ('01:00');
  7. -- as of 7.4, timezone spec should be accepted and ignored
  8. INSERT INTO TIME_TBL VALUES ('02:03 PST');
  9. INSERT INTO TIME_TBL VALUES ('11:59 EDT');
  10. INSERT INTO TIME_TBL VALUES ('12:00');
  11. INSERT INTO TIME_TBL VALUES ('12:01');
  12. INSERT INTO TIME_TBL VALUES ('23:59');
  13. INSERT INTO TIME_TBL VALUES ('11:59:59.99 PM');
  14. INSERT INTO TIME_TBL VALUES ('2003-03-07 15:36:39 America/New_York');
  15. INSERT INTO TIME_TBL VALUES ('2003-07-07 15:36:39 America/New_York');
  16. -- this should fail (the timezone offset is not known)
  17. INSERT INTO TIME_TBL VALUES ('15:36:39 America/New_York');
  18. SELECT f1 AS "Time" FROM TIME_TBL;
  19. SELECT f1 AS "Three" FROM TIME_TBL WHERE f1 < '05:06:07';
  20. SELECT f1 AS "Five" FROM TIME_TBL WHERE f1 > '05:06:07';
  21. SELECT f1 AS "None" FROM TIME_TBL WHERE f1 < '00:00';
  22. SELECT f1 AS "Eight" FROM TIME_TBL WHERE f1 >= '00:00';
  23. -- Check edge cases
  24. SELECT '23:59:59.999999'::time;
  25. SELECT '23:59:59.9999999'::time; -- rounds up
  26. SELECT '23:59:60'::time; -- rounds up
  27. SELECT '24:00:00'::time; -- allowed
  28. SELECT '24:00:00.01'::time; -- not allowed
  29. SELECT '23:59:60.01'::time; -- not allowed
  30. SELECT '24:01:00'::time; -- not allowed
  31. SELECT '25:00:00'::time; -- not allowed
  32. --
  33. -- TIME simple math
  34. --
  35. -- We now make a distinction between time and intervals,
  36. -- and adding two times together makes no sense at all.
  37. -- Leave in one query to show that it is rejected,
  38. -- and do the rest of the testing in horology.sql
  39. -- where we do mixed-type arithmetic. - thomas 2000-12-02
  40. SELECT f1 + time '00:01' AS "Illegal" FROM TIME_TBL;
  41. --
  42. -- test EXTRACT
  43. --
  44. SELECT EXTRACT(MICROSECOND FROM TIME '2020-05-26 13:30:25.575401');
  45. SELECT EXTRACT(MILLISECOND FROM TIME '2020-05-26 13:30:25.575401');
  46. SELECT EXTRACT(SECOND FROM TIME '2020-05-26 13:30:25.575401');
  47. SELECT EXTRACT(MINUTE FROM TIME '2020-05-26 13:30:25.575401');
  48. SELECT EXTRACT(HOUR FROM TIME '2020-05-26 13:30:25.575401');
  49. SELECT EXTRACT(DAY FROM TIME '2020-05-26 13:30:25.575401'); -- error
  50. SELECT EXTRACT(FORTNIGHT FROM TIME '2020-05-26 13:30:25.575401'); -- error
  51. SELECT EXTRACT(TIMEZONE FROM TIME '2020-05-26 13:30:25.575401'); -- error
  52. SELECT EXTRACT(EPOCH FROM TIME '2020-05-26 13:30:25.575401');
  53. -- date_part implementation is mostly the same as extract, so only
  54. -- test a few cases for additional coverage.
  55. SELECT date_part('microsecond', TIME '2020-05-26 13:30:25.575401');
  56. SELECT date_part('millisecond', TIME '2020-05-26 13:30:25.575401');
  57. SELECT date_part('second', TIME '2020-05-26 13:30:25.575401');
  58. SELECT date_part('epoch', TIME '2020-05-26 13:30:25.575401');