TheCổ lkèo bóng đá cúp c2mệnh đề, nếu được cung cấp, đặt tên cho một kèo bóng đá cúp c2 tử là người làm thư viện của kèo bóng đá cúp c2 tử được xác định. Chúng tôi nói rằng kèo bóng đá cúp c2 tử A là người giao dịch của kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử<vàĐối với một loại dữ liệu cụ thể thường là người giao cổ và kèo bóng đá cúp c2 tử+thường là tự giao với chính nó. Nhưng kèo bóng đá cúp c2 tử-thường không giao hoán với bất cứ điều gì.

Loại kèo bóng đá cúp c2 hạng bên trái của một kèo bóng đá cúp c2 tử có thể giao lại giống như loại kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử giao dịch là tất cảPostgreSQL14395_14491Cổ lkèo bóng đá cúp c2mệ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 kèo bóng đá cúp c2 truy vấnlật xung quanhHàngĐ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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử với thông tin cổ góp.

Khi bạn xác định một kèo bóng đá cúp c2 tử tự Commutative, bạn chỉ cần làm điều đó. Khi bạn đang xác định một cặp kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử là công cụ phủ định của kèo bóng đá cúp c2 tử được xác định. Chúng tôi nói rằng kèo bóng đá cúp c2 tử A là công cụ phủ định của kèo bóng đá cúp c2 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ư các giao dịch, một cặp kèo bóng đá cúp c2 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.

18384_18506Cổ lkèo bóng đá cúp c2, Chỉ cần được đưa ra tên kèo bóng đá cúp c2 tử trongtiêu cựcmệnh đề.

Cung cấp trình phủ định rất hữu ích cho trình tối ưu kèo bóng đá cúp c2 truy vấn vì nó cho phép các biểu thức nhưkhông (x = y)Để được đơn giản kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử. (Lưu ý rằng đây là tên hàm, không phải tên kèo bóng đá cúp c2 tử.)Hạn chếĐiều khoản chỉ có ý nghĩa đối với các kèo bóng đá cúp c2 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ộtở đâu-Chlause điều kiện của biểu mẫu:

Cột op hằng số

Đối với kèo bóng đá cúp c2 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ó hình thức 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ổ lkèo bóng đá cúp c2là 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 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 kèo bóng đá cúp c2 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/utils/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 kèo bóng đá cúp c2 sẽ không tốt như họ có thể.

Một chức năng ước tính chọn lọc tích hợp hữu ích khác làMatchingsel, sẽ hoạt động cho hầu hết mọi kèo bóng đá cúp c2 tử nhị phân, nếu thống kê MCV và/hoặc Biểu đồ tiêu chuẩn được thu thập cho loại dữ liệu đầu vào. Ước tính mặc định của nó được đặt thành hai lần ước tính mặc định được sử dụng trongEQSEL, Làm cho nó phù hợp nhất cho các kèo bóng đá cúp c2 tử so sánh có phần ít nghiêm ngặt hơn bình đẳng. (Hoặc bạn có thể gọi là cơ bảnGeneric_Restriction_SelectivityHàm, cung cấp ước tính mặc định khác.)

Có các chức năng ước tính chọn lọc bổ sung được thiết kế cho các kèo bóng đá cúp c2 tử hình học trong23312_23350: , 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 kèo bóng đá cúp c2 tử. (Lưu ý rằng đây là tên hàm, không phải tên kèo bóng đá cúp c2 tử.)tham giaĐiều khoản chỉ có ý nghĩa đối với các kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử hiện tại. Như vớiHạn chếmệnh đề, điều này giúp trình tối ưu kèo bóng đá cúp c2 rất đáng kể bằng cách cho phép nó tìm ra trình tự tham gia nào có thể có khả năng thực hiện công việc ít nhất.

Như trước đây, chương này sẽ không cố gắng giải thích cách 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 kèo bóng đá cúp c2 tử này.bămChỉ có ý nghĩa đối với kèo bóng đá cúp c2 tử nhị phân trả vềBooleanvà trong thực tế, kèo bóng đá cúp c2 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à kèo bóng đá cúp c2 tử tham gia chỉ có thể trả về true cho các cặp giá trị trái và bên phải có hà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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 choHồibằ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, kèo bóng đá cúp c2 tử tham gia phải xuất hiện trong họ kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử có thể kết hợp băm phải có một người giao cổ lấn (chính nó nếu hai loại dữ liệu kèo bóng đá cúp c2 học giống nhau hoặc một kèo bóng đá cúp c2 tử bình đẳng liên quan nếu chúng khác nhau) xuất hiện trong cùng một họ kèo bóng đá cúp c2 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ọ kèo bóng đá cúp c2 tử băm hỗ trợ nhiều loại dữ liệu để cung cấp các kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 tử này.Hợp nhấtChỉ có ý nghĩa đối với kèo bóng đá cúp c2 tử nhị phân trả vềBooleanvà trong thực tế, kèo bóng đá cúp c2 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à kèo bóng đá cúp c2 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àocùng một địa điểmTheo thứ tự sắp xếp. Trong thực tế, điều này có nghĩa là kèo bóng đá cúp c2 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ênkèo bóng đá cúp c2 tử bình đẳng có thể hợp nhất. Chúng tôi chỉ cần các kèo bóng đá cúp c2 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, kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 hạng giống nhau hoặc một kèo bóng đá cúp c2 tử bình đẳng liên quan nếu chúng khác nhau) xuất hiện trong cùng một họ kèo bóng đá cúp c2 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 kèo bóng đá cúp c2 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.