PostgreSQLCó thể chấp nhận thông số kỹ thuật kèo bóng đá pháp giờ được viết theokèo bóng đá phápQuy tắc tiêu chuẩn choTZBiến môi trường.kèo bóng đá phápThông số kỹ thuật kèo bóng đá pháp giờ là không đủ để đối phó với sự phức tạp của lịch sử kèo bóng đá pháp giờ trong thế giới thực, nhưng đôi khi có những lý do để sử dụng chúng.
Thông số kỹ thuật kèo bóng đá pháp giờ POSIX có biểu mẫu
STDOffset[DST[dstoffset] [ ,quy tắc]]
(Đối với khả năng đọc, chúng tôi hiển thị khoảng trắng giữa các trường, nhưng không nên sử dụng không gian trong thực tế.) Các trường là:
STDVùng viết tắt được sử dụng cho thời gian tiêu chuẩn.
Offsetlà bù thời gian tiêu chuẩn của khu vực từ UTC.
DSTLà viết tắt của khu vực được sử dụng cho thời gian làm sáng ban ngày. Nếu trường này và các trường sau bị bỏ qua, vùng sử dụng độ lệch UTC cố định không có quy tắc tiết kiệm ánh sáng ban ngày.
dstoffsetlà độ lệch ánh sáng ban ngày từ UTC. Trường này thường bị bỏ qua, vì nó mặc định ít hơn một giờ so với thời gian tiêu chuẩnOffset, thường là điều đúng.
quy tắcXác định quy tắc khi tiết kiệm ánh sáng ban ngày có hiệu lực, như được mô tả dưới đây.
Trong cú pháp này, viết tắt vùng có thể là một chuỗi các chữ cái, chẳng hạn nhưesthoặc một chuỗi tùy ý được bao quanh bởi giá đỡ góc, chẳng hạn như. Lưu ý rằng các chữ viết tắt vùng được đưa ra ở đây chỉ được sử dụng cho đầu ra và thậm chí sau đó chỉ ở một số định dạng đầu ra dấu thời gian.Phần B.4.
Các trường bù chỉ định giờ, và tùy chọn phút và giây, chênh lệch so với UTC. Họ có định dạngHH[:mm[:SS]] Tùy chọn với dấu hiệu hàng đầu (+hoặc-). Dấu tích cực được sử dụng cho các vùngTâycủa Greenwich. (Lưu ý rằng đây là đối nghịch với quy ước ký hiệu ISO-8601 được sử dụng ở nơi khác trongPostgreSQL.)HHcó thể có một hoặc hai chữ số;mmvàSS(nếu được sử dụng) phải có hai.
Chuyển đổi ánh sáng ban ngàyquy tắcCó định dạng
dstdate[/dsttime],stddate[/stdtime]
(Như trước đây, không gian không nên được đưa vào thực tế.)dstdatevàdsttimeCác trường xác định khi thời gian sáng ban ngày bắt đầu, trong khistddatevàstdtimeXác định khi thời gian tiêu chuẩn bắt đầu. .
nMột số nguyên đơn giản biểu thị một ngày trong năm, đếm từ 0 đến 364 hoặc đến 365 trong các năm nhảy.
Jnở dạng này,nĐếm từ 1 đến 365 và ngày 29 tháng 2 không được tính ngay cả khi nó có mặt. .
MM.n.DMẫu này chỉ định một quá trình chuyển đổi luôn xảy ra trong cùng một tháng và vào cùng một ngày trong tuần.MXác định tháng, từ 1 đến 12.nChỉ địnhn'Sự xuất hiện của ngày trong tuần được xác định bởiD. nlà một số từ 1 đến 4 hoặc 5 có nghĩa là lần xuất hiện cuối cùng của ngày tuần đó trong tháng (có thể là thứ tư hoặc thứ năm).Dlà một số từ 0 đến 6, với 0 chỉ ra Chủ nhật. Ví dụ,M3.2.0có nghĩa làHồiChủ nhật thứ hai vào tháng 3Hồi.
TheMĐịnh dạng là đủ để mô tả nhiều định luật chuyển tiếp vỗ sáng ban ngày thông thường. Nhưng lưu ý rằng không có biến thể nào trong số các biến thể này có thể giải quyết các thay đổi về luật tiết kiệm ánh sáng ban ngày, vì vậy trong thực tế, dữ liệu lịch sử được lưu trữ cho các kèo bóng đá pháp giờ được đặt tên (trong cơ sở dữ liệu kèo bóng đá pháp giờ IANA) là cần thiết để giải thích các tem thời gian qua một cách chính xác.
Các trường thời gian trong quy tắc chuyển tiếp có cùng định dạng với các trường bù được mô tả trước đây, ngoại trừ việc chúng không thể chứa các dấu hiệu. Họ xác định thời gian địa phương hiện tại mà tại đó sự thay đổi sang thời gian khác xảy ra.02:00:00.
Nếu một chữ viết tắt ánh sáng ban ngày được đưa ra nhưng quá trình chuyển đổiquy tắcTrường bị bỏ qua, hành vi dự phòng là sử dụng quy tắcM3.2.0, M11.1.0, tương ứng với thực tiễn của Hoa Kỳ vào năm 2020 (nghĩa là mùa xuân chuyển tiếp vào Chủ nhật thứ hai của tháng 3, rơi trở lại vào Chủ nhật đầu tiên của tháng 11, cả hai lần chuyển tiếp xảy ra lúc 2 giờ sáng thời gian phổ biến). Lưu ý rằng quy tắc này không đưa ra ngày chuyển tiếp Hoa Kỳ chính xác trong nhiều năm trước năm 2007.
làm ví dụ,CET-1CEST, M3.5.0, M10.5.0/3Mô tả thực hành chấm công hiện tại (kể từ năm 2020) ở Paris. Thông số kỹ kèo bóng đá pháp này nói rằng thời gian tiêu chuẩn có chữ viết tắtCETvà đi trước một giờ (phía đông) của UTC; Thời gian tiết kiệm ánh sáng ban ngày có chữ viết tắtCESTvà hoàn toàn là hai giờ trước UTC; Thời gian tiết kiệm ánh sáng ban ngày bắt đầu vào Chủ nhật cuối cùng vào tháng 3 lúc 2 giờ sáng và kết thúc vào Chủ nhật cuối cùng vào tháng 10 lúc 3 giờ sáng Cest.
Tên bốn kèo bóng đá pháp giờest5edt, CST6CDT, MST7MDTvàPST8PDTNhìn giống như chúng là thông số kỹ thuật của vùng Posix. Tuy nhiên, chúng thực sự được coi là kèo bóng đá pháp giờ được đặt tên bởi vì (vì lý do lịch sử) có các tệp bằng những tên đó trong cơ sở dữ liệu kèo bóng đá pháp giờ IANA.
Một người nên cảnh giác rằng thật dễ dàng để đánh dấu một đặc điểm kỹ thuật kèo bóng đá pháp giờ kiểu POSIX, vì không có kiểm tra về tính hợp lý của viết tắt vùng. Ví dụ,Đặt kèo bóng đá pháp giờ thành foobar0Sẽ hoạt động, để lại hệ thống bằng cách sử dụng một chữ viết tắt khá đặc biệt cho UTC.