TheGinGiao diện có mức độ trừu tượng cao, yêu cầu người thực hiện phương thức truy cập chỉ để thực hiện ngữ nghĩa của kiểu dữ liệu được truy cập. TheGinBản thân lớp chăm sóc sự đồng thời, ghi nhật ký và tìm kiếm cấu trúc cây.
Tất cả những gì cần thiết để có đượcGinPhương pháp truy cập làm việc là thực hiện một số phương pháp do người dùng xác định, xác định hành vi của các khóa trong cây và mối quan hệ giữa các khóa, kèo bóng đá euro được lập chỉ kèo bóng đá euro và truy vấn có thể lập chỉ kèo bóng đá euro. Tóm lại,GinKết hợp độ kèo bóng đá euro với tính tổng quát, tái sử dụng mã và giao diện sạch.
Có hai phương pháp mà kèo bóng đá euro lớp toán tử choGinPhải cung cấp:
Datum *ExtractValue (Datum ItemValue, Int32 *NKEYS,
Trả về một mảng palloc'd gồm một kèo bóng đá euro được cung cấp một kèo bóng đá euro được lập chỉ kèo bóng đá euro. Số lượng khóa trả về phải được lưu trữ thành*NKEYS
. Nếu bất kỳ phím nào có thể là null, cũng palloc kèo bóng đá euro mảng*NKEYS
bool
Trường, lưu trữ địa chỉ của nó tại*nullflags
, và đặt các cờ null này khi cần.*nullflags
có thể để lạinull
(giá trị ban đầu của nó) nếu tất cả các khóa không phải là null. Giá trị trả về có thể lànull
Nếu kèo bóng đá euro không chứa khóa.
10628_10768
Trả về kèo bóng đá euro mảng palloc'd gồm các khóa được cung cấp kèo bóng đá euro giá trị được truy vấn; đó là,Truy vấn
là giá trị ở phía bên phải của toán tử có thể lập chỉ kèo bóng đá euro có phía bên trái là cột được lập chỉ kèo bóng đá euro.n
là số chiến lược của toán tử trong lớp toán tử (xemPhần 38.15.2). Thường,Trích xuất
Sẽ cần tham khảo ý kiếnn
Để xác định loại dữ liệu củaTruy vấn
và phương pháp nên sử dụng để trích xuất các giá trị khóa. Số lượng khóa trả về phải được lưu trữ thành*NKEYS
. Nếu bất kỳ phím nào có thể là null, cũng palloc kèo bóng đá euro mảng*NKEYS
bool
Trường, lưu trữ địa chỉ của nó tại*nullflags
, và đặt các cờ null này khi cần.*nullflags
có thể để lạinull
(giá trị ban đầu của nó) nếu tất cả các khóa không phải là null. Giá trị trả về có thể lànull
NếuTruy vấn
không chứa khóa.
searchMode
là đối số đầu ra cho phépTrích xuất
Để chỉ định chi tiết về cách tìm kiếm sẽ được thực hiện. Nếu như*SearchMode
được đặt thànhGin_Search_Mode_Default
(là giá trị mà nó được khởi tạo trước khi gọi), chỉ các kèo bóng đá euro phù hợp với ít nhất một trong các khóa trả về được coi là phù hợp ứng cử viên. Nếu như*SearchMode
được đặt thànhGIN_SEARCH_MODE_INCLUDE_EMPTY
, sau đó ngoài các kèo bóng đá euro chứa ít nhất một phím phù hợp, các kèo bóng đá euro không chứa khóa nào được coi là phù hợp ứng cử viên. (Ví dụ: Chế độ này rất hữu ích để triển khai các toán tử là bộ phận của các toán tử.) Nếu*SearchMode
được đặt thànhGIN_SEARCH_MODE_ALL
, thì tất cả các kèo bóng đá euro không null trong chỉ kèo bóng đá euro được coi là phù hợp với ứng cử viên, cho dù chúng có khớp với bất kỳ khóa nào được trả về hay không. .access/gin.h
.
pmatch
là đối số đầu ra để sử dụng khi hỗ trợ kết hợp kèo bóng đá euro phần. Để sử dụng nó,Trích xuất
Phải phân bổ kèo bóng đá euro mảng*NKEYS
bools và lưu trữ địa chỉ của nó tại*pmatch
. Mỗi phần tử của mảng phải được đặt thành true nếu khóa tương ứng yêu cầu khớp kèo bóng đá euro phần, sai nếu không.*pmatch
được đặt thànhnull
Sau đó, Gin giả định rằng không cần kết hợp kèo bóng đá euro phần. Biến được khởi tạo thànhnull
Trước khi gọi, vì vậy đối số này có thể bị bỏ qua bởi các lớp toán tử không hỗ trợ khớp kèo bóng đá euro phần.
Extra_Data
là đối số đầu ra cho phépTrích xuất
Để truyền dữ liệu bổ sung chonhất quán
vàso sánhspartial
Phương pháp. Để sử dụng nó,Trích xuất
Phải phân bổ kèo bóng đá euro mảng*NKEYS
Con trỏ và lưu trữ địa chỉ của nó tại*Extra_data
, sau đó lưu trữ bất cứ điều gì nó muốn vào các con trỏ riêng lẻ. Biến được khởi tạo thànhnull
Trước khi gọi, vì vậy đối số này có thể đơn giản bị bỏ qua bởi các lớp toán tử không yêu cầu thêm dữ liệu. Nếu như*Extra_data
được đặt, toàn bộ mảng được chuyển chonhất quán
Phương thức và phần tử thích hợp choso sánhspartial
Phương pháp.
Một lớp toán tử cũng phải cung cấp một chức kèo bóng đá euro để kiểm tra xem một mục được lập chỉ mục có khớp với truy vấn không. Nó có hai hương vị, một booleannhất quán
Hàm và kèo bóng đá euro ternaryTriconsistent
chức kèo bóng đá euro.Triconsistent
Bao gồm chức kèo bóng đá euro của cả hai, vì vậy cung cấpTriconsistent
kèo bóng đá euro mình là đủ. Tuy nhiên, nếu biến thể Boolean rẻ hơn đáng kể để tính toán, thì có thể thuận lợi để cung cấp cả hai.
15820_15969
Trả về đúng nếu một kèo bóng đá euro được lập chỉ kèo bóng đá euro thỏa mãn toán tử truy vấn với số chiến lượcn
(hoặc có thể thỏa mãn nó, nếu chỉ báo kiểm tra lại). Chức kèo bóng đá euro này không có quyền truy cập trực tiếp vào giá trị của mục được lập chỉ mục, vìGinKhông lưu trữ các kèo bóng đá euro một cách rõ ràng. Thay vào đó, những gì có sẵn là kiến thức về giá trị khóa nào được trích xuất từ truy vấn xuất hiện trong một kèo bóng đá euro được lập chỉ kèo bóng đá euro nhất định.Kiểm tra
mảng có độ dàiNKEYS
, giống như số lượng khóa được trả về trước đóTrích xuất
cho điều nàyTruy vấn
Datum. Mỗi yếu tố củaKiểm tra
Mảng là đúng nếu kèo bóng đá euro được lập chỉ kèo bóng đá euro chứa khóa truy vấn tương ứng, tức là, nếu (kiểm tra [i] == true) phím thứ i củaTrích xuất
Mảng kết quả có mặt trong kèo bóng đá euro được lập chỉ kèo bóng đá euro. Bản gốcTruy vấn
Datum được truyền trong trường hợpnhất quán
Phương pháp cần tham khảo nó, và cũng vậyTruy vấn []
vànullflags []
mảng được trả về trước đóTrích xuất
.Extra_data
là mảng dữ liệu thêm được trả về bởiTrích xuất
hoặcnull
Nếu không.
KhiTrích xuất
Trả về phím null trongQuerykeys []
, tương ứngKiểm tra []
Phần tử là đúng nếu kèo bóng đá euro được lập chỉ kèo bóng đá euro chứa khóa null; đó là ngữ nghĩa củaKiểm tra []
giống nhưkhông khác biệt với
. Thenhất quán
Hàm có thể kiểm tra tương ứngnullflags []
Phần tử nếu nó cần cho biết sự khác biệt giữa phù hợp giá trị thông thường và khớp null.
Khi thành công,*Recheck
nên được đặt thành true nếu tple heap cần được kiểm tra lại đối với toán tử truy vấn hoặc sai nếu kiểm tra chỉ kèo bóng đá euro là chính xác. Đó là, một giá trị trả về sai đảm bảo rằng Tuple Heap không khớp với truy vấn;*Recheck
Đặt thành sự bảo đảm sai rằng Tuple Heap không khớp với truy vấn; và giá trị trả về thực sự với*Recheck
18501_18683
18750_18909
Triconsistent
giống vớinhất quán
, nhưng thay vì booleans trongKiểm tra
Vector, có ba giá trị có thể cho mỗi khóa:Gin_True
,gin_false
vàgin_maybe
.gin_false
vàgin_true
Có ý nghĩa tương tự như các giá trị boolean thông thường, trong khiGin_Maybe
có nghĩa là sự hiện diện của khóa đó không được biết đến. Khigin_maybe
Giá trị có mặt, hàm chỉ nên trả vềgin_true
Nếu kèo bóng đá euro chắc chắn khớp với việc kèo bóng đá euro chỉ kèo bóng đá euro có chứa các khóa truy vấn tương ứng hay không. Tương tự như vậy, hàm phải trả vềGin_False
Chỉ khi mặt hàng chắc chắn không khớp, liệu nó có chứagin_maybe
Khóa. Nếu kết quả phụ thuộc vàogin_maybe
Mục nhập, tức là, trận đấu không thể được xác nhận hoặc bác bỏ dựa trên các khóa truy vấn đã biết, chức kèo bóng đá euro phải trả vềGin_Maybe
.
Khi không cógin_maybe
Giá trị trongKiểm tra
Vector, Agin_maybe
Giá trị trả về tương đương với việc cài đặtRECHECK
cờ trong booleannhất quán
chức kèo bóng đá euro.
Ngoài ra, Gin phải có cách sắp xếp các giá trị chính được lưu trữ trong chỉ kèo bóng đá euro. Lớp toán tử có thể xác định thứ tự sắp xếp bằng cách chỉ định phương thức so sánh:
Int So sánh (Datum A, Datum B)
So sánh hai khóa (không được lập chỉ mục!) Và trả về một số nguyên nhỏ hơn 0, 0 hoặc lớn hơn 0, cho biết phím thứ nhất có nhỏ hơn, hoặc lớn hơn hoặc lớn hơn thứ hai. Các phím null không bao giờ được truyền cho chức kèo bóng đá euro này.
Ngoài ra, nếu lớp toán tử không cung cấpso sánh
Phương thức, Gin sẽ tra cứu lớp toán tử Btree mặc định cho kiểu dữ liệu khóa chỉ mục và sử dụng chức kèo bóng đá euro so sánh của nó. Bạn nên chỉ định chức kèo bóng đá euro so sánh trong lớp toán tử GIN chỉ dành cho một kiểu dữ liệu, vì việc tìm kiếm lớp toán tử Btree có giá một vài chu kỳ.Array_ops
) Thông thường không thể chỉ định kèo bóng đá euro hàm so sánh duy nhất.
Tùy chọn, kèo bóng đá euro lớp toán tử choGinCó thể cung cấp phương pháp sau:
int so sánhs
So sánh khóa truy vấn khớp một phần với khóa chỉ kèo bóng đá euro. Trả về một số nguyên có dấu cho biết kết quả: nhỏ hơn 0 có nghĩa là khóa chỉ kèo bóng đá euro không khớp với truy vấn, nhưng việc quét chỉ kèo bóng đá euro sẽ tiếp tục;n
của toán tử tạo truy vấn khớp kèo bóng đá euro phần được cung cấp, trong trường hợp ngữ nghĩa của nó là cần thiết để xác định khi nào nên kết thúc quá trình quét. Cũng,Extra_Data
là phần tử tương ứng của mảng dữ liệu phụ được thực hiện bởiTrích xuất
hoặcnull
Nếu không có. Các phím null không bao giờ được truyền cho chức kèo bóng đá euro này.
Để hỗ trợMạnhKết hợp kèo bóng đá euro phầnHồiTruy vấn, lớp toán tử phải cung cấpCompanPartial
Phương pháp và nóTrích xuất
Phương thức phải đặtpmatch
tham số khi gặp kèo bóng đá euro phần truy vấn khớp kèo bóng đá euro phần. Nhìn thấyPhần 66.4.2Để biết chi tiết.
Các loại dữ liệu thực tế của các loại khác nhauDatum
Các giá trị được đề cập ở trên thay đổi tùy thuộc vào lớp toán tử. Các giá trị kèo bóng đá euro được truyền đếnExtractValue
luôn thuộc loại đầu vào của lớp toán tử và tất cả các giá trị chính phải là của lớplưu trữ
Loại. Loại củaTruy vấn
Đối số được chuyển choTrích xuất
,nhất quán
vàTriconsistent
là bất cứ thứ gì là loại đầu vào bên phải của toán tử thành viên lớp được xác định bởi số chiến lược. Điều này không cần phải giống như loại được lập chỉ kèo bóng đá euro, miễn là các giá trị chính của loại chính xác có thể được trích xuất từ nó.Truy vấn
Đối số, mặc dù loại thực tế có thể là thứ khác tùy thuộc vào toán tử.