Mô -đun này thực hiện kiểu dữ kèo bóng đá phápSEG
để biểu diễn kèo bóng đá pháp phân đoạn dòng hoặc khoảng thời gian nổi.SEG
Có thể thể hiện sự không chắc chắn trong kèo bóng đá pháp điểm cuối khoảng thời gian, làm cho nó đặc biệt hữu ích để thể hiện kèo bóng đá pháp phép đo phòng thí nghiệm.
Mô -đun này được coi làTrusted, nghĩa là, nó có thể được cài đặt bởi những người không phải là người giám sát cóTạo
Đặc quyền trên cơ sở dữ kèo bóng đá pháp hiện tại.
Hình học của kèo bóng đá pháp phép đo thường phức tạp hơn so với điểm trong một liên tục số. Một phép đo thường là một phân đoạn của sự liên tục đó với kèo bóng đá pháp giới hạn hơi mờ.
Sử dụng thông thường, có vẻ thuận tiện hơn để lưu trữ dữ liệu như kèo bóng đá pháp khoảng, thay vì kèo bóng đá pháp cặp số. Trong thực tế, nó thậm chí còn hóa ra hiệu quả hơn trong hầu hết kèo bóng đá pháp ứng dụng.
Xa hơn dọc theo dòng thông thường, độ mờ của kèo bóng đá pháp giới hạn cho thấy rằng việc sử dụng kèo bóng đá pháp loại dữ liệu số truyền thống dẫn đến mất thông tin nhất định. Hãy xem xét điều này: Công cụ của bạn đọc 6.50 và bạn nhập bài đọc này vào cơ sở dữ liệu.
test = Chọn 6.50 :: float8 là "pH";
Trong thế giới đo lường, 6,50 không giống với 6.5. Nó đôi khi có thể rất khác nhau.
Kết luận? Thật tuyệt khi có một loại dữ liệu đặc biệt có thể ghi lại kèo bóng đá pháp giới hạn của một khoảng thời gian với độ chính xác biến đổi tùy ý.
Kiểm tra điều này:
test = select '6.25 .. 6,50' :: seg là "pH";
Biểu diễn bên ngoài của một khoảng được hình thành bằng cách sử dụng một hoặc hai số điểm nổi được nối bởi toán tử phạm vi (..
hoặc...
). Ngoài ra, nó có thể được chỉ định là một điểm trung tâm cộng với hoặc trừ đi độ lệch.<
, hoặc
~
) cũng có thể được lưu trữ. (Tuy nhiên, kèo bóng đá pháp chỉ số chắc chắn bị bỏ qua bởi tất cả kèo bóng đá pháp toán tử tích hợp.)Bảng F.28đưa ra một cái nhìn tổng quan về kèo bóng đá pháp biểu diễn được phép;Bảng F.29Hiển thị một số ví dụ.
inBảng F.28, x
, y
vàDelta
biểu thị số điểm nổi.x
vàY
, nhưng khôngDelta
, có thể được đi trước bởi một chỉ báo chắc chắn.
Bảng F.28.SEG
Biểu diễn bên ngoài
|
Giá trị đơn (khoảng không độ dài) |
|
Khoảng từx đếny |
|
Khoảng từx - Delta đếnx +Delta |
|
Khoảng mở với giới hạn dướix |
.. |
Khoảng mở với giới hạn trênx |
Bảng F.29. Ví dụ về hợp lệSEG
Đầu vào
5.0 |
Tạo một phân đoạn độ dài không (một điểm, nếu bạn muốn) |
~ 5.0 |
Tạo một phân đoạn và bản ghi độ dài bằng không~ Trong dữ kèo bóng đá pháp.~ bị bỏ qua bởiSEG Hoạt động, nhưng được bảo tồn dưới dạng bình luận. |
<5.0 |
Tạo một điểm ở 5.0.< bị bỏ qua nhưng được bảo tồn dưới dạng bình luận. |
5.0 |
Tạo một điểm ở 5.0. bị bỏ qua nhưng được bảo tồn dưới dạng bình luận. |
5 (+-) 0,3 |
Tạo một khoảng4.7 .. 5.3 . Lưu ý rằng(+-) Ký hiệu không được bảo quản. |
50 .. |
Mọi thứ lớn hơn hoặc bằng 50 |
.. 0 |
Mọi thứ đều nhỏ hơn hoặc bằng 0 |
1.5E-2 .. 2E-2 |
Tạo kèo bóng đá pháp gian0.015 .. 0.02 |
1 ... 2 |
giống như1...2 hoặc1 .. 2 hoặc1..2 (không gian xung quanh toán tử phạm vi bị bỏ qua) |
Vì...
Toán tử được sử dụng rộng rãi trong kèo bóng đá pháp nguồn dữ liệu, nó được phép làm cách chính tả thay thế của..
Nhà điều hành. Thật không may, điều này tạo ra sự mơ hồ phân tích cú pháp: Không rõ kèo bóng đá pháp giới hạn trên trong0...23
có nghĩa là23
hoặc0.23
. Điều này được giải quyết bằng cách yêu cầu ít nhất một chữ số trước điểm thập phân trong tất cả kèo bóng đá pháp số trongSEG
đầu vào.
như một kiểm tra tỉnh táo,SEG
Từ chối kèo bóng đá pháp khoảng thời gian với giới hạn dưới lớn hơn phần trên, ví dụ5 .. 2
.
SEG
Giá trị được lưu trữ bên trong dưới dạng kèo bóng đá pháp cặp số điểm nổi 32 bit. Điều này có nghĩa là kèo bóng đá pháp số có hơn 7 chữ số quan trọng sẽ bị cắt.
Số có 7 hoặc ít hơn kèo bóng đá pháp chữ số đáng kể giữ lại độ chính xác ban đầu của chúng. Đó là, nếu truy vấn của bạn trả về 0,00, bạn sẽ chắc chắn rằng kèo bóng đá pháp số 0 không phải là tạo tác của định dạng: chúng phản ánh độ chính xác của dữ liệu gốc.
TheSEG
Mô -đun bao gồm lớp toán tử chỉ mục GIST choSEG
Giá trị. kèo bóng đá pháp toán tử được hỗ trợ bởi lớp toán tử GIST được hiển thị trongBảng F.30.
Bảng F.30. kèo bóng đá pháp toán tử seg gist
Nhà điều hành Mô tả |
---|
là lần đầu tiên |
là lần đầu tiên |
đầu tiên |
đầu tiên |
là hai |
làm hai |
đầu tiên |
là lần đầu tiên |
Ngoài kèo bóng đá pháp toán tử trên, kèo bóng đá pháp toán tử so sánh thông thường được hiển thị trongBảng 9.1Có sẵn cho loạiSEG
. kèo bóng đá pháp toán tử này trước tiên so sánh (a) với (c) và nếu chúng bằng nhau, so sánh (b) với (d).
Để biết ví dụ về việc sử dụng, hãy xem bài kiểm tra hồi quySQL/SEG.SQL
.
Cơ chế chuyển đổi(+-)
kèo bóng đá pháp phạm vi thông thường không hoàn toàn chính xác trong việc xác định số lượng chữ số quan trọng cho kèo bóng đá pháp ranh giới. Ví dụ: nó thêm một chữ số bổ sung vào ranh giới dưới nếu khoảng thời gian kết quả bao gồm sức mạnh của mười:
postgres = select '10 (+-) 1 ':: seg as seg;
Hiệu suất của chỉ số r-cây có thể phụ thuộc phần lớn vào thứ tự ban đầu của kèo bóng đá pháp giá trị đầu vào. Có thể rất hữu ích để sắp xếp bảng đầu vào trênSEG
Cột; Xem tập lệnhSắp xếp-Segments.pl
Ví dụ.
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/). Tôi cũng biết ơn tất cả kèo bóng đá pháp 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 đó.
Nếu bạn thấy bất cứ điều gì trong tài kèo bóng đá pháp không chính xác, không khớpMẫu nàyĐể báo cáo vấn đề tài kèo bóng đá pháp.