| kèo bóng đá pháp 9.0.23 Tài liệu | ||||
|---|---|---|---|---|
| prev | UP | Phụ lục F. | Tiếp theo | |
Mô -đun này thực hiện kiểu dữ kèo bóng đá phápSEGđể biểu diễn các phân đoạn dòng hoặc khoảng thời gian nổi.SEGcó thể thể hiện sự không chắc chắn trong
Hình học kèo bóng đá pháp các phép đo thường phức tạp hơn
Chỉ sử dụng thông thường, có vẻ thuận tiện hơn để lưu trữ
Xa hơn theo dòng thông thường, sự mờ nhạt kèo bóng đá pháp
test = Chọn 6.50 :: float8 dưới dạng "pH";
Trong thế giới đo lường, 6,50 không giống với 6.5.
Kết luận? Thật tuyệt khi có kèo bóng đá pháp loại dữ liệu đặc biệt có thể
Kiểm tra điều này:
test = Chọn '6.25 .. 6,50' :: seg là "pH";
Biểu diễn bên ngoài của kèo bóng đá pháp khoảng được hình thành bằng cách sử dụng..hoặc...).<, và~) cũng có thể được lưu trữ. (Chắc chắnBảng F-24Bảng F-25hiển thị kèo bóng đá pháp số
inBảng F-24, x, YvàDeltabiểu thị số điểm nổi.xvày, nhưng khôngDelta, có thể đi trước bởi kèo bóng đá pháp sự chắc chắn
Bảng F-24.SEGBên ngoài
| x | giá trị đơn (khoảng không độ dài) |
| x..y | Khoảng từxđếny |
| x(+-)Delta | Khoảng từx - Deltađếnx+Delta |
| x.. | Khoảng mở với giới hạn dướix |
| ..x | Khoảng mở với giới hạn trênx |
Bảng F-25. Ví dụ về hợp lệSEGINPUT
| 5.0 | Tạo kèo bóng đá pháp phân đoạn độ dài không (kèo bóng đá pháp điểm, nếu bạn |
| ~ 5.0 | Tạo kèo bóng đá pháp 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ởiSEGhoạt động, nhưng được bảo tồn dưới dạng |
| <5.0 | Tạo kèo bóng đá pháp điểm ở 5.0.<bị bỏ qua nhưng được bảo tồn dưới dạng |
| 5.0 | Tạo kèo bóng đá pháp điểm ở 5.0.bị bỏ qua nhưng được bảo tồn dưới dạng |
| 5 (+-) 0,3 | Tạo khoảng thời gian4.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 khoảng thời gian0.015 .. 0.02 |
| 1 ... 2 | giống như1...2hoặc1 .. 2hoặc1..2(không gian xung quanh toán tử phạm vi |
vì...được sử dụng rộng rãi trong dữ kèo bóng đá pháp... Thật không may, điều này tạo ra kèo bóng đá pháp phân tích cú pháp0...23có nghĩa là23hoặc0.23. Đây làSEGĐầu vào.
như kèo bóng đá pháp kiểm tra tỉnh táo,SEGTừ chối5 .. 2.
TheSEGMô -đun bao gồm kèo bóng đá pháp ý chínhSEGGiá trị. CácBảng F-26.
Bảng F-26. Các toán tử seg gist
| Nhà điều hành | Mô tả |
|---|---|
| [A, B] << [C, | [A, B] hoàn toàn ở bên trái kèo bóng đá pháp [C, D]. Đó là, |
| [A, B] [C, | [A, B] hoàn toàn ở bên phải kèo bóng đá pháp [C, D]. Đó là, |
| [A, B] & <[C, | sự chồng chéo hoặc còn lại kèo bóng đá pháp - điều này có thể được đọc tốt hơn"Không mở rộng sang phải. Nó đúng khi b <= d. |
| [A, B] & [C, | chồng chéo hoặc đúng kèo bóng đá pháp - điều này có thể được đọc tốt hơn"Không mở rộng sang trái. Nó đúng khi a = c. |
| [A, B] = [C, D] | Giống như - các phân đoạn [a, b] và [c, d] là |
| [A, B] && [C, | các phân đoạn [a, b] và [c, d] chồng chéo. |
| [a, b] @ [c, d] | Phân đoạn [A, B] chứa phân đoạn [C, D], |
| [a, b] <@ [c, d] | Phân đoạn [A, B] được chứa trong [C, D], nghĩa là, |
(trước kèo bóng đá pháp 8.2, toán tử ngăn chặn@và<@là@và~. Những cái tên này vẫn có sẵn, nhưng là
Các toán tử B-cây tiêu chuẩn cũng được cung cấp, cho
Những người vận hành này không có nhiều ý nghĩa đối với bất kỳĐể 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(+-)đến
postgres = select '10 (+-) 1 ':: seg as seg;
Hiệu suất kèo bóng đá pháp chỉ mục r-cây có thể phụ thuộc phần lớn vàoSEGCột; nhìn thấySắp xếp-Segments.plcho kèo bóng đá pháp
Tác giả gốc: Gene Selkov, Jr.<Selkovjr@mcs.anl.gov,
Lời cảm ơn kèo bóng đá pháp tôi chủ yếu dành cho Giáo sư Joe Hellerstein (http: //db.cs.berkeley.edu/jmh/) để làm sáng tỏhttp: //gist.cs.berkeley.edu/). Tôi cũng vậy