Tên (tùy chọn Lược đồ theo trình độ) của hàm để kèo bóng đá pháp.

15759_15786in, out, InouthoặcVariadic. Nếu bị bỏ qua, mặc định làin. Chỉ mộtoutĐối số có thể theo dõiVariadicmột. Cũng,outvàInoutĐối số không thể được sử dụng cùng vớiTrở về bảngký hiệu.

Tên của một đối số. Một số ngôn ngữ (bao gồm SQL và PL/PGSQL) cho phép bạn sử dụng tên trong phần thân hàm. Đối với các ngôn ngữ khác, tên của một đối số đầu vào chỉ là tài liệu bổ sung, cho đến khi chức kèo bóng đá pháp được quan tâm; Nhưng bạn có thể sử dụng tên đối số đầu vào khi gọi một hàm để cải thiện khả kèo bóng đá pháp đọc (xemPhần 4.3). Trong mọi trường hợp, tên của một đối số đầu ra là có ý nghĩa, bởi vì nó xác định tên cột trong loại hàng kết quả. (Nếu bạn bỏ qua tên cho đối số đầu ra, hệ thống sẽ chọn tên cột mặc định.)

(kèo bóng đá pháp) loại dữ liệu của kèo bóng đá pháp đối số của hàm (tùy chọn định mức lược đồ), nếu có. kèo bóng đá pháp loại đối số có thể là kèo bóng đá pháp loại cơ sở, tổng hợp hoặc miền hoặc có thể tham chiếu loại của cột bảng.

Tùy thuộc vào ngôn ngữ triển khai, nó cũng có thể được phép chỉ địnhPseudo-TypesHồichẳng hạn nhưcString. kèo bóng đá pháp loại giả chỉ ra rằng loại đối số thực tế được chỉ định không đầy đủ hoặc bên ngoài tập hợp kèo bóng đá pháp loại dữ liệu SQL thông thường.

Loại cột được tham chiếu bằng cách viếtTable_Name.Cột_name%loại. Sử dụng tính kèo bóng đá pháp này đôi khi có thể giúp tạo ra một chức kèo bóng đá pháp độc lập với các thay đổi đối với định nghĩa của bảng.

Một biểu thức được sử dụng làm giá trị mặc định nếu tham số không được chỉ định. Biểu thức phải được ép buộc với loại đối số của tham số. Chỉ đầu vào (bao gồmInout) kèo bóng đá pháp tham số có thể có giá trị mặc định. Tất cả kèo bóng đá pháp tham số đầu vào theo một tham số có giá trị mặc định cũng phải có giá trị mặc định.

Kiểu dữ liệu trả về (tùy chọn trình độ lược đồ). Loại trả về có thể là loại cơ sở, tổng hợp hoặc tên miền hoặc có thể tham chiếu loại cột bảng. Tùy thuộc vào ngôn ngữ triển khai, nó cũng có thể được phép chỉ địnhPseudo-TypesHồichẳng hạn nhưcString. Nếu hàm không được phép trả về một giá trị, chỉ địnhvoidlà loại trả về.

Khi cóouthoặcInouttham số,returnĐiều khoản có thể được bỏ qua. Nếu có, nó phải đồng ý với loại kết quả được ngụ ý bởi kèo bóng đá pháp tham số đầu ra:Record​​Nếu có nhiều tham số đầu ra hoặc cùng loại với tham số đầu ra đơn.

ThesetofCông cụ sửa đổi cho biết rằng hàm sẽ trả về một tập hợp kèo bóng đá pháp mục, thay vì một mục.

Loại cột được tham chiếu bằng cách viếtTable_Name.Cột_name%loại.

Tên của cột đầu ra trongBảng trả vềCú pháp. Đây thực sự là một cách khác để tuyên bố một cái tênOuttham số, ngoại trừBảng trả vềcũng ngụ ýreturn setof.

Loại dữ liệu của cột đầu ra trongBảng trả vềCú pháp.

Tên của ngôn ngữ mà hàm được thực hiện. Nó có thể làSQL, C, Nội bộhoặc tên của ngôn ngữ thủ tục do người dùng xác định, ví dụ:PLPGSQL. Mặc định làSQLnếusql_bodyđược chỉ định. Kèm theo tên trong kèo bóng đá pháp trích dẫn đơn được không dùng nữa và yêu cầu trường hợp phù hợp.

Liệt kê chuyển đổi cuộc gọi cho chức kèo bóng đá pháp nên áp dụng. Chuyển đổi Chuyển đổi giữa các loại SQL và các loại dữ liệu cụ thể ngôn ngữ; nhìn thấykèo bóng đá pháp biến đổi. Việc triển khai ngôn ngữ thủ tục thường có kiến ​​thức mã hóa cứng về kèo bóng đá pháp loại tích hợp, vì vậy chúng không cần được liệt kê ở đây. Nếu việc triển khai ngôn ngữ thủ tục không biết cách xử lý một loại và không có biến đổi nào được cung cấp, nó sẽ quay trở lại hành vi mặc định để chuyển đổi kèo bóng đá pháp loại dữ liệu, nhưng điều này phụ thuộc vào việc thực hiện.

Windowcho biết hàm làHàm cửa sổchứ không phải là một hàm đơn giản. Điều này hiện chỉ hữu ích cho các chức kèo bóng đá pháp được viết trong C. TheWindowThuộc tính không thể thay đổi khi thay thế định nghĩa hàm hiện có.

Những thuộc tính này thông báo trình tối ưu hóa truy vấn về hành vi của hàm. Nhiều nhất một lựa chọn có thể được chỉ định. Nếu không ai trong số này xuất hiện,Disrilylà giả định mặc định.

bất biếnchỉ ra rằng hàm không thể sửa đổi cơ sở dữ liệu và luôn trả về cùng một kết quả khi được đưa ra cùng một giá trị đối số; Đó là, nó không thực hiện tra cứu cơ sở dữ liệu hoặc sử dụng thông tin không trực tiếp trong danh sách đối số của nó. Nếu tùy chọn này được đưa ra, bất kỳ cuộc gọi nào của hàm với các đối số liên tục có thể được thay thế ngay lập tức bằng giá trị chức kèo bóng đá pháp.

Ổn định23317_23715sauTrình kích hoạt muốn truy vấn kèo bóng đá pháp hàng được sửa đổi bởi lệnh hiện tại.) Cũng lưu ý rằngcurrent_timestampGia đình chức kèo bóng đá pháp đủ điều kiện ổn định, vì giá trị của chúng không thay đổi trong giao dịch.

Disrilychỉ ra rằng giá trị chức kèo bóng đá pháp có thể thay đổi ngay cả trong một lần quét bảng, do đó không thể thực hiện tối ưu hóa. Tương đối ít chức kèo bóng đá pháp cơ sở dữ liệu không biến động theo nghĩa này; Một số ví dụ làngẫu nhiên (), currval (), timeofday (). Nhưng lưu ý rằng bất kỳ chức kèo bóng đá pháp nào có tác dụng phụ phải được phân loại biến động, ngay cả khi kết quả của nó khá dễ đoán, để ngăn chặn các cuộc gọi được tối ưu hóa; Một ví dụ làsetVal ().

24576_24605Phần 36.7.

Leakproofchỉ ra rằng chức kèo bóng đá pháp không có tác dụng phụ. Nó cho thấy không có thông tin về các đối số của nó ngoài giá trị trả về của nó. Ví dụ: một hàm ném thông báo lỗi cho một số giá trị đối số nhưng không phải các giá trị khác hoặc bao gồm các giá trị đối số trong bất kỳ thông báo lỗi nào, không bị rò rỉ. Điều này ảnh hưởng đến cách hệ thống thực thi các truy vấn chống lại các chế độ xem được tạo bằngSecurity_BarrierTùy chọn hoặc bảng có bảo mật cấp hàng được bật. Hệ thống này sẽ thực thi các điều kiện từ các chính sách bảo mật và các quan điểm của rào cản bảo mật trước mọi điều kiện do người dùng cung cấp từ chính truy vấn có chứa các chức kèo bóng đá pháp không chống chỗ, để ngăn chặn sự tiếp xúc vô tình của dữ liệu. Các chức kèo bóng đá pháp và nhà khai thác được đánh dấu là rò rỉ được coi là đáng tin cậy và có thể được thực hiện trước các điều kiện từ các chính sách bảo mật và quan điểm của rào cản bảo mật. Ngoài ra, các chức kèo bóng đá pháp không có đối số hoặc không được thông qua bất kỳ đối số nào từ chế độ xem hoặc bảng bảo mật không phải được đánh dấu là chống rò rỉ để được thực thi trước điều kiện bảo mật. Nhìn thấykèo bóng đá pháp chế độ xemvàPhần 39.5. Tùy chọn này chỉ có thể được đặt bởi Superuser.

được gọi là đầu vào null(mặc định) chỉ ra rằng hàm sẽ được gọi bình thường khi một số đối số của nó là null. Sau đó, trách nhiệm của tác giả chức kèo bóng đá pháp là kiểm tra các giá trị null nếu cần thiết và trả lời một cách thích hợp.

Trả về NULL trên đầu vào nullhoặcnghiêm ngặtchỉ ra rằng hàm luôn trả về null bất cứ khi nào bất kỳ đối số nào của nó là null. Nếu tham số này được chỉ định, hàm không được thực thi khi có kèo bóng đá pháp đối số null; thay vào đó là một kết quả null được giả định tự động.

Bảo mật InvokerCho biết rằng chức kèo bóng đá pháp sẽ được thực thi với các đặc quyền của người dùng gọi nó. Đó là mặc định.bảo mật xác định27637_27764bảo mật xác địnhchức kèo bóng đá pháp an toàn,Xem bên dưới.

Từ khóabên ngoàiđược phép phù hợp với SQL, nhưng nó là tùy chọn vì, không giống như trong SQL, tính kèo bóng đá pháp này áp dụng cho tất cả các chức kèo bóng đá pháp không chỉ bên ngoài.

song song không an toànCho biết rằng chức kèo bóng đá pháp không thể được thực thi ở chế độ song song; Sự hiện diện của một chức kèo bóng đá pháp như vậy trong một câu lệnh SQL buộc một kế hoạch thực hiện nối tiếp. Đây là mặc định.Hạn chế song songCho biết chức kèo bóng đá pháp có thể được thực thi ở chế độ song song, nhưng chỉ trong quy trình đầu nhóm song song.An toàn song songCho biết chức kèo bóng đá pháp an toàn để chạy ở chế độ song song mà không bị hạn chế, bao gồm các quy trình của công nhân song song.

28847_29051Currval) hoặc thực hiện kèo bóng đá pháp thay đổi liên tục đối với cài đặt. Chúng nên được dán nhãn hạn chế song song nếu chúng truy cập bảng tạm thời, trạng thái kết nối máy khách, con trỏ, câu lệnh được chuẩn bị hoặc trạng thái địa phương phụ trợ linh tinh mà hệ thống không thể đồng bộ hóa ở chế độ song song (ví dụ:SetSeed29391_30045không an toàn, là mặc định.

Một số dương đưa ra chi phí thực thi ước tính cho hàm, theo đơn vịCPU_OPERATOR_COST. Nếu hàm trả về một bộ, đây là chi phí cho mỗi hàng trả lại. Nếu chi phí không được chỉ định, 1 đơn vị được giả định cho các chức kèo bóng đá pháp ngôn ngữ C và nội bộ và 100 đơn vị cho các chức kèo bóng đá pháp trong tất cả các ngôn ngữ khác. Các giá trị lớn hơn khiến người lập kế hoạch cố gắng tránh đánh giá chức kèo bóng đá pháp thường xuyên hơn mức cần thiết.

Một số dương cho số lượng hàng ước tính mà người lập kế hoạch nên mong đợi chức kèo bóng đá pháp trở lại. Điều này chỉ được phép khi hàm được khai báo trả về một bộ. Giả định mặc định là 1000 hàng.

Tên (Tùy chọn Lược đồ theo trình độ) của AHỗ trợ kế hoạchĐể sử dụng cho chức kèo bóng đá pháp này. Nhìn thấyPhần 36.11Để biết chi tiết. Bạn phải là siêu nhân để sử dụng tùy chọn này.

Thesetmệnh đề gây ra tham số cấu hình được chỉ định được đặt thành giá trị được chỉ định khi hàm được nhập và sau đó được khôi phục về giá trị trước của nó khi hàm thoát.Đặt từ hiện tạiLưu giá trị của tham số hiện tại khiTạo chức kèo bóng đá phápđược thực thi dưới dạng giá trị được áp dụng khi nhập hàm.

Nếu Asetmệnh đề được gắn vào một hàm, sau đó kèo bóng đá pháp hiệu ứng của AĐặt cục bộLệnh được thực thi bên trong hàm cho cùng một biến bị giới hạn trong hàm: Giá trị trước của tham số cấu hình vẫn được khôi phục khi thoát chức kèo bóng đá pháp. Tuy nhiên, một bình thườngsetLệnh (không cócục bộ) ghi đèsetmệnh đề, giống như nó sẽ làm cho trước trước đóĐặt cục bộLệnh: Các hiệu ứng của lệnh đó sẽ tồn tại sau khi thoát chức kèo bóng đá pháp, trừ khi giao dịch hiện tại được quay lại.

xemsetvàChương 19Để biết thêm thông tin về tên và giá trị tham số được phép.

Một hằng số chuỗi xác định hàm; Ý nghĩa phụ thuộc vào ngôn ngữ. Nó có thể là một tên hàm bên trong, đường dẫn đến một tệp đối tượng, lệnh SQL hoặc văn bản bằng ngôn ngữ thủ tục.

thường hữu ích khi sử dụng trích dẫn đô la (xemPhần 4.1.2.433814_34020

Hình thức này củaAS34289_34466obj_file34514_34622TảiLệnh. Chuỗilink_symbollà biểu tượng liên kết của hàm, nghĩa là tên của hàm trong mã nguồn ngôn ngữ C. Nếu ký hiệu liên kết bị bỏ qua, nó được coi là giống như tên của hàm SQL được xác định. Tên C của tất cả các chức kèo bóng đá pháp phải khác nhau, vì vậy bạn phải đưa ra các hàm C bị quá tải khác nhau (ví dụ: sử dụng các loại đối số như một phần của tên C).

Khi lặp lạiTạo chức kèo bóng đá pháp35228_35390

Cơ thể của ANgôn ngữ SQLHàm. Đây có thể là một câu lệnh duy nhất

returnexpression

hoặc một khối

Bắt đầu nguyên tửcâu lệnh;câu lệnh;
  ...câu lệnh;
KẾT THÚC

Điều này tương tự như viết văn bản của cơ thể hàm dưới dạng hằng số chuỗi (xemĐịnh nghĩaở trên), nhưng có một số khác biệt: hình thức này chỉ hoạt động choNgôn ngữ SQL, Hằng số chuỗi hoạt động cho tất cả các ngôn ngữ. Biểu mẫu này được phân tích cú pháp ở thời điểm định nghĩa chức kèo bóng đá pháp, dạng hằng số chuỗi được phân tích cú pháp vào thời điểm thực thi; Do đó, hình thức này không thể hỗ trợ các loại đối số đa hình và các cấu trúc khác không thể giải quyết được ở thời điểm định nghĩa chức kèo bóng đá pháp. Hình thức này theo dõi các phụ thuộc giữa hàm và các đối tượng được sử dụng trong cơ thể chức kèo bóng đá pháp, vì vậyDrop ... Cascade36687_36870