APostgreSQLĐịnh nghĩa kèo chấp bóng đá hôm nay tử có thể bao gồm một số điều khoản tùy chọn cho hệ thống những điều hữu ích về cách thức hoạt động của người vận hành. Các mệnh đề này nên được cung cấp bất cứ khi nào thích hợp, bởi vì chúng có thể tạo ra các tốc độ tăng tốc đáng kể trong việc thực hiện các truy vấn sử dụng kèo chấp bóng đá hôm nay tử.
Các mệnh đề tối ưu kèo chấp bóng đá hôm nay bổ sung có thể được thêm vào trong các phiên bản tương lai củaPostgreSQL. Những cái được mô tả ở đây là tất cả những cái mà phát hành 16.9 hiểu.
Cũng có thể gắn hàm hỗ trợ kế hoạch vào chức năng làm nền tảng cho người vận hành, cung cấp một cách khác để nói với hệ thống về hành vi của kèo chấp bóng đá hôm nay tử. Nhìn thấyPhần 38.11Để biết thêm kèo chấp bóng đá hôm nay.
Cổ lưu #TheCổ lưumệnh đề, nếu được cung cấp, đặt tên cho một kèo chấp bóng đá hôm nay tử là người làm thư viện của kèo chấp bóng đá hôm nay tử được xác định. Chúng tôi nói rằng kèo chấp bóng đá hôm nay tử A là người giao dịch của kèo chấp bóng đá hôm nay 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.<vàĐối với một loại dữ liệu cụ thể thường là người giao dịch và kèo chấp bóng đá hôm nay tử+thường là tự giao với chính nó. Nhưng kèo chấp bóng đá hôm nay tử-thường không giao hoán với bất cứ điều gì.
Loại kèo chấp bóng đá hôm nay hạng bên trái của một kèo chấp bóng đá hôm nay tử có thể giao lại giống như loại kèo chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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ổ lưumệ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 chấp bóng đá hôm nay truy vấnlật xung quanhxô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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay tử với thông tin trước.
Khi bạn xác định một kèo chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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?
Một cách là bỏ quaCổ lưumệnh đề trong kèo chấp bóng đá hôm nay tử thứ nhất mà bạn xác định, sau đó cung cấp một trong định nghĩa của kèo chấp bóng đá hôm nay tử thứ hai. TừPostgreSQLBiết rằng các kèo chấp bóng đá hôm nay tử giao hoán đi theo cặp, khi nó thấy định nghĩa thứ hai, nó sẽ tự động quay lại và điền vào thiếuCổ lưumệnh đề trong định nghĩa đầu tiên.
Cách khác, đơn giản hơn chỉ là bao gồmCổ lưumệnh đề trong cả hai định nghĩa. KhiPostgreSQLxử lý định nghĩa đầu tiên và nhận ra rằngCổ lưuđề cập đến kèo chấp bóng đá hôm nay tử không tồn tại, hệ thống sẽ tạo một mục giả cho kèo chấp bóng đá hôm nay tử đó trong danh mục hệ thống. Mục nhập giả này sẽ chỉ có dữ liệu hợp lệ cho tên kèo chấp bóng đá hôm nay tử, các loại kèo chấp bóng đá hôm nay hạng bên trái và phải và loại kết quả, vì đó là tất cả những gìPostgreSQLCó thể suy luận tại thời điểm này. Mục nhập danh mục của nhà điều hành đầu tiên sẽ liên kết đến mục giả này.
NEGATOR #TheNEGATORmệnh đề, nếu được cung cấp, đặt tên cho một kèo chấp bóng đá hôm nay tử là công cụ phủ định của kèo chấp bóng đá hôm nay tử được xác định. Chúng tôi nói rằng kèo chấp bóng đá hôm nay tử A là công cụ phủ định của kèo chấp bóng đá hôm nay 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.<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 chấp bóng đá hôm nay 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.
18445_18567Cổ lưu, Chỉ cần được đưa ra tên kèo chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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.
Hạn 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 chấp bóng đá hôm nay tử. (Lưu ý rằng đây là tên hàm, không phải tên kèo chấp bóng đá hôm nay tử.)Hạn chếĐiều khoản chỉ có ý nghĩa đối với các kèo chấp bóng đá hôm nay 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
Cột op hằng số
Đối với kèo chấp bóng đá hôm nay 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ổ lưulà 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:
EQSELcho= |
Neqselcho< |
Scalarltselcho< |
Scalarleselcho<= |
Scalargtselcho |
Scalargeselcho = |
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 chấp bóng đá hôm nay 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 kèo chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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 hàm ước tính chọn lọc bổ sung được thiết kế cho các kèo chấp bóng đá hôm nay tử hình học trong23422_23460: , 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).
tham gia #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 chấp bóng đá hôm nay tử. (Lưu ý rằng đây là tên hàm, không phải tên kèo chấp bóng đá hôm nay tử.)tham giaĐiều khoản chỉ có ý nghĩa đối với các kèo chấp bóng đá hôm nay 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 chấp bóng đá hôm nay tử hiện tại. Như vớiHạn chế24625_24779
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
eqjoinselcho= |
Neqjoinselcho< |
Scalarltjoinselcho< |
Scalarlejoinselcho<= |
Scalargtjoinselcho |
Scalargejoinselcho = |
MatchingJoinselĐối với các kèo chấp bóng đá hôm nay tử khớp chung |
AreajoinselĐối với các so sánh dựa trên khu vực 2D |
vị tríJoInselĐối với các so sánh dựa trên vị trí 2D |
contjoinselĐối với các so sánh dựa trên ngăn chặn 2D |
băm #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 chấp bóng đá hôm nay tử này.bămChỉ có ý nghĩa đối với kèo chấp bóng đá hôm nay tử nhị phân trả vềBooleanvà trong thực tế, kèo chấp bóng đá hôm nay 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 tham gia băm là kèo chấp bóng đá hôm nay tử tham gia chỉ có thể trả về true cho các cặp giá trị bên trái và bên phải băm cho cùng một mã băm. 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 chấp bóng đá hôm nay tử tham gia phải là sai.bămĐối với các kèo chấp bóng đá hôm nay 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.bằ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 chấp bóng đá hôm nay tử tham gia phải xuất hiện trong họ kèo chấp bóng đá hôm nay 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.
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 mà 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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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 kèo chấp bóng đá hôm nay hạng là như nhau hoặc một kèo chấp bóng đá hôm nay 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ọ kèo chấp bóng đá hôm nay 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.
Hàm cơ bản Một kèo chấp bóng đá hôm nay tử có thể kết hợp băm phải được đánh dấu bất biến hoặc ổn định. Nếu nó biến động, hệ thống sẽ không bao giờ cố gắng sử dụng kèo chấp bóng đá hôm nay tử cho một băm tham gia.
Nếu kèo chấp bóng đá hôm nay tử có thể chỉ băm có chức năng cơ bản được đánh dấu nghiêm ngặt, thì chức năng cũng phải hoàn thành: nghĩa là, nó sẽ trả về đúng hay sai, không bao giờ null, cho bất kỳ hai đầu vào không liên quan nào. Nếu quy tắc này không được tuân theo, tối ưu hóa băm củainHoạt động có thể tạo ra kết quả sai. (Cụ thể,incó thể trả về sai trong đó câu trả lời đúng theo tiêu chuẩn sẽ là null; hoặc nó có thể mang lại một lỗi phàn nàn rằng nó không được chuẩn bị cho một kết quả null.)
Hợp nhất #TheHợp nhất30982_31109Hợp nhấtChỉ có ý nghĩa đối với kèo chấp bóng đá hôm nay tử nhị phân trả vềBooleanvà trong thực tế, kèo chấp bóng đá hôm nay 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.
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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay tử tham gia phải hoạt động như bình đẳng.SmallInt-versus-Số nguyênkèo chấp bóng đá hôm nay tử bình đẳng có thể hợp nhất. Chúng tôi chỉ cần các kèo chấp bóng đá hôm nay 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 chấp bóng đá hôm nay 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 vận hành tham chiếu chưa thể tồn tại.Hợ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 chấp bóng đá hôm nay 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 chấp bóng đá hôm nay hạng giống nhau hoặc một kèo chấp bóng đá hôm nay 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ọ kèo chấp bóng đá hôm nay 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.BtreeHọ vận hành hỗ trợ nhiều loại dữ liệu để cung cấp các kèo chấp bóng đá hôm nay 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.
Hàm cơ bản mà một kèo chấp bóng đá hôm nay tử kết hợp phải hợp nhất phải được đánh dấu bất biến hoặc ổn định. Nếu nó không ổn định, hệ thống sẽ không bao giờ cố gắng sử dụng kèo chấp bóng đá hôm nay tử để nối hợp nhất.
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.