Để minh họa việc sử dụng các loại soi kèo bóng đá truoctran, chúng tôi tạo bảng này:

Tạo bảng SAL_EMP (
    tên văn bản,
    pay_by_quarter số nguyên [],
    Lịch trình văn bản [] []
);

Như được hiển thị, một kiểu dữ liệu soi kèo bóng đá truoctran được đặt tên bằng cách nối các dấu ngoặc vuông ([]) đến tên kiểu dữ liệu của các phần tử soi kèo bóng đá truoctran. Lệnh trên sẽ tạo một bảng có tênSAL_EMPVới soi kèo bóng đá truoctran cột loạiText(tên), một soi kèo bóng đá truoctran một chiều của loạiSố nguyên(pay_by_quarter), đại diện cho tiền lương của nhân viên theo quý và một soi kèo bóng đá truoctran hai chiềuText(Lịch trình12352_12405

Cú pháp choTạo bảngCho phép kích thước chính xác của soi kèo bóng đá truoctran được chỉ định, ví dụ:

Tạo bảng Tictactoe (
    Số nguyên bình phương [3] [3]
);

12641_12786

Việc triển khai hiện tại cũng không thực thi số lượng kích thước được khai báo. Các soi kèo bóng đá truoctran thuộc loại phần tử cụ thể đều được coi là cùng loại, bất kể kích thước hoặc số lượng kích thước. Vì vậy, khai báo kích thước soi kèo bóng đá truoctran hoặc số lượng kích thước trongTạo bảngchỉ đơn giản là tài liệu; nó không ảnh hưởng đến hành vi thời gian chạy.

soi kèo bóng đá truoctran cú pháp thay thế, phù hợp với tiêu chuẩn SQL bằng cách sử dụng từ khóasoi kèo bóng đá truoctran, có thể được sử dụng cho các soi kèo bóng đá truoctran một chiều.pay_by_quarter13379_13409

pay_by_quarter soi kèo bóng đá truoctran số nguyên [4],

Hoặc, nếu không có kích thước soi kèo bóng đá truoctran nào được chỉ định:

pay_by_quarter soi kèo bóng đá truoctran số nguyên,

Tuy nhiên, như trước đây,PostgreSQLKhông thực thi hạn chế kích thước trong mọi trường hợp.

Để viết giá trị soi kèo bóng đá truoctran dưới dạng hằng số theo nghĩa đen, đặt các giá trị phần tử trong niềng răng xoăn và tách chúng bằng dấu phẩy. . (Thông tin chi tiết xuất hiện bên dưới.) Vì vậy, định dạng chung của hằng số soi kèo bóng đá truoctran là như sau:

'Val1 Delim Val2 Delim... '

WHEREDelimlà ký tự phân cách cho loại, như được ghi trong nópg_typemục nhập. Trong số các loại dữ liệu tiêu chuẩn được cung cấp trongPostgreSQLPhân phối, tất cả đều sử dụng dấu phẩy (,), ngoại trừ loạiBoxsử dụng dấu chấm phẩy (;). MỗiVallà hằng số của loại phần tử soi kèo bóng đá truoctran hoặc subarray. Một ví dụ về hằng số soi kèo bóng đá truoctran là:

'1,2,3, 4,5,6, 7,8,9'

Hằng số này là một soi kèo bóng đá truoctran hai chiều, 3 x 3 bao gồm ba số con số của số nguyên.

Để đặt một phần tử của một hằng số soi kèo bóng đá truoctran thành null, viếtnullcho giá trị phần tử. (Bất kỳ biến thể trường hợp nào trên hoặc dưới củanullSẽ làm.) Nếu bạn muốn soi kèo bóng đá truoctran giá trị chuỗi thực tếnullHồi, bạn phải đặt dấu ngoặc kép xung quanh nó.

(Các loại hằng số soi kèo bóng đá truoctran này thực sự chỉ là một trường hợp đặc biệt của các hằng số loại chung được thảo luận trongPhần 4.1.2.7. Hằng số ban đầu được coi là một chuỗi và được chuyển đến thói quen chuyển đổi đầu vào soi kèo bóng đá truoctran. Một đặc điểm kỹ thuật loại rõ ràng có thể cần thiết.)

Bây giờ chúng ta có thể hiển thị soi kèo bóng đá truoctran sốChènCâu lệnh:

Chèn vào sal_emp
    Giá trị ('hóa đơn',
    '10000, 10000, 10000, 10000',
    '"Gặp gỡ", "Bữa trưa", "đào tạo", "thuyết trình"');

Chèn vào SAL_EMP
    Giá trị ('carol',
    '2000, 25000, 25000, 25000',
    '"Bữa sáng", "Tư vấn", "Gặp gỡ", "Bữa trưa"');

Kết quả của hai lần chèn trước trông như thế này:

Chọn * từ sal_emp;
 Tên |      pay_by_quarter |                 lịch trình
-------+-------------------------------+-----------------------------------------------
 Hóa đơn | 10000,10000,10000,10000 | họp, ăn trưa, đào tạo, trình bày
 Carol | 2000,25000,25000,25000 | Ăn sáng, tư vấn, cuộc họp, ăn trưa

soi kèo bóng đá truoctran đa chiều phải có phạm vi phù hợp cho mỗi chiều. Một sự không phù hợp gây ra lỗi, ví dụ:

Chèn vào SAL_EMP
    Giá trị ('hóa đơn',
    '10000, 10000, 10000, 10000',
    '"cuộc họp", "Ăn trưa", "cuộc họp"');
Lỗi: soi kèo bóng đá truoctran dị dạng theo nghĩa đen: "" cuộc họp "," Ăn trưa ", " cuộc họp ""
Chi tiết: soi kèo bóng đá truoctran đa chiều phải có các khớp phụ với kích thước phù hợp.

Thesoi kèo bóng đá truoctran17522_17561

17596_17886

Lưu ý rằng các phần tử soi kèo bóng đá truoctran là các hằng số hoặc biểu thức SQL thông thường; Chẳng hạn, các chuỗi chữ được trích dẫn đơn, thay vì được trích dẫn gấp đôi vì chúng sẽ ở trong một soi kèo bóng đá truoctran theo nghĩa đen. Thesoi kèo bóng đá truoctranCú pháp Constructor được thảo luận chi tiết hơn trongPhần 4.2.12.

Bây giờ, chúng ta có thể chạy một số truy vấn trên bảng. Đầu tiên, chúng tôi chỉ ra cách truy cập một phần tử duy nhất của một soi kèo bóng đá truoctran. Truy vấn này lấy tên của các nhân viên có lương đã thay đổi trong quý thứ hai:

Chọn tên từ SAL_EMP trong đó pay_by_quarter [1] < pay_by_quarter [2];

 tên
-------
 Carol
(1 hàng)

Số đăng ký soi kèo bóng đá truoctran được viết trong dấu ngoặc vuông. Theo mặc địnhPostgreSQLSử dụng quy ước đánh số một dựa trên cho các soi kèo bóng đá truoctran, nghĩa là một soi kèo bóng đá truoctrann19233_19257soi kèo bóng đá truoctran [1]và kết thúc bằngsoi kèo bóng đá truoctran [n].

Truy vấn này lấy tiền lương quý thứ ba của tất cả nhân viên:

Chọn pay_by_quarter [3] từ sal_emp;

 pay_by_quarter
----------------
          10000
          25000
(2 hàng)

Chúng ta cũng có thể truy cập các lát hình chữ nhật tùy ý của một soi kèo bóng đá truoctran hoặc subarrays. Một lát soi kèo bóng đá truoctran được ký hiệu bằng cách viếtgiới hạn thấp hơn:giới hạn trêncho một hoặc nhiều kích thước soi kèo bóng đá truoctran. Ví dụ: Truy vấn này lấy mục đầu tiên trong lịch trình của Bill trong hai ngày đầu tiên trong tuần:

Chọn Lịch trình [1: 2] [1: 1] từ SAL_EMP trong đó Tên = 'Bill';

        lịch trình
------------------------
 meet, đào tạo

Nếu bất kỳ thứ nguyên nào được viết dưới dạng soi kèo bóng đá truoctran lát cắt, tức là, chứa soi kèo bóng đá truoctran dấu hai chấm, thì tất cả các chiều được coi là lát cắt. Bất kỳ kích thước nào chỉ có soi kèo bóng đá truoctran số duy nhất (không có dấu hai chấm) được coi là từ 1 đến số được chỉ định. Ví dụ,[2]được coi là[1: 2], như trong ví dụ này:

Chọn lịch [1: 2] [2] từ SAL_EMP trong đó tên = 'Bill';

                 lịch trình
-----------------------------------------------
 họp, ăn trưa, đào tạo, trình bày

Để tránh sự nhầm lẫn với trường hợp không phải là lát[1: 2] [1: 1], không[2] [1: 1].

Có thể bỏ quagiới hạn thấp hơnvà/hoặcgiới hạn trêncủa một nhà xác định lát cắt; Giới hạn bị thiếu được thay thế bằng giới hạn dưới hoặc trên của các chỉ số của soi kèo bóng đá truoctran. Ví dụ:

Chọn Lịch trình [: 2] [2:] từ SAL_EMP trong đó Tên = 'Bill';

        lịch trình
------------------------
 enlarn, thuyết trình

21536_21777Lịch trìnhHiện tại có kích thước[1: 3] [1: 2]sau đó tham chiếuLịch trình [3] [3]mang lại NULL. Tương tự, một tham chiếu soi kèo bóng đá truoctran với số lượng người đăng ký sai mang lại một null thay vì lỗi.

22069_22593

Kích thước hiện tại của bất kỳ giá trị soi kèo bóng đá truoctran nào cũng có thể được truy xuất vớimảng_dimschức năng:

chọn Array_DIMS (Lịch trình) từ SAL_EMP trong đó Tên = 'Carol';

 Array_dims
------------
 [1: 2] [1: 2]
(1 hàng)

Array_DIMSSản xuất ATextKết quả, thuận tiện cho mọi người đọc nhưng có lẽ bất tiện cho các chương trình. Kích thước cũng có thể được truy xuất vớimảng_uppervàArray_Lower23176_23264

chọn Array_UPPER (Lịch trình, 1) từ Sal_emp trong đó Tên = 'Carol';

 Array_UPPER
-------------
           2
(1 hàng)

Array_lengthSẽ trả về chiều dài của một kích thước soi kèo bóng đá truoctran được chỉ định:

chọn Array_Lpm (Lịch trình, 1) từ Sal_emp trong đó Tên = 'Carol';

 mảng_length
--------------
            2
(1 hàng)

CardinalityTrả về tổng số phần tử trong một soi kèo bóng đá truoctran trên tất cả các kích thước. Nó thực sự là số lượng hàng gọi đếnUnnestsẽ mang lại:

Chọn Cardinality (Lịch trình) từ SAL_EMP trong đó Tên = 'Carol';

 cardinality
-------------
           4
(1 hàng)

Một giá trị soi kèo bóng đá truoctran có thể được thay thế hoàn toàn:

CẬP NHẬT SAL_EMP SET PAY_BY_QUARTER = '25000,25000,27000,27000'
    Tên where = 'carol';

hoặc sử dụngsoi kèo bóng đá truoctranBiểu thức cú pháp:

Cập nhật SAL_EMP SET PAY_BY_QUARTER = soi kèo bóng đá truoctran [25000,25000,27000,27000]
    Tên where = 'carol';

Một soi kèo bóng đá truoctran cũng có thể được cập nhật tại một phần tử duy nhất:

CẬP NHẬT SAL_EMP SET PAY_BY_QUARTER [4] = 15000
    Tên where = 'bill';

hoặc được cập nhật bằng soi kèo bóng đá truoctran lát:

CẬP NHẬT SAL_EMP SET PAY_BY_QUARTER [1: 2] = '27000,27000'
    Tên where = 'carol';

Cú pháp cắt lát với bỏ quagiới hạn thấp hơnvà/hoặcgiới hạn trêncũng có thể được sử dụng, nhưng chỉ khi cập nhật giá trị soi kèo bóng đá truoctran không phải là null hoặc không chiều (nếu không, không có giới hạn đăng ký hiện có để thay thế).

Một giá trị soi kèo bóng đá truoctran được lưu trữ có thể được mở rộng bằng cách gán cho các phần tử chưa có. Bất kỳ vị trí nào giữa các yếu tố hiện tại và các yếu tố mới được chỉ định sẽ được lấp đầy bằng null. Ví dụ: nếu soi kèo bóng đá truoctranMyArrayHiện tại có 4 yếu tố, nó sẽ có sáu yếu tố sau khi cập nhật gán choMyArray [6];MyArray [5]25852_25985

Bài tập được đăng ký cho phép tạo các soi kèo bóng đá truoctran không sử dụng các chỉ số một dựa trên. Ví dụ, người ta có thể gán choMyArray [-2: 7]Để tạo một soi kèo bóng đá truoctran có giá trị đăng ký từ -2 đến 7.

Giá trị soi kèo bóng đá truoctran mới cũng có thể được xây dựng bằng toán tử nối,||:

Chọn soi kèo bóng đá truoctran [1,2] || soi kèo bóng đá truoctran [3,4];
 ? Cột?
-----------
 1,2,3,4

Toán tử nối cho phép một phần tử duy nhất được đẩy vào đầu hoặc kết thúc của một soi kèo bóng đá truoctran một chiều. Nó cũng chấp nhận hain-Dimensional soi kèo bóng đá truoctran hoặc mộtn-Dimensional và ann+1-Dimensional Array.

Khi một phần tử được đẩy vào đầu hoặc đầu của soi kèo bóng đá truoctran một chiều, kết quả là một soi kèo bóng đá truoctran có cùng một chỉ số giới hạn dưới với toán hạng soi kèo bóng đá truoctran. Ví dụ:

chọn Array_DIMS (1 || '[0: 1] = 2,3' :: int []);
 Array_dims
------------
 [0: 2]
(1 hàng)

Chọn mảng_dims (soi kèo bóng đá truoctran [1,2] || 3);
 Array_dims
------------
 [1: 3]
(1 hàng)

27312_27610

chọn Array_DIMS (soi kèo bóng đá truoctran [1,2] || soi kèo bóng đá truoctran [3,4,5]);
 Array_dims
------------
 [1: 5]
(1 hàng)

Chọn mảng_dims (soi kèo bóng đá truoctran [[1,2], [3,4]] || soi kèo bóng đá truoctran [[5,6], [7,8], [9,0]]);
 Array_dims
------------
 [1: 5] [1: 2]
(1 hàng)

Khi soi kèo bóng đá truoctrann-Dimensional soi kèo bóng đá truoctran được đẩy vào đầu hoặc cuối củan+1-Dimensional soi kèo bóng đá truoctran, kết quả tương tự như trường hợp soi kèo bóng đá truoctran phần tử ở trên. Mỗin28142_28200n+1kích thước bên ngoài của soi kèo bóng đá truoctran -Dimensional. Ví dụ:

chọn Array_DIMS (soi kèo bóng đá truoctran [1,2] || soi kèo bóng đá truoctran [[3,4], [5,6]]);
 Array_dims
------------
 [1: 3] [1: 2]
(1 hàng)

Một soi kèo bóng đá truoctran cũng có thể được xây dựng bằng cách sử dụng các chức năngArray_Prepend, Array_Appendhoặcmảng_cat. Hai đầu tiên chỉ hỗ trợ các soi kèo bóng đá truoctran một chiều, nhưngmảng_catHỗ trợ các soi kèo bóng đá truoctran đa chiều. Một số ví dụ:

chọn Array_Prepend (1, soi kèo bóng đá truoctran [2,3]);
 Array_Prepend
---------------
 1,2,3

Trong các trường hợp đơn giản, toán tử nối được thảo luận ở trên được ưu tiên sử dụng trực tiếp các chức năng này. Tuy nhiên, vì toán tử kết hợp bị quá tải để phục vụ cả ba trường hợp, nên có những tình huống sử dụng soi kèo bóng đá truoctran trong các chức năng là hữu ích để tránh sự mơ hồ. Ví dụ, hãy xem xét:

Chọn Array [1, 2] || '3, 4';  - theo nghĩa đen chưa được coi là một soi kèo bóng đá truoctran
 ? Cột?
-----------
 1,2,3,4

Chọn soi kèo bóng đá truoctran [1, 2] || '7';                 - Đây là cái này
Lỗi: soi kèo bóng đá truoctran dị dạng theo nghĩa đen: "7"

Chọn soi kèo bóng đá truoctran [1, 2] || VÔ GIÁ TRỊ;                - cũng vậy là một null không được trang trí
 ? Cột?
----------
 1,2

Trong các ví dụ trên, trình phân tích cú pháp nhìn thấy một soi kèo bóng đá truoctran số nguyên ở một bên của toán tử nối và một loại không thể xác định ở bên kia. Heuristic mà nó sử dụng để giải quyết loại của hằng số là giả sử nó cùng loại với đầu vào khác của người vận hành - trong trường hợp này là soi kèo bóng đá truoctran số nguyên. Vì vậy, toán tử nối được cho là đại diện chomảng_cat, khôngArray_Append. Khi đó là lựa chọn sai, nó có thể được sửa bằng cách đúc hằng số vào loại phần tử của soi kèo bóng đá truoctran; Nhưng sử dụng rõ ràngArray_Appendcó thể là soi kèo bóng đá truoctran giải pháp thích hợp hơn.

Để tìm kiếm giá trị trong một soi kèo bóng đá truoctran, mỗi giá trị phải được kiểm tra. Điều này có thể được thực hiện thủ công, nếu bạn biết kích thước của soi kèo bóng đá truoctran. Ví dụ:

Chọn * từ SAL_EMP WHERE PAY_BY_QUARTER [1] = 10000 hoặc
                            pay_by_quarter [2] = 10000 hoặc
                            pay_by_quarter [3] = 10000 hoặc
                            pay_by_quarter [4] = 10000;

Tuy nhiên, điều này nhanh chóng trở nên tẻ nhạt đối với các soi kèo bóng đá truoctran lớn và không hữu ích nếu kích thước của soi kèo bóng đá truoctran không rõ. Một phương pháp thay thế được mô tả trongPhần 9.25. Truy vấn trên có thể được thay thế bằng:

Chọn * từ SAL_EMP WHERE 10000 = Any (pay_by_quarter);

Ngoài ra, bạn có thể tìm thấy các hàng trong đó soi kèo bóng đá truoctran có tất cả các giá trị bằng 10000 với:

Chọn * từ SAL_EMP WHERE 10000 = all (pay_by_quarter);

Ngoài ra,Generate_subscriptscó thể sử dụng chức năng. Ví dụ:

Chọn * Từ
   (Chọn pay_by_quarter,
           Generate_subscripts (pay_by_quarter, 1) là s
      Từ sal_emp) như foo
 Trong đó pay_by_quarter [s] = 10000;

Hàm này được mô tả trongBảng 9,68.

Bạn cũng có thể tìm kiếm một soi kèo bóng đá truoctran bằng cách sử dụng&&toán tử, kiểm tra xem toán hạng bên trái có chồng chéo với toán hạng bên phải hay không. Ví dụ:

Chọn * từ SAL_EMP WHERE pay_by_quarter && soi kèo bóng đá truoctran [10000];

Các toán tử soi kèo bóng đá truoctran này và khác được mô tả thêm trongPhần 9.19. Nó có thể được tăng tốc bởi soi kèo bóng đá truoctran chỉ mục thích hợp, như được mô tả trongPhần 11.2.

Bạn cũng có thể tìm kiếm các giá trị cụ thể trong một soi kèo bóng đá truoctran bằng cách sử dụngArray_PocationvàArray_Pocationschức năng. Trước đây trả về chỉ số của lần xuất hiện đầu tiên của một giá trị trong một soi kèo bóng đá truoctran; Cái sau trả về một soi kèo bóng đá truoctran với các chỉ số của tất cả các lần xuất hiện của giá trị trong soi kèo bóng đá truoctran. Ví dụ:

33624_33875

34571_34824và) Xung quanh giá trị soi kèo bóng đá truoctran cộng với các ký tự phân cách giữa các mục liền kề. Ký tự phân định thường là dấu phẩy (,) Nhưng có thể là soi kèo bóng đá truoctran cái gì đó khác: Nó được xác định bởitypdelimCài đặt cho loại phần tử của soi kèo bóng đá truoctran. Trong số các loại dữ liệu tiêu chuẩn được cung cấp trongPostgreSQLPhân phối, tất cả đều sử dụng dấu phẩy, ngoại trừ loạiBox, sử dụng dấu chấm phẩy (;). Trong một soi kèo bóng đá truoctran đa chiều, mỗi thứ nguyên (hàng, mặt phẳng, khối lập phương, v.v.) có mức độ niềng răng riêng của riêng mình và các dấu phân cách phải được viết giữa các thực thể giằng xoăn liền kề của cùng cấp độ.

35595_35800null35831_36105

Theo mặc định, giá trị chỉ mục giới hạn dưới của kích thước của một soi kèo bóng đá truoctran được đặt thành một. Để biểu diễn các soi kèo bóng đá truoctran có giới hạn dưới khác, các phạm vi đăng ký soi kèo bóng đá truoctran có thể được chỉ định rõ ràng trước khi viết nội dung soi kèo bóng đá truoctran. Trang trí này bao gồm các dấu ngoặc vuông ([]) Xung quanh mỗi giới hạn dưới và trên của kích thước soi kèo bóng đá truoctran, với dấu hai chấm (:) ký tự dấu phân cách ở giữa. Trang trí kích thước soi kèo bóng đá truoctran được theo sau bởi một dấu bằng (=). Ví dụ:

Chọn F1 [1] [-2] [3] là E1, F1 [1] [-1] [5]
 Từ (chọn '[1: 1] [-2: -1] [3: 5] = 1,2,3, 4,5,6' :: int [] như f1) như ss;

 E1 | E2
----+----
  1 |  6
(1 hàng)

Thói quen đầu ra soi kèo bóng đá truoctran sẽ bao gồm các kích thước rõ ràng trong kết quả của nó chỉ khi có một hoặc nhiều giới hạn thấp hơn khác với một.

Nếu giá trị được viết cho soi kèo bóng đá truoctran phần tử lànull(Trong mọi trường hợp biến thể), phần tử được coi là null. Sự hiện diện của bất kỳ trích dẫn hoặc dấu gạch chéo ngược nào vô hiệu hóa điều này và cho phép giá trị chuỗi theo nghĩa đennullKhănsẽ được nhập. Ngoài ra, để tương thích ngược với phiên bản trước 8.2 củaPOSTGRESQL, Themảng_nullstham số cấu hình có thể được bật37554_37559Để đàn áp nhận dạngnullnhư soi kèo bóng đá truoctran null.

Như được hiển thị trước đây, khi viết một giá trị soi kèo bóng đá truoctran, bạn có thể sử dụng dấu ngoặc kép xung quanh bất kỳ phần tử soi kèo bóng đá truoctran riêng lẻ nào. BạnphảiLàm như vậy nếu giá trị phần tử sẽ nhầm lẫn trình phân tích cú pháp giá trị soi kèo bóng đá truoctran. Ví dụ, các phần tử chứa niềng răng xoăn, dấu phẩy (hoặc ký tự phân cách của loại dữ liệu), trích dẫn kép, dấu gạch chéo ngược hoặc khoảng trắng dẫn đầu hoặc dấu vết phải được trích dẫn kép. Chuỗi trống và chuỗi phù hợp với từnullcũng phải được trích dẫn. Để đặt một báo giá kép hoặc dấu gạch chéo ngược trong một giá trị phần tử soi kèo bóng đá truoctran được trích dẫn, đi trước nó bằng một dấu gạch chéo ngược. Ngoài ra, bạn có thể tránh báo giá và sử dụng Backslash-ESCAPING để bảo vệ tất cả các ký tự dữ liệu nếu không sẽ được lấy làm cú pháp soi kèo bóng đá truoctran.

Bạn có thể thêm khoảng trắng trước khi nẹp trái hoặc sau khi nẹp phải. Bạn cũng có thể thêm khoảng trắng trước hoặc sau bất kỳ chuỗi mục riêng lẻ nào. Trong tất cả các trường hợp này, khoảng trắng sẽ bị bỏ qua. Tuy nhiên, khoảng trắng trong các phần tử được trích dẫn kép hoặc được bao quanh ở cả hai bên bởi các ký tự không gian trắng của soi kèo bóng đá truoctran phần tử, không bị bỏ qua.