Postgresql: Tài liệu: 15: F.11. kèo bóng đá pháp

Tài liệu→PostgreSQL: Tài

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

F.11. kèo bóng đá pháp
prev	UP	Phụ lục F. Các mô -đun được cung cấp bổ sung	Trang chủ	Tiếp theo

F.11. kèo bóng đá pháp

F.11.1. Cú pháp
F.11.2. Độ chính xác
F.11.3. Cách sử dụng
F.11.4. Mặc định
F.11.5. Ghi chú
F.11.6. Tín dụng

Mô -đun này thực hiện kiểu dữ liệukèo bóng đá pháp9634_9677

Mô -đun này được coi làđáng tin cậy, nghĩa là, nó có thể được cài đặt bởi những người không phải là người siêu giám sát cóTạoĐặc quyền trên cơ sở dữ liệu hiện tại.

F.11.1. Cú pháp

Bảng F.2Hiển thị các biểu diễn bên ngoài hợp lệ chokèo bóng đá pháploại.x, y, v.v. biểu thị số điểm nổi.

Bảng F.2. Biểu diễn bên ngoài kèo bóng đá pháp

Cú pháp bên ngoài	có nghĩa là
`x`	Một điểm một chiều (hoặc, khoảng không chiều dài một chiều)
`(x)`	giống như trên
`x1,x2,...,xn`	Một điểm trong không gian n chiều, được biểu thị bên trong dưới dạng kèo bóng đá pháp lượng không có kèo bóng đá pháp lượng
`(x1,x2,...,xn)`	giống như trên
`(x), (y)`	Khoảng thời gian một chiều bắt đầu tại`x`và kết thúc tại`y`hoặc ngược lại; thứ tự không quan trọng
`[(x), (Y)]`	giống như trên
`(x1,...,xn), (Y1,...,yn)`	Một kèo bóng đá pháp lập phương n-chiều được biểu thị bằng một cặp góc đối diện đường chéo của nó
`[(x1,...,xn), (Y1,...,yn)]`	giống như trên

Không quan trọng là thứ tự các góc đối diện của kèo bóng đá pháp lập phương được nhập vào.kèo bóng đá phápChức năng trao đổi giá trị nếu cần để tạo đồng nhấtMạnhdưới bên trái - trên bên phảiĐại diện nội bộ. Khi các góc trùng khớp,kèo bóng đá phápChỉ lưu trữ một góc cùng với13741_13751Hồicờ để tránh lãng phí không gian.

không gian trắng bị bỏ qua trên đầu vào, vì vậy[(X), (y)]giống như[(x), (y)].

F.11.2. Độ chính xác

Giá trị được lưu trữ bên trong dưới dạng số điểm nổi 64 bit. Điều này có nghĩa là các số có hơn khoảng 16 chữ số quan trọng sẽ bị cắt.

F.11.3. Cách sử dụng

Bảng F.3Hiển thị các toán tử chuyên dụng được cung cấp cho loạikèo bóng đá pháp.

Bảng F.3. Toán tử kèo bóng đá pháp

Nhà điều hành Mô tả
`kèo bóng đá pháp` `&&` `kèo bóng đá pháp`→`Boolean` Làm các kèo bóng đá pháp chồng chéo?
`kèo bóng đá pháp` `@` `kèo bóng đá pháp`→`Boolean` kèo bóng đá pháp đầu tiên có chứa cái thứ hai không?
`kèo bóng đá pháp` `<@` `kèo bóng đá pháp`→`Boolean` là kèo bóng đá pháp đầu tiên chứa trong phần thứ hai?
`kèo bóng đá pháp` `-` `Số nguyên`→`float8` trích xuất`n`-th tọa độ của kèo bóng đá pháp lập phương (đếm từ 1).
`kèo bóng đá pháp` `~` `Số nguyên`→`float8` trích xuất`n`-thth tọa độ của kèo bóng đá pháp lập phương, đếm theo cách sau:`n`= 2 *`K`- 1 có nghĩa là giới hạn dưới của`K`-thth kích thước,`n`17455_17464`K`có nghĩa là giới hạn trên của`K`-th -th. Tiêu cực`n`biểu thị giá trị nghịch đảo của tọa độ dương tương ứng. Toán tử này được thiết kế để hỗ trợ KNN-Gist.
`kèo bóng đá pháp` `<-` `kèo bóng đá pháp`→`float8` Tính khoảng cách Euclide giữa hai kèo bóng đá pháp.
`kèo bóng đá pháp` `<#` `kèo bóng đá pháp`→`float8` Tính toán khoảng cách taxi (số liệu L-1) giữa hai kèo bóng đá pháp.
`kèo bóng đá pháp` `<=` `kèo bóng đá pháp`→`float8` 18802_18873

Nhà điều hành

Mô tả

kèo bóng đá pháp && kèo bóng đá pháp→Boolean

Làm các kèo bóng đá pháp chồng chéo?

kèo bóng đá pháp @ kèo bóng đá pháp→Boolean

kèo bóng đá pháp đầu tiên có chứa cái thứ hai không?

kèo bóng đá pháp <@ kèo bóng đá pháp→Boolean

là kèo bóng đá pháp đầu tiên chứa trong phần thứ hai?

kèo bóng đá pháp - Số nguyên→float8

trích xuấtn-th tọa độ của kèo bóng đá pháp lập phương (đếm từ 1).

kèo bóng đá pháp ~ Số nguyên→float8

trích xuấtn-thth tọa độ của kèo bóng đá pháp lập phương, đếm theo cách sau:n= 2 *K- 1 có nghĩa là giới hạn dưới củaK-thth kích thước,n17455_17464Kcó nghĩa là giới hạn trên củaK-th -th. Tiêu cựcnbiểu thị giá trị nghịch đảo của tọa độ dương tương ứng. Toán tử này được thiết kế để hỗ trợ KNN-Gist.

kèo bóng đá pháp <- kèo bóng đá pháp→float8

Tính khoảng cách Euclide giữa hai kèo bóng đá pháp.

kèo bóng đá pháp <# kèo bóng đá pháp→float8

Tính toán khoảng cách taxi (số liệu L-1) giữa hai kèo bóng đá pháp.

kèo bóng đá pháp <= kèo bóng đá pháp→float8

18802_18873

Ngoài các toán tử trên, các toán tử so sánh thông thường được hiển thị trongBảng 9.1có sẵn cho loạikèo bóng đá pháp. Các toán tử này lần đầu tiên so sánh các tọa độ đầu tiên và nếu chúng bằng nhau, hãy so sánh các tọa độ thứ hai, v.v. Chúng tồn tại chủ yếu để hỗ trợ lớp toán tử chỉ mục B-cây chokèo bóng đá pháp, có thể hữu ích, ví dụ nếu bạn muốn có một ràng buộc duy nhất trên Akèo bóng đá phápCột. Nếu không, thứ tự này không được sử dụng nhiều.

Thekèo bóng đá phápMô -đun cũng cung cấp một lớp toán tử chỉ mục GIST chokèo bóng đá phápGiá trị. MỘTkèo bóng đá phápChỉ số GIST có thể được sử dụng để tìm kiếm các giá trị bằng cách sử dụng=, &&, @và<@toán tử trongWHEREmệnh đề.

Ngoài ra, Akèo bóng đá phápChỉ số GIST có thể được sử dụng để tìm những người hàng xóm gần nhất bằng cách sử dụng các toán tử số liệu<-, <#và<=inĐặt hàng bởimệnh đề. Ví dụ, người hàng xóm gần nhất của điểm 3-D (0,5, 0,5, 0,5) có thể được tìm thấy hiệu quả với:

Chọn C từ thứ tự kiểm tra bằng c <- kèo bóng đá pháp (mảng [0,5,0,5,0.5]) giới hạn 1;

The~20669_20924

20959_21009

Và để nhận các kèo bóng đá pháp 2 chiều được đặt hàng theo tọa độ đầu tiên của góc trên bên phải giảm dần:

Chọn C từ thứ tự kiểm tra bằng C ~ 3 Desc Giới hạn 5;

Bảng F.4Hiển thị các chức năng có sẵn.

Bảng F.4. Chức năng kèo bóng đá pháp

function Mô tả Ví dụ (s)
`kèo bóng đá pháp`(`float8`) →`kèo bóng đá pháp` 22177_22239 `kèo bóng đá pháp (1)`→`(1)`
`kèo bóng đá pháp`(`float8`, `float8`) →`kèo bóng đá pháp` Làm cho một kèo bóng đá pháp một chiều. `kèo bóng đá pháp (1, 2)`→`(1), (2)`
`kèo bóng đá pháp`(`float8 []`) →`kèo bóng đá pháp` Tạo kèo bóng đá pháp kèo bóng đá pháp lượng không bằng cách sử dụng các tọa độ được xác định bởi mảng. `kèo bóng đá pháp (mảng [1,2,3])`→`(1, 2, 3)`
`kèo bóng đá pháp`(`float8 []`, `float8 []`) →`kèo bóng đá pháp` Làm cho một kèo bóng đá pháp lập phương có tọa độ phía trên bên phải và dưới bên trái theo định nghĩa của hai mảng, phải có cùng độ dài. `kèo bóng đá pháp (mảng [1,2], mảng [3,4])`→`(1, 2), (3, 4)`
`kèo bóng đá pháp`(`kèo bóng đá pháp`, `float8`) →`kèo bóng đá pháp` 24135_24335 `kèo bóng đá pháp ('(1,2), (3,4)' :: cube, 5)`→`(1, 2, 5), (3, 4, 5)`
`kèo bóng đá pháp`(`kèo bóng đá pháp`, `float8`, `float8`) →`kèo bóng đá pháp` Làm cho một kèo bóng đá pháp lập phương mới bằng cách thêm một chiều vào một kèo bóng đá pháp lập phương hiện có. Điều này rất hữu ích để xây dựng các kèo bóng đá pháp từng mảnh từ các giá trị được tính toán. `24997_25030`→`(1, 2, 5), (3, 4, 6)`
`cube_dim`(`kèo bóng đá pháp`) →`Số nguyên` Trả về số lượng kích thước của kèo bóng đá pháp. `cube_dim ('(1,2), (3,4)')`→`2`
`cube_ll_coord`(`kèo bóng đá pháp`, `Số nguyên`) →`float8` Trả về`n`-th giá trị tọa độ cho góc dưới bên trái của kèo bóng đá pháp. `cube_ll_coord ('(1,2), (3,4)', 2)`→`2`
`cube_ur_coord`(`kèo bóng đá pháp`, `Số nguyên`) →`float8` Trả về`n`-th giá trị tọa độ cho góc trên bên phải của kèo bóng đá pháp. `cube_ur_coord ('(1,2), (3,4)', 2)`→`4`
`cube_is_point`(`kèo bóng đá pháp`) →`Boolean` Trả về đúng nếu kèo bóng đá pháp lập phương là một điểm, nghĩa là hai góc xác định là như nhau. `cube_is_point (kèo bóng đá pháp lập phương (1,1))`→`T`
`cube_distance`(`kèo bóng đá pháp`, `kèo bóng đá pháp`) →`float8` Trả về khoảng cách giữa hai kèo bóng đá pháp. Nếu cả hai kèo bóng đá pháp là điểm, đây là hàm khoảng cách bình thường. `cube_distance ('(1,2)', '(3,4)')`→`2.8284271247461903`
`cube_subset`(`kèo bóng đá pháp`, `Số nguyên []`) →`kèo bóng đá pháp` Tạo một kèo bóng đá pháp mới từ một kèo bóng đá pháp lập phương hiện có, sử dụng danh sách các chỉ mục kích thước từ một mảng. Có thể được sử dụng để trích xuất các điểm cuối của một chiều hoặc để giảm kích thước hoặc để sắp xếp lại chúng như mong muốn. `cube_subset (kèo bóng đá pháp ('(1,3,5), (6,7,8)'), mảng [2])`→`(3), (7)` `cube_subset (kèo bóng đá pháp ('(1,3,5), (6,7,8)'), mảng [3,2,1,1])`→`(5, 3, 1, 1), (8, 7, 6, 6)`
`cube_union`(`kèo bóng đá pháp`, `kèo bóng đá pháp`) →`kèo bóng đá pháp` Sản xuất sự kết hợp của hai kèo bóng đá pháp. `cube_union ('(1,2)', '(3,4)')`→`(1, 2), (3, 4)`
`cube_inter`(`kèo bóng đá pháp`, `kèo bóng đá pháp`) →`kèo bóng đá pháp` Sản xuất giao điểm của hai kèo bóng đá pháp. `cube_inter ('(1,2)', '(3,4)')`→`(3, 4), (1, 2)`
`cube_enlarge`(`C` `kèo bóng đá pháp`, `R` `Double`, `n` `Số nguyên`) →`kèo bóng đá pháp` Tăng kích thước của kèo bóng đá pháp bằng bán kính được chỉ định`R`ít nhất`n`Kích thước. Nếu bán kính là âm thì kèo bóng đá pháp lập phương bị thu hẹp. Tất cả các kích thước được xác định được thay đổi bởi bán kính`R`. Các tọa độ bên trái bị giảm bởi`R`và tọa độ trên bên phải được tăng lên bởi`R`. Nếu một tọa độ bên trái thấp hơn được tăng lên nhiều hơn tọa độ trên bên phải tương ứng (điều này chỉ có thể xảy ra khi`R`<0) so với cả hai tọa độ được đặt thành trung bình của chúng. Nếu như`n`lớn hơn số lượng kích thước được xác định và kèo bóng đá pháp lập phương đang được mở rộng (`R`0), sau đó thêm kích thước được thêm vào để tạo`n`30939_31111 `cube_enlarge ('(1,2), (3,4)', 0,5, 3)`→`(0.5, 1.5, -0,5), (3.5, 4,5, 0.5)`

function

Mô tả

Ví dụ (s)

kèo bóng đá pháp(float8) →kèo bóng đá pháp

22177_22239

kèo bóng đá pháp (1)→(1)

kèo bóng đá pháp(float8, float8) →kèo bóng đá pháp

Làm cho một kèo bóng đá pháp một chiều.

kèo bóng đá pháp (1, 2)→(1), (2)

kèo bóng đá pháp(float8 []) →kèo bóng đá pháp

Tạo kèo bóng đá pháp kèo bóng đá pháp lượng không bằng cách sử dụng các tọa độ được xác định bởi mảng.

kèo bóng đá pháp (mảng [1,2,3])→(1, 2, 3)

kèo bóng đá pháp(float8 [], float8 []) →kèo bóng đá pháp

Làm cho một kèo bóng đá pháp lập phương có tọa độ phía trên bên phải và dưới bên trái theo định nghĩa của hai mảng, phải có cùng độ dài.

kèo bóng đá pháp (mảng [1,2], mảng [3,4])→(1, 2), (3, 4)

kèo bóng đá pháp(kèo bóng đá pháp, float8) →kèo bóng đá pháp

24135_24335

kèo bóng đá pháp ('(1,2), (3,4)' :: cube, 5)→(1, 2, 5), (3, 4, 5)

kèo bóng đá pháp(kèo bóng đá pháp, float8, float8) →kèo bóng đá pháp

Làm cho một kèo bóng đá pháp lập phương mới bằng cách thêm một chiều vào một kèo bóng đá pháp lập phương hiện có. Điều này rất hữu ích để xây dựng các kèo bóng đá pháp từng mảnh từ các giá trị được tính toán.

24997_25030→(1, 2, 5), (3, 4, 6)

cube_dim(kèo bóng đá pháp) →Số nguyên

Trả về số lượng kích thước của kèo bóng đá pháp.

cube_dim ('(1,2), (3,4)')→2

cube_ll_coord(kèo bóng đá pháp, Số nguyên) →float8

Trả vền-th giá trị tọa độ cho góc dưới bên trái của kèo bóng đá pháp.

cube_ll_coord ('(1,2), (3,4)', 2)→2

cube_ur_coord(kèo bóng đá pháp, Số nguyên) →float8

Trả vền-th giá trị tọa độ cho góc trên bên phải của kèo bóng đá pháp.

cube_ur_coord ('(1,2), (3,4)', 2)→4

cube_is_point(kèo bóng đá pháp) →Boolean

Trả về đúng nếu kèo bóng đá pháp lập phương là một điểm, nghĩa là hai góc xác định là như nhau.

cube_is_point (kèo bóng đá pháp lập phương (1,1))→T

cube_distance(kèo bóng đá pháp, kèo bóng đá pháp) →float8

Trả về khoảng cách giữa hai kèo bóng đá pháp. Nếu cả hai kèo bóng đá pháp là điểm, đây là hàm khoảng cách bình thường.

cube_distance ('(1,2)', '(3,4)')→2.8284271247461903

cube_subset(kèo bóng đá pháp, Số nguyên []) →kèo bóng đá pháp

Tạo một kèo bóng đá pháp mới từ một kèo bóng đá pháp lập phương hiện có, sử dụng danh sách các chỉ mục kích thước từ một mảng. Có thể được sử dụng để trích xuất các điểm cuối của một chiều hoặc để giảm kích thước hoặc để sắp xếp lại chúng như mong muốn.

cube_subset (kèo bóng đá pháp ('(1,3,5), (6,7,8)'), mảng [2])→(3), (7)

cube_subset (kèo bóng đá pháp ('(1,3,5), (6,7,8)'), mảng [3,2,1,1])→(5, 3, 1, 1), (8, 7, 6, 6)

cube_union(kèo bóng đá pháp, kèo bóng đá pháp) →kèo bóng đá pháp

Sản xuất sự kết hợp của hai kèo bóng đá pháp.

cube_union ('(1,2)', '(3,4)')→(1, 2), (3, 4)

cube_inter(kèo bóng đá pháp, kèo bóng đá pháp) →kèo bóng đá pháp

Sản xuất giao điểm của hai kèo bóng đá pháp.

cube_inter ('(1,2)', '(3,4)')→(3, 4), (1, 2)

cube_enlarge(C kèo bóng đá pháp, R Double, n Số nguyên) →kèo bóng đá pháp

Tăng kích thước của kèo bóng đá pháp bằng bán kính được chỉ địnhRít nhấtnKích thước. Nếu bán kính là âm thì kèo bóng đá pháp lập phương bị thu hẹp. Tất cả các kích thước được xác định được thay đổi bởi bán kínhR. Các tọa độ bên trái bị giảm bởiRvà tọa độ trên bên phải được tăng lên bởiR. Nếu một tọa độ bên trái thấp hơn được tăng lên nhiều hơn tọa độ trên bên phải tương ứng (điều này chỉ có thể xảy ra khiR<0) so với cả hai tọa độ được đặt thành trung bình của chúng. Nếu nhưnlớn hơn số lượng kích thước được xác định và kèo bóng đá pháp lập phương đang được mở rộng (R0), sau đó thêm kích thước được thêm vào để tạon30939_31111

cube_enlarge ('(1,2), (3,4)', 0,5, 3)→(0.5, 1.5, -0,5), (3.5, 4,5, 0.5)

F.11.4. Mặc định

Tôi tin rằng sự kết hợp này:

chọn Cube_union ('(0,5,2), (2,3,1)', '0');
Cube_Union
-------------------
(0, 0, 0), (2, 5, 2)
(1 hàng)

Không mâu thuẫn với lẽ thường, giao lộ cũng không phải là giao lộ

Chọn Cube_inter ('(0, -1), (1,1)', '(-2), (2)');
cube_inter
-------------
(0, 0), (1, 0)
(1 hàng)

Trong tất cả các hoạt động nhị phân trên các hình kèo bóng đá pháp khác nhau, tôi cho rằng cái chiều thấp hơn là một hình chiếu của Cartesian, i. e., có số 0 thay cho tọa độ bị bỏ qua trong biểu diễn chuỗi. Các ví dụ trên tương đương với:

cube_union ('(0,5,2), (2,3,1)', '(0,0,0), (0,0,0)');
cube_inter ('(0, -1), (1,1)', '(-2,0), (2,0)');

Vị ngữ ngăn chặn sau đây sử dụng cú pháp điểm, trong khi thực tế đối số thứ hai được biểu diễn bên trong một hộp. Cú pháp này làm cho nó không cần thiết phải xác định một loại điểm và hàm riêng riêng cho (hộp, điểm).

chọn kèo bóng đá pháp cube_contains ('(0,0), (1,1)', '0,5,0,5');
Cube_contains
--------------
t
(1 hàng)

F.11.5. Ghi chú

Để biết ví dụ về việc sử dụng, hãy xem bài kiểm tra hồi quysql/cube.sql.

Để làm cho mọi người khó phá vỡ mọi thứ hơn, có giới hạn 100 về số lượng kích thước của kèo bóng đá pháp. Cái này được đặt trongcubedata.hNếu bạn cần một cái gì đó lớn hơn.

F.11.6. Tín dụng

Tác giả gốc: Gene Selkov, Jr.<Selkovjr@mcs.anl.gov, Phòng Toán học và Khoa học Máy tính, Phòng thí nghiệm Quốc gia Argonne.

Lời cảm ơn của tôi chủ yếu dành cho Giáo sư Joe Hellerstein (https: //dsf.berkeley.edu/jmh/) để làm sáng tỏ ý chính của ý chính (http: //gist.cs.berkeley.edu/), và cho học sinh cũ của anh ấy Andy Dong vì ví dụ được viết cho Illustra. Tôi cũng biết ơn tất cả các nhà phát triển Postgres, hiện tại và quá khứ, vì đã cho phép bản thân tạo ra thế giới của riêng tôi và sống không bị xáo trộn trong đó. Và tôi muốn thừa nhận lòng biết ơn của mình đến Argonne Lab và Bộ Năng lượng Hoa Kỳ cho những năm hỗ trợ trung thành với nghiên cứu cơ sở dữ liệu của tôi.

34348_34409<bruno@wolff.tovào tháng 8/tháng 9 năm 2002. Chúng bao gồm thay đổi độ chính xác từ độ chính xác đơn thành độ chính xác gấp đôi và thêm một số chức năng mới.

Cập nhật bổ sung được thực hiện bởi Joshua Reich<josh@root.netVào tháng 7 năm 2006. Chúng bao gồmkèo bóng đá pháp (float8 [], float8 [])và làm sạch mã để sử dụng giao thức cuộc gọi V1 thay vì giao thức V0 không dùng nữa.

prev	UP	Tiếp theo
F.10. Citext	Trang chủ	F.12. dblink

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ớp Kinh nghiệm của bạn với tính năng cụ thể hoặc yêu cầu làm rõ thêm, Vui lòng sử dụngMẫu nàyĐể báo cáo vấn đề tài liệu.