TheCổ lcách đọc kèo bóng đámệnh đề, nếu được cung cấp, đặt tên cho một cách đọc kèo bóng đá tử là người làm thư viện của cách đọc kèo bóng đá tử được xác định. Chúng tôi nói rằng cách đọc kèo bóng đá tử A là người giao dịch của cách đọc kèo bóng đá tử B nếu (x a y) bằng (y b x) cho tất cả các giá trị đầu vào có thể có x, y. Lưu ý rằng B cũng là người giao lưu của A. Ví dụ, các cách đọc kèo bóng đá tử<vàĐối với một loại dữ liệu cụ thể thường là người giao cổ và cách đọc kèo bóng đá tử+thường là giao hoán với chính nó. Nhưng cách đọc kèo bóng đá tử-thường không giao hoán với bất cứ điều gì.

Loại cách đọc kèo bóng đá hạng bên trái của cách đọc kèo bóng đá tử có thể giao lại giống như loại cách đọc kèo bóng đá hạng bên phải của người giao dịch và ngược lại. Vì vậy, tên của cách đọc kèo bóng đá tử giao dịch là tất cảPostgreSQLCần được đưa ra để tìm kiếm người giao dịch và đó là tất cả những gì cần được cung cấp trongCổ lcách đọc kèo bóng đámệnh đề.

Điều quan trọng là cung cấp thông tin trước cho các nhà khai thác sẽ được sử dụng trong các chỉ mục và tham gia các điều khoản, vì điều này cho phép trình tối ưu cách đọc kèo bóng đá truy vấnlật xung quanhMột điều khoản như vậy cho các biểu mẫu cần thiết cho các loại kế hoạch khác nhau. Ví dụ: xem xét một truy vấn với mệnh đề WHERE nhưTab1.x = Tab2.y, trong đóTab1.xvàTab2.ythuộc loại do người dùng xác định và giả sử rằngTab2.yđược lập chỉ mục. Trình tối ưu cách đọc kèo bóng đá không thể tạo quét chỉ mục trừ khi nó có thể xác định cách lật mệnh đề xung quanhTab2.y = Tab1.x, Bởi vì máy móc quét chỉ mục dự kiến ​​sẽ thấy cột được lập chỉ mục ở bên trái của cách đọc kèo bóng đá tử được đưa ra.PostgreSQLWillkhôngChỉ cần giả sử rằng đây là một phép biến đổi hợp lệ - người tạo ra=Nhà điều hành phải chỉ định rằng nó hợp lệ, bằng cách đánh dấu cách đọc kèo bóng đá tử với thông tin trước.

Khi bạn xác định một cách đọc kèo bóng đá tử tự Commutative, bạn chỉ cần làm điều đó. Khi bạn đang xác định một cặp cách đọc kèo bóng đá tử giao hoán, mọi thứ sẽ khó khăn hơn một chút: làm thế nào cái đầu tiên có thể được xác định tham khảo cái khác mà bạn chưa xác định được? Có hai giải pháp cho vấn đề này:

Thetiêu cựcmệnh đề, nếu được cung cấp, đặt tên cho một cách đọc kèo bóng đá tử là công cụ phủ định của cách đọc kèo bóng đá tử được xác định. Chúng tôi nói rằng cách đọc kèo bóng đá tử A là công cụ phủ định của cách đọc kèo bóng đá tử B nếu cả hai kết quả boolean trả về và (x a y) bằng không (x b y) cho tất cả các đầu vào có thể x, y. Lưu ý rằng B cũng là người tiêu cực của A. ví dụ,<và =là một cặp tiêu cực cho hầu hết các loại dữ liệu. Người vận hành không bao giờ có thể là người tiêu cực của chính nó.

Không giống như những người giao dịch, một cặp cách đọc kèo bóng đá tử Unary có thể được đánh dấu một cách hợp lệ là người tiêu cực của nhau; Điều đó có nghĩa là (a x) bằng không (b x) cho tất cả x, hoặc tương đương với các cách đọc kèo bóng đá tử không đơn giản.

18808_18930Cổ lcách đọc kèo bóng đá, Chỉ cần được đưa ra tên cách đọc kèo bóng đá tử trongNEGATORmệnh đề.

Cung cấp trình phủ định là rất hữu ích cho trình tối ưu cách đọc kèo bóng đá truy vấn vì nó cho phép các biểu thức nhưkhông (x = y)Để được đơn giản cách đọc kèo bóng đá thànhx < y. Điều này xuất hiện thường xuyên hơn bạn nghĩ, bởi vìkhôngHoạt động có thể được chèn vào hậu quả của các sắp xếp lại khác.

Các cặp cách đọc kèo bóng đá tử tiêu cực có thể được xác định bằng cách sử dụng các phương thức tương tự được giải thích ở trên cho các cặp giao dịch.

TheHạn chếmệnh đề, nếu được cung cấp, đặt tên cho chức năng ước tính chọn lọc hạn chế cho cách đọc kèo bóng đá tử. (Lưu ý rằng đây là tên hàm, không phải tên cách đọc kèo bóng đá tử.)Hạn chếmệnh đề chỉ có ý nghĩa đối với các cách đọc kèo bóng đá tử nhị phân trả vềBoolean. Ý tưởng đằng sau một công cụ ước tính chọn lọc hạn chế là đoán xem phần nào của các hàng trong bảng sẽ thỏa mãn mộtWHERE-Chlause điều kiện của mẫu:

Cột op hằng số

Đối với cách đọc kèo bóng đá tử hiện tại và một giá trị hằng số cụ thể. Điều này hỗ trợ trình tối ưu hóa bằng cách cho nó một số ý tưởng về số lượng hàng sẽ được loại bỏ bởiWHERECác điều khoản có biểu mẫu này. (Điều gì xảy ra nếu hằng số ở bên trái, bạn có thể tự hỏi? Chà, đó là một trong những điều đóCổ lcách đọc kèo bóng đálà cho ...)

Viết các chức năng ước tính chọn lọc giới hạn mới vượt xa phạm vi của chương này, nhưng may mắn thay, bạn thường chỉ có thể sử dụng một trong những ước tính tiêu chuẩn của hệ thống cho nhiều nhà khai thác của riêng bạn. Đây là những người ước tính hạn chế tiêu chuẩn:

Bạn có thể thường xuyên thoát khỏi việc sử dụngeqselhoặcNeqselĐối với các nhà khai thác có độ chọn lọc rất cao hoặc rất thấp, ngay cả khi chúng không thực sự bình đẳng hoặc bất bình đẳng. Ví dụ: các cách đọc kèo bóng đá tử hình học bình đẳng gần đúng sử dụngeqselVề giả định rằng chúng thường chỉ khớp với một phần nhỏ của các mục trong bảng.

Bạn có thể sử dụngScalarltsel, Scalarlesel, ScalargtselvàScalargeselĐể so sánh các loại dữ liệu có một số phương tiện hợp lý để được chuyển đổi thành vô hướng số để so sánh phạm vi. Nếu có thể, hãy thêm kiểu dữ liệu vào các loại được hiểu bởi hàmconvert_to_scalar ()insrc/backend/elils/adt/selfuncs.c. .pg_typeDanh mục hệ thống; Nhưng điều đó vẫn chưa xảy ra.) Nếu bạn không làm điều này, mọi thứ vẫn hoạt động, nhưng ước tính của trình tối ưu cách đọc kèo bóng đá sẽ không tốt như họ có thể.

Có các chức năng ước tính chọn lọc bổ sung được thiết kế cho các cách đọc kèo bóng đá tử hình học trong23145_23183: , vị trívàcontsel. Trong bài viết này, đây chỉ là những sơ khai, nhưng bạn có thể muốn sử dụng chúng (hoặc thậm chí tốt hơn, dù sao cũng cải thiện chúng).

Thetham giamệnh đề, nếu được cung cấp, đặt tên cho chức năng ước tính chọn lọc tham gia cho cách đọc kèo bóng đá tử. (Lưu ý rằng đây là tên hàm, không phải tên cách đọc kèo bóng đá tử.)Tham giaĐiều khoản chỉ có ý nghĩa đối với các cách đọc kèo bóng đá tử nhị phân trả vềBoolean. Ý tưởng đằng sau một công cụ ước tính chọn lọc tham gia là đoán được phần nào của các hàng trong một cặp bảng sẽ thỏa mãn mộtWHERE-Chlause điều kiện của biểu mẫu:

Bảng1.Column1 OP Bảng2.column2

Đối với cách đọc kèo bóng đá tử hiện tại. Như vớiHạn chế24307_24461

Như trước đây, chương này sẽ không cố gắng giải thích làm thế nào để viết hàm ước tính chọn lọc tham gia, nhưng sẽ chỉ đề xuất rằng bạn sử dụng một trong những ước tính tiêu chuẩn nếu có thể áp dụng:

Thebămmệnh đề, nếu có, hãy nói với hệ thống rằng có thể sử dụng phương thức nối băm cho tham gia dựa trên cách đọc kèo bóng đá tử này.bămChỉ có ý nghĩa đối với cách đọc kèo bóng đá tử nhị phân trả vềBooleanvà trong thực tế, cách đọc kèo bóng đá tử phải biểu thị sự bình đẳng cho một số loại dữ liệu hoặc cặp loại dữ liệu.

Giả định Hash tương tự là cách đọc kèo bóng đá tử tham gia chỉ có thể trả về các cặp giá trị bên trái và bên phải với cùng mã băm giống nhau. Nếu hai giá trị được đặt trong các thùng băm khác nhau, sự tham gia sẽ không bao giờ so sánh chúng, hoàn toàn giả định rằng kết quả của cách đọc kèo bóng đá tử tham gia phải là sai. Vì vậy, không bao giờ có ý nghĩa khi chỉ địnhbămĐối với các cách đọc kèo bóng đá tử không đại diện cho một số dạng bình đẳng. Trong hầu hết các trường hợp, chỉ thực tế để hỗ trợ băm cho các nhà khai thác lấy cùng một loại dữ liệu ở cả hai phía. Tuy nhiên, đôi khi có thể thiết kế các hàm băm tương thích cho hai hoặc nhiều loại dữ liệu; nghĩa là, các chức năng sẽ tạo ra các mã băm giống nhau chobằngHồiGiá trị, mặc dù các giá trị có các biểu diễn khác nhau. Ví dụ: việc sắp xếp thuộc tính này khá đơn giản khi các số nguyên có chiều rộng khác nhau.

Để được đánh dấubăm, cách đọc kèo bóng đá tử tham gia phải xuất hiện trong họ cách đọc kèo bóng đá tử chỉ số băm. Điều này không được thực thi khi bạn tạo nhà điều hành, vì tất nhiên gia đình điều hành tham chiếu chưa thể tồn tại. Nhưng những nỗ lực sử dụng cách đọc kèo bóng đá tử trong các tham gia băm sẽ thất bại trong thời gian chạy nếu không có gia đình vận hành nào như vậy tồn tại. Hệ thống cần gia đình cách đọc kèo bóng đá tử để tìm (các) hàm băm dành riêng cho loại dữ liệu cho (các) loại dữ liệu đầu vào của nhà điều hành. Tất nhiên, bạn cũng phải tạo các hàm băm phù hợp trước khi bạn có thể tạo gia đình vận hành.

Cần phải thực hiện chăm sóc khi chuẩn bị chức năng băm, bởi vì có những cách phụ thuộc vào máy trong đó nó có thể không làm được điều đúng đắn. Ví dụ: nếu kiểu dữ liệu của bạn là một cấu trúc trong đó có thể có các bit pad không thú vị, bạn không thể chỉ cần chuyển toàn bộ cấu trúc sangHash_any. (Trừ khi bạn viết các cách đọc kèo bóng đá tử và chức năng khác của mình để đảm bảo rằng các bit không sử dụng luôn bằng không, đó là chiến lược được đề xuất.) Một ví dụ khác là trên các máy gặpIEEETiêu chuẩn điểm nổi, 0 âm và 0 dương là các giá trị khác nhau (các mẫu bit khác nhau) nhưng chúng được xác định để so sánh bằng nhau. Nếu một giá trị nổi có thể chứa số 0 âm thì cần thêm các bước để đảm bảo nó tạo ra giá trị băm giống như 0.

Một cách đọc kèo bóng đá tử có thể kết hợp với băm phải có một công cụ chuyển đổi (chính nó nếu hai loại dữ liệu cách đọc kèo bóng đá hạng giống nhau hoặc một cách đọc kèo bóng đá tử bình đẳng có liên quan nếu chúng khác nhau) xuất hiện trong cùng một họ cách đọc kèo bóng đá tử. Nếu đây không phải là trường hợp, các lỗi của kế hoạch có thể xảy ra khi người vận hành được sử dụng. Ngoài ra, đó là một ý tưởng tốt (nhưng không được yêu cầu nghiêm ngặt) đối với họ cách đọc kèo bóng đá tử băm hỗ trợ nhiều loại dữ liệu để cung cấp các cách đọc kèo bóng đá tử bình đẳng cho mọi kết hợp của các loại dữ liệu; Điều này cho phép tối ưu hóa tốt hơn.

TheHợp nhấtmệnh đề, nếu có, hãy nói với hệ thống rằng có thể sử dụng phương thức Merge-join để tham gia dựa trên cách đọc kèo bóng đá tử này.Hợp nhấtChỉ có ý nghĩa đối với cách đọc kèo bóng đá tử nhị phân trả vềBooleanvà trong thực tế, cách đọc kèo bóng đá tử phải biểu diễn sự bình đẳng cho một số loại dữ liệu hoặc cặp loại dữ liệu.

Hợp nhất tham gia dựa trên ý tưởng sắp xếp các bảng bên trái và bên phải theo thứ tự và sau đó quét chúng song song. Vì vậy, cả hai loại dữ liệu phải có khả năng được đặt hàng đầy đủ và cách đọc kèo bóng đá tử tham gia phải là một loại chỉ có thể thành công cho các cặp giá trị rơi vàoHồicùng một địa điểmHàngTheo thứ tự sắp xếp. Trong thực tế, điều này có nghĩa là cách đọc kèo bóng đá tử tham gia phải hoạt động như bình đẳng. Nhưng có thể hợp nhất-tham gia hai loại dữ liệu riêng biệt miễn là chúng tương thích về mặt logic. Ví dụ:SmallInt-versus-Số nguyêncách đọc kèo bóng đá tử bình đẳng có thể hợp nhất. Chúng tôi chỉ cần các cách đọc kèo bóng đá tử sắp xếp sẽ đưa cả hai loại dữ liệu vào một chuỗi tương thích về mặt logic.

Để được đánh dấuHợp nhất, cách đọc kèo bóng đá tử tham gia phải xuất hiện với tư cách là thành viên bình đẳng của ABtreeGia đình vận hành chỉ mục. Điều này không được thực thi khi bạn tạo nhà điều hành, vì tất nhiên gia đình điều hành tham chiếu chưa thể tồn tại. Nhưng nhà điều hành sẽ không thực sự được sử dụng để kết hợp kết hợp trừ khi có thể tìm thấy gia đình vận hành phù hợp. TheHợp nhấtcờ do đó hoạt động như một gợi ý cho người lập kế hoạch rằng nó đáng để tìm kiếm một gia đình vận hành phù hợp.

Một cách đọc kèo bóng đá tử có thể hợp nhất phải có một người giao dịch (chính nó nếu hai loại dữ liệu cách đọc kèo bóng đá hạng giống nhau hoặc một cách đọc kèo bóng đá tử bình đẳng có liên quan nếu chúng khác nhau) xuất hiện trong cùng một họ cách đọc kèo bóng đá tử. Nếu đây không phải là trường hợp, các lỗi của kế hoạch có thể xảy ra khi người vận hành được sử dụng. Ngoài ra, đó là một ý kiến ​​hay (nhưng không được yêu cầu nghiêm ngặt) đối vớiBtreeHọ vận hành hỗ trợ nhiều loại dữ liệu để cung cấp cách đọc kèo bóng đá tử bình đẳng cho mọi kết hợp của các loại dữ liệu; Điều này cho phép tối ưu hóa tốt hơn.