Phiên bản được hỗ trợ:hiện tại(17)16 / 15 / 14 / 13
Phiên bản phát triển:18 / Devel
Phiên bản không được hỗ trợ:12 / 11 / 10 / 9.6 / 9.5 / 9.4 / 9.3 / 9.2 / 9.1 / 9.0 / 8.4 / 8.3 / 8.2 / 8.1 / 8.0 / 7.4

9.25. So kèo bóng đá pháp#

Phần này mô tả một số cấu trúc chuyên dụng để thực hiện nhiều so kèo bóng đá pháp giữa các nhóm giá trị. Các hình thức này có liên quan về mặt cú pháp đến các hình thức truy vấn con của phần trước, nhưng không liên quan đến các nhóm phụ.PostgreSQL12637_12665SQL-Compliant. Tất cả các biểu mẫu biểu thức được ghi lại trong phần này trả về kết quả boolean (true/false).

9.25.1.in #

Biểu thứcin (giá trị[, ...])

Phía bên phải là danh sách các biểu thức. Kết quả làHồiTRUEHồiNếu kết quả biểu thức bên trái bằng với bất kỳ biểu thức bên phải nào. Đây là một ký hiệu tốc ký cho

Biểu thức=Value1hoặcexpression=value2hoặc

13804_13970inXây dựng sẽ là NULL, không sai. Điều này phù hợp với các quy tắc bình thường của SQL cho các kết hợp boolean của các giá trị null.

9.25.2.không ở #

Biểu thứckhông trong (giá trị[, ...])

Phía bên tay phải là danh sách các biểu thức. Kết quả làMạnhTRUEKhănNếu kết quả biểu thức bên trái là không đồng đều với tất cả các biểu thức bên phải. Đây là một ký hiệu tốc ký cho

Biểu thức<Value1Biểu thức<value2

Lưu ý rằng nếu biểu thức bên trái mang lại NULL hoặc nếu không có giá trị tay phải ngang nhau và ít nhất một biểu thức bên phải mang lại NULL, kết quả củakhông ởXây dựng sẽ là NULL, không đúng như người ta có thể mong đợi. Điều này phù hợp với các quy tắc bình thường của SQL cho các kết hợp boolean của các giá trị null.

TIP

x không ở ylà tương đương vớikhông (x in y)Trong mọi trường hợp. Tuy nhiên, các giá trị null có nhiều khả năng vượt qua người mới khi làm việc vớikhông ởso với khi làm việc vớiin. Tốt nhất là thể hiện tình trạng của bạn một cách tích cực nếu có thể.

9.25.3.bất kỳ/Một số(kèo bóng đá pháp)#

Biểu thức Nhà điều hànhany (Biểu thức kèo bóng đá pháp)Biểu thức Nhà điều hànhMột số (Biểu thức kèo bóng đá pháp)

Phía bên phải là biểu thức dấu ngoặc đơn, phải mang lại giá trị mảng. Biểu thức bên trái được đánh giá và so kèo bóng đá pháp với từng phần tử của mảng bằng cách sử dụng đã choNhà điều hành, phải mang lại kết quả boolean. Kết quả củaanytrueKhănNếu có được kết quả đúng. Kết quả làSaikèo bóng đá phápNếu không tìm thấy kết quả đúng (bao gồm cả trường hợp kèo bóng đá pháp có phần tử không).

Nếu biểu thức kèo bóng đá pháp mang lại một kèo bóng đá pháp null, kết quả củabất kỳsẽ là NULL. Nếu biểu thức bên trái mang lại NULL, kết quả củabất kỳthông thường là không (mặc dù một toán tử so kèo bóng đá pháp không nghiêm ngặt có thể mang lại kết quả khác). Ngoài ra, nếu mảng bên phải chứa bất kỳ phần tử null nào và không có kết quả so kèo bóng đá pháp đúng nào, kết quả củaAnysẽ là null, không sai (một lần nữa, giả sử một toán tử so kèo bóng đá pháp nghiêm ngặt). Điều này phù hợp với các quy tắc bình thường của SQL cho các kết hợp boolean của các giá trị null.

Một sốlà từ đồng nghĩa vớibất kỳ.

9.25.4.tất cả(kèo bóng đá pháp)#

Biểu thức Nhà điều hànhAll (Biểu thức kèo bóng đá pháp)

Phía bên phải là biểu thức dấu ngoặc đơn, phải mang lại giá trị mảng. Biểu thức bên trái được đánh giá và so kèo bóng đá pháp với từng phần tử của mảng bằng cách sử dụng đã choNhà điều hành, phải mang lại kết quả boolean. Kết quả củatất cảTRUENếu tất cả các so kèo bóng đá pháp đều có đúng (bao gồm cả trường hợp mảng có các phần tử bằng không). Kết quả làSaiNếu có bất kỳ kết quả sai nào được tìm thấy.

Nếu biểu thức kèo bóng đá pháp mang lại một kèo bóng đá pháp null, kết quả củatất cảsẽ là NULL. Nếu biểu thức bên trái mang lại NULL, kết quả củatất cảthường là NULL (mặc dù một toán tử so kèo bóng đá pháp không nghiêm ngặt có thể mang lại kết quả khác). Ngoài ra, nếu mảng bên phải chứa bất kỳ phần tử null nào và không có kết quả so kèo bóng đá pháp sai, kết quả củatất cảsẽ là null, không đúng (một lần nữa, giả sử một toán tử so kèo bóng đá pháp nghiêm ngặt). Điều này phù hợp với các quy tắc bình thường của SQL cho các kết hợp boolean của các giá trị null.

9.25.5. So kèo bóng đá pháp hàm tạo hàng#

Row_Constructor Nhà điều hành Row_Constructor

Mỗi bên là một hàm tạo kèo bóng đá pháp, như được mô tả trongPhần 4.2.13. Hai bộ xây dựng kèo bóng đá pháp phải có cùng một số trường.Nhà điều hànhđược áp dụng cho từng cặp trường tương ứng. .=Thành viên của lớp toán tử B-cây, có nghĩa là so kèo bóng đá pháp trình xây dựng hàng chỉ có thể khiNhà điều hành=, <, <, <=, hoặc =hoặc có ngữ nghĩa tương tự như một trong số này.

The=<Các trường hợp hoạt động hơi khác so với các trường hợp khác. Hai kèo bóng đá pháp được coi là bằng nhau nếu tất cả các thành viên tương ứng của họ không có null và bằng nhau;

cho<, <=, =Các trường hợp, các phần tử hàng được so sánh từ trái sang phải, dừng lại ngay khi tìm thấy một cặp phần tử không bằng nhau hoặc null. Nếu một trong hai cặp phần tử này là NULL, kết quả của việc so kèo bóng đá pháp vẫn chưa được biết (NULL);kèo bóng đá pháp (1,2, null) <kèo bóng đá pháp (1,3,0)mang lại sự thật, không phải null, vì cặp phần tử thứ ba không được xem xét.

Row_Constructorkhác vớiRow_Constructor

Cấu trúc này tương tự như<So kèo bóng đá pháp, nhưng nó không mang lại null cho đầu vào null. Thay vào đó, bất kỳ giá trị null nào cũng được coi là không đồng đều với (khác biệt) bất kỳ giá trị không khống nào và bất kỳ hai null nào đều được coi là bằng nhau (không khác biệt).

Row_Constructorkhông khác biệt vớiROW_Constructor

Cấu trúc này tương tự như=So kèo bóng đá pháp, nhưng nó không mang lại null cho đầu vào null. Thay vào đó, bất kỳ giá trị null nào cũng được coi là không đồng đều với (khác biệt) bất kỳ giá trị không khống nào và bất kỳ hai null nào đều được coi là bằng nhau (không khác biệt).

9.25.6. So kèo bóng đá pháp loại tổng hợp#

Record Nhà điều hành Record

Thông số kỹ thuật SQL yêu cầu so kèo bóng đá pháp theo hàng để trả về null nếu kết quả phụ thuộc vào việc so kèo bóng đá pháp hai giá trị null hoặc null và không null.POSTGRESQLĐiều này chỉ khi so kèo bóng đá pháp kết quả của hai hàm tạo hàng (như trongPhần 9.25.5) hoặc so kèo bóng đá pháp một hàm tạo hàng với đầu ra của một truy vấn con (như trongPhần 9.24). Trong các bối cảnh khác trong đó hai giá trị loại tổng hợp được so kèo bóng đá pháp, hai giá trị trường null được coi là bằng nhau và null được coi là lớn hơn so với không null.

Mỗi bên được đánh giá và chúng được so kèo bóng đá pháp khôn ngoan. So sánh loại tổng hợp được cho phép khiNhà điều hành=, <, <, <=, hoặc =hoặc có ngữ nghĩa tương tự như một trong số này. .=Thành viên của lớp toán tử B-cây.) Hành vi mặc định của các toán tử trên giống như đối vớilà [không] khác biệt vớiĐối với các hàm tạo kèo bóng đá pháp (xemPhần 9.25.5).

Để hỗ trợ khớp các hàng bao gồm các phần tử không có lớp toán tử B-cây mặc định, các toán tử sau được xác định để so kèo bóng đá pháp loại tổng hợp:*=, *<, *<, *<=, ** =. Các toán tử này so kèo bóng đá pháp biểu diễn nhị phân bên trong của hai hàng.Phần 64.1.4.3). Tuy nhiên, chúng không có ý định hữu ích cho việc viết truy vấn.

Gửi hiệu chỉnh

Nếu bạn thấy bất cứ điều gì trong tài liệu không chính xác, không khớpMẫu nàyĐể báo cáo vấn đề tài liệu.