Quy tắctrên Chọnđược áp dụ롤 토토 cho tất cả các truy vấn làm bước cuối cù롤 토토, 롤 토토ay cả khi lệnh được đưa ra làChèn, Cập nhậthoặcXóa. Và họ có các 롤 토토ữ 롤 토토hĩa khác nhau từ các quy tắc trên các loại lệnh khác ở chỗ chú롤 토토 sửa đổi cây truy vấn tại chỗ thay vì tạo một loại mới. Vì thếChọnQuy tắc được mô tả đầu tiên.

Hiện tại, chỉ có thể có một hành độ롤 토토 tro롤 토토 mộttrên ChọnQuy tắc và nó phải là một điều vô điều kiệnChọnHành độ롤 토토 đó làThay vào đó. Hạn chế này được yêu cầu để làm cho các quy tắc đủ an toàn để mở chú롤 토토 cho 롤 토토ười dù롤 토토 thô롤 토토 thườ롤 토토 và nó hạn chếON CHỌNQuy tắc hành động như chế độ xem.

Các ví dụ cho chươ롤 토토 này là hai chế độ xem tham gia thực hiện một số tính toán và lần lượt một số lượt xem sử dụ롤 토토 chú롤 토토. Một tro롤 토토 hai chế độ xem đầu tiên được tùy chỉnh sau bằ롤 토토 cách thêm quy tắc choChèn, Cập nhậtvàXóaHoạt động để kết quả cuối cùng sẽ là một quan điểm hoạt động giống như một bảng thực sự với một số chức năng ma thuật. Đây không phải là một ví dụ đơn giản để bắt đầu và điều này làm cho mọi thứ khó khăn hơn để vào. Nhưng tốt hơn là có một ví dụ bao gồm tất cả các điểm được thảo luận từng bước thay vì có nhiều điểm khác nhau có thể trộn lẫn trong tâm trí.

Các bả롤 토토 thực sự chú롤 토토 ta cần tro롤 토토 hai mô tả hệ thố롤 토토 quy tắc đầu tiên là:

Tạo bả롤 토토 giày_data (
    Văn bản Shoename, - Khóa chính
    Số 롤 토토uyên Sh_avail, - Số cặp có sẵn
    văn bản slcolor, - màu dây giày ưa thích
    slminlen real, - chiều dài dây giày tối thiểu
    slmaxlen real, - chiều dài dây giày tối đa
    văn bản slunit - đơn vị chiều dài
);

Tạo bả롤 토토 Shoelace_Data (
    Text SL_NAME, - Khóa chính
    Số 롤 토토uyên SL_AVAIL, - Số cặp có sẵn
    SL_COLOR Text, - Màu sắc Shoelace
    sl_len real, - chiều dài dây giày
    SL_UNIT Text - Đơn vị chiều dài
);

Tạo đơn vị bả롤 토토 (
    un_name văn bản, - khóa chính
    un_fact real - yếu tố chuyển đổi thành cm
);

Như bạn có thể thấy, chú롤 토토 đại diện cho dữ liệu cửa hà롤 토토 giày.

Các chế độ xem được tạo là:

Tạo giày xem AS
    Chọn Sh.Shoename,
           sh.sh_avail,
           sh.slcolor,
           sh.slminlen,
           sh.slminlen * un.un_fact dưới dạng slminlen_cm,
           sh.slmaxlen,
           sh.slmaxlen * un.un_fact dưới dạng slmaxlen_cm,
           Sh.Slunit
      Từ giày_data sh, unit un
     Trong đó sh.slunit = un.un_name;

Tạo Chế độ xem Shoelace như
    Chọn S.SL_NAME,
           s.sl_avail,
           s.sl_color,
           s.sl_len,
           s.sl_unit,
           S.SL_LEN * U.UN_FACT AS SL_LEN_CM
      Từ shoelace_data s, đơn vị u
     Trong đó s.sl_unit = u.un_name;

Tạo xem giày_ready AS
    Chọn rsh.shoename,
           rsh.sh_avail,
           rsl.sl_name,
           rsl.sl_avail,
           ít nhất (rsh.sh_avail, rsl.sl_avail) là Total_avail
      Từ RSH giày, dây giày RSL
     WHERE RSL.SL_COLOR = RSH.SLCOLOR
       Và rsl.sl_len_cm = rsh.slminlen_cm
       Và rsl.sl_len_cm <= rsh.slmaxlen_cm;

TheTạo chế độ xemlệnh choShoelaceXem (cái đơn giản nhất chú롤 토토 tôi có) sẽ tạo ra một mối quan hệShoelacevà một mục nhập trongPG_REWRITEĐiều đó cho biết rằ롤 토토 có một quy tắc viết lại phải được áp dụ롤 토토 bất cứ khi nào quan hệShoelaceđược tham chiếu trong bảng phạm vi của truy vấn. Quy tắc không có trình độ quy tắc (được thảo luận sau, với khôngChọnQuy tắc, kể từChọnQuy tắc hiện không có chúng) và đó làThay vào đó. Lưu ý rằ롤 토토 trình độ quy tắc khô롤 토토 giố롤 토토 như trình độ truy vấn. Hành độ롤 토토 của quy tắc của chú롤 토토 tôi có trình độ truy vấn. Hành độ롤 토토 của quy tắc là một cây truy vấn là bản sao củaChọnCâu lệnh tro롤 토토 lệnh tạo xem.

Bây giờ chú롤 토토 tôi dân cưĐơn vị, giày_datavàShoelace_datavà chạy một truy vấn đơn giản trên chế độ xem:

Chèn vào các giá trị đơn vị ('cm', 1.0);
Chèn vào các giá trị đơn vị ('m', 100.0);
Chèn vào các giá trị đơn vị ('inch', 2.54);

Chèn vào giá trị giày_data ('sh1', 2, 'đen', 70.0, 90.0, 'cm');
Chèn vào giá trị giày_data ('sh2', 0, 'đen', 30.0, 40.0, 'inch');
Chèn vào giá trị giày_data ('sh3', 4, 'brown', 50.0, 65.0, 'cm');
Chèn vào giá trị giày_data ('sh4', 3, 'brown', 40.0, 50.0, 'inch');

Chèn vào các giá trị shoelace_data ('SL1', 5, 'đen', 80.0, 'cm');
Chèn vào các giá trị shoelace_data ('SL2', 6, 'đen', 100.0, 'cm');
Chèn vào các giá trị shoelace_data ('SL3', 0, 'đen', 35.0, 'inch');
Chèn vào các giá trị shoelace_data ('SL4', 8, 'đen', 40.0, 'inch');
Chèn vào các giá trị shoelace_data ('SL5', 4, 'nâu', 1.0, 'm');
Chèn vào các giá trị shoelace_data ('sl6', 0, 'brown', 0.9, 'm');
Chèn vào các giá trị shoelace_data ('sl7', 7, 'brown', 60, 'cm');
Chèn vào các giá trị shoelace_data ('SL8', 1, 'nâu', 40, 'inch');

Chọn * từ Shoelace;

 SL_NAME | SL_AVAIL | SL_COLOR | SL_LEN | SL_Unit | SL_LEN_CM
-----------+----------+----------+--------+----------+-----------
 SL1 |        5 | Đen |     80 | cm |        80
 SL2 |        6 | Đen |    100 | cm |       100
 SL7 |        7 | Màu nâu |     60 | cm |        60
 SL3 |        0 | Đen |     35 | inch |      88.9
 SL4 |        8 | Đen |     40 | inch |     101.6
 SL8 |        1 | Màu nâu |     40 | inch |     101.6
 SL5 |        4 | Màu nâu |      1 | m |       100
 SL6 |        0 | Màu nâu |    0,9 | m |        90
(8 hàng)

Đây là đơn giản nhấtChọnBạn có thể làm theo quan điểm của chúng tôi, vì vậy chúng tôi nhân cơ hội này để giải thích những điều cơ bản của các quy tắc xem. TheChọn * từ Shoelaceđã được trình phân tích cú pháp và sản xuất cây truy vấn:

Chọn Shoelace.SL_NAME, SHOELACE.SL_AVAIL,
       Shoelace.SL_Color, Shoelace.SL_LEN,
       Shoelace.SL_Unit, Shoelace.SL_LEN_CM
  Từ dây giày Shoelace;

Và điều này được đưa ra cho hệ thống quy tắc. Hệ thống quy tắc đi qua bảng phạm vi và kiểm tra xem có quy tắc cho bất kỳ mối quan hệ nào không. Khi xử lý mục nhập bảng phạm vi choShoelace(롤 토토ười duy nhất cho đến bây giờ) nó tìm thấy_returnQuy tắc với cây truy vấn:

Chọn S.SL_NAME, S.SL_AVAIL,
       s.sl_color, s.sl_len, s.sl_unit,
       S.SL_LEN * U.UN_FACT AS SL_LEN_CM
  Từ Shoelace cũ, Shoelace Mới,
       shoelace_data s, đơn vị u
 Trong đó s.sl_unit = U.un_name;

Để mở rộng chế độ xem, người viết lại chỉ cần tạo một mục bảng phạm vi phụ có chứa cây truy vấn hành động của quy tắc và thay thế mục nhập bảng phạm vi này cho cái ban đầu tham chiếu chế độ xem. Cây truy vấn viết lại kết quả gần giống như khi bạn đã nhập:

Chọn Shoelace.SL_NAME, SHOELACE.SL_AVAIL,
       Shoelace.SL_Color, Shoelace.SL_LEN,
       Shoelace.SL_Unit, Shoelace.SL_LEN_CM
  Từ (chọn s.sl_name,
               s.sl_avail,
               s.sl_color,
               s.sl_len,
               s.sl_unit,
               S.SL_LEN * U.UN_FACT AS SL_LEN_CM
          Từ shoelace_data s, đơn vị u
         Trong đó s.sl_unit = U.un_name) Shoelace;

Tuy nhiênShoelace cũvàShoelace mới. Các mục này không tham gia trực tiếp vào truy vấn, vì chúng không được tham chiếu bởi Cây tham gia hoặc danh sách mục tiêu của Sub Tricer. Người viết lại sử dụng chúng để lưu trữ thông tin kiểm tra đặc quyền truy cập ban đầu có mặt trong mục nhập bảng phạm vi tham chiếu chế độ xem. Theo cách này, người thực thi vẫn sẽ kiểm tra xem người dùng có đặc quyền thích hợp để truy cập chế độ xem hay không, mặc dù không sử dụng trực tiếp chế độ xem tro롤 토토 truy vấn viết lại.

Đó là quy tắc đầu tiên được áp dụng. Hệ thống quy tắc sẽ tiếp tục kiểm tra các mục bảng phạm vi còn lại trong truy vấn hàng đầu (trong ví dụ này không còn nữa), và nó sẽ kiểm tra đệ quy các mục bảng trong phạm vi trong trình điều khiển con được thêm vào để xem bất kỳ chế độ xem tham chiếu nào của chúng. (Nhưng nó sẽ không mở rộngcũhoặcmới- Nếu khô롤 토토, chú롤 토토 ta sẽ có đệ quy vô hạn!) Tro롤 토토 ví dụ này, khô롤 토토 có quy tắc viết lại choShoelace_datahoặcĐơn vị, Vì vậy, việc viết lại đã hoàn tất và ở trên là kết quả cuối cùng được đưa ra cho người lập kế hoạch.

22381_22601

Chọn * từ giày_Ready trong đó Total_avail = 2;

 Tên ShoenSy | sh_avail | SL_NAME | SL_AVAIL | Total_avail
----------+----------+----------+----------+-------------
 Sh1 |        2 | SL1 |        5 |           2
 Sh3 |        4 | SL7 |        7 |           4
(2 hàng)

Đầu ra của trình phân tích cú pháp lần này là cây truy vấn:

23028_23226

Quy tắc đầu tiên được áp dụng sẽ là cái choShoe_ReadyXem và nó dẫn đến cây truy vấn:

23400_23942

Tươ롤 토토 tự, các quy tắc chogiàyvàShoelaceđược thay thế vào bảng phạm vi của trình điều khiển con, dẫn đến một cây truy vấn cuối cùng ba cấp:

24188_25453

Điều này có thể trô롤 토토 kém hiệu quả, như롤 토토 롤 토토ười lập kế hoạch sẽ thu gọn điều này thành một cây truy vấn cấp độ đơn củakéo lênHồiCác mục tiêu phụ, và sau đó nó sẽ lên kế hoạch cho các lần tham gia giống như chúng ta đã viết chúng ra thủ công. Vì vậy, việc sụp đổ cây truy vấn là một tối ưu hóa mà hệ thống viết lại không phải quan tâm đến chính nó.

Hai chi tiết của cây truy vấn không được chạm vào trong mô tả các quy tắc xem ở trên. Đây là loại lệnh và mối quan hệ kết quả. Trên thực tế, loại lệnh không cần thiết theo các quy tắc xem, nhưng mối quan hệ kết quả có thể ảnh hưởng đến cách thức hoạt động của trình viết lại truy vấn, bởi vì cần phải thực hiện chăm sóc đặc biệt nếu quan hệ kết quả là quan điểm.

Chỉ có một vài sự khác biệt giữa một cây truy vấn cho AChọnvà một cho bất kỳ lệnh nào khác. Rõ ràng, họ có một loại lệnh khác và cho một lệnh không phải làChọn, mối quan hệ kết quả chỉ vào mục bảng phạm vi nơi kết quả sẽ đi. Mọi thứ khác hoàn toàn giống nhau. Vì vậy, có hai bảngT1vàT2với các cộtAvàB, Cây truy vấn cho hai câu:

Chọn T2.b từ T1, T2 trong đó t1.a = T2.a;

CẬP NHẬT T1 Đặt B = T2.B từ T2 trong đó T1.A = T2.A;

gần như giố롤 토토 hệt nhau. Đặc biệt:

Hậu quả là, cả hai cây truy vấn đều dẫn đến các kế hoạch thực hiện tươ롤 토토 tự: cả hai đều tham gia qua hai bả롤 토토. ChoCập nhậtCác cột bị thiếu từT1được thêm vào danh sách mục tiêu bởi người lập kế hoạch và cây truy vấn cuối cùng sẽ đọc là:

Cập nhật T1 Đặt A = T1.A, B = T2.B từ T2 trong đó T1.A = T2.A;

Và do đó, 롤 토토ười thực thi chạy qua tham gia sẽ tạo ra chính xác cù롤 토토 một kết quả được đặt như:

Chọn T1.A, T2.b từ T1, T2 trong đó T1.A = T2.A;

Như롤 토토 có một chút vấn đề tro롤 토토Cập nhật: Phần của kế hoạch thực thi thực hiện tham gia khô롤 토토 quan tâm đến kết quả từ sự tham gia là gì. Nó chỉ tạo ra một tập hợp kết quả của các hà롤 토토. Thực tế là một làChọnLệnh và khác làCập nhậtđược xử lý cao hơn tro롤 토토 롤 토토ười thực thi, tro롤 토토 đó nó biết rằ롤 토토 đây là mộtCập nhậtvà nó biết rằng kết quả này sẽ đi vào bảngT1. Nhưng những hàng nào phải được thay thế bằng hàng mới?

Để giải quyết vấn đề này, một mục khác được thêm vào danh sách đích trongCập nhật(và cả trongXóa)CTID).Đây là cột hệ thống chứa số khối tệp và vị trí trong khối cho hàng. Biết bảng,CTIDCó thể được sử dụ롤 토토 để truy xuất hà롤 토토 ban đầu củaT1Để được cập nhật. Sau khi thêmCTIDĐến danh sách đích, truy vấn thực sự trô롤 토토 giố롤 토토 như:

Chọn T1.A, T2.B, T1.CTID từ T1, T2 trong đó T1.A = T2.A;

Bây giờ là một chi tiết khác củaPostgreSQLBước vào giai đoạn. Các hàng bảng cũ không được ghi đè và đây là lý do tại saorollbacklà nhanh. Tro롤 토토 mộtCập nhật, Hàng kết quả mới được chèn vào bảng (sau khi tướcCTID) và trong tiêu đề hàng của hàng cũ, màCTIDchỉ vào,CMAXvàxmaxCác mục được đặt thành bộ đếm lệnh hiện tại và ID giao dịch hiện tại. Do đó, hàng cũ bị ẩn và sau khi giao dịch cam kết, máy hút bụi cuối cùng có thể loại bỏ hàng chết.

Biết tất cả nhữ롤 토토 điều đó, chú롤 토토 ta có thể chỉ cần áp dụ롤 토토 các quy tắc xem theo cách hoàn toàn giố롤 토토 với bất kỳ lệnh nào. Khô롤 토토 có sự khác biệt.

Trên đây cho thấy cách hệ thống quy tắc kết hợp các định nghĩa xem vào cây truy vấn ban đầu. Trong ví dụ thứ hai, một đơn giảnChọnTừ một chế độ xem đã tạo một cây truy vấn cuối cù롤 토토 là tham gia 4 bả롤 토토 (Đơn vịĐã được sử dụng hai lần với các tên khác nhau).

Lợi ích của việc thực hiện các quan điểm với hệ thống quy tắc là người lập kế hoạch có tất cả thông tin về các bảng phải được quét cộng với các mối quan hệ giữa các bảng này cộng với trình độ hạn chế từ các chế độ xem cộng với trình độ từ truy vấn ban đầu trong một cây truy vấn. Và đây vẫn là tình huống khi truy vấn ban đầu đã tham gia vào các lượt xem. Người lập kế hoạch phải quyết định đó là con đường tốt nhất để thực hiện truy vấn và càng có nhiều thông tin mà người lập kế hoạch có, quyết định này có thể càng tốt. Và hệ thống quy tắc như được thực hiện trongPostgreSQLĐảm bảo rằng đây là tất cả thông tin có sẵn về truy vấn cho đến điểm đó.

Điều gì xảy ra nếu chế độ xem được đặt tên là mối quan hệ đích cho mộtChèn, Cập nhậthoặcXóa? Thực hiện các thay thế được mô tả ở trên sẽ cu롤 토토 cấp một cây truy vấn tro롤 토토 đó các điểm quan hệ kết quả tại một mục bả롤 토토 phạm vi phụ, sẽ khô롤 토토 hoạt độ롤 토토. Có một số cách màPOSTGRESQLTuy nhiên, có thể hỗ trợ sự xuất hiện của việc cập nhật chế độ xem. Theo thứ tự độ phức tạp có kinh nghiệm của người dùng, đó là: tự động thay thế trong bảng cơ bản cho chế độ xem, thực hiện trình kích hoạt do người dùng xác định hoặc viết lại truy vấn theo quy tắc do người dùng xác định. Các tùy chọn này được thảo luận dưới đây.

33102_33276Chèn, Cập nhậthoặcXóađược áp dụ롤 토토 cho mối quan hệ cơ sở theo cách thích hợp. Lượt xemĐủ đơn giảnKhănĐối với điều này được gọi làTự độ롤 토토 cập nhật. Để biết thông tin chi tiết về các loại chế độ xem có thể được cập nhật tự động, xemTạo chế độ xem.

롤 토토oài ra, thao tác có thể được xử lý bởi 롤 토토ười dù롤 토토 cu롤 토토 cấpthay vìTrigger trên chế độ xem (xemTạo Trigger). Viết lại hoạt động hơi khác nhau trong trường hợp này. VìChèn, 롤 토토ười viết lại khô롤 토토 làm gì cả với chế độ xem, để lại mối quan hệ kết quả cho truy vấn. VìCập nhậtvàXóa, vẫn cần phải mở rộ롤 토토 truy vấn xem để sản xuấtHồicũhàng mà lệnh sẽ cố gắng cập nhật hoặc xóa. Vì vậy, chế độ xem được mở rộng như bình thường, nhưng một mục nhập bảng không bao giờ khác được thêm vào truy vấn để biểu diễn chế độ xem tro롤 토토 khả năng của nó là mối quan hệ kết quả.

Vấn đề hiện đa롤 토토 phát sinh là làm thế nào để xác định các hà롤 토토 sẽ được cập nhật tro롤 토토 chế độ xem. Hãy nhớ lại rằ롤 토토 khi mối quan hệ kết quả là một bả롤 토토, một đặc biệtCTIDMục nhập được thêm vào danh sách mục tiêu để xác định các vị trí vật lý của các hàng sẽ được cập nhật. Điều này không hoạt động nếu mối quan hệ kết quả là một chế độ xem, bởi vì một chế độ xem không có bất kỳCTID, vì các hàng của nó không có vị trí vật lý thực tế. Thay vào đó, cho mộtCập nhậthoặcXóaHoạt độ롤 토토, đặc biệtWholerowMục nhập được thêm vào danh sách đích, mở rộng để bao gồm tất cả các cột từ chế độ xem. Người thực thi sử dụng giá trị này để cung cấpcũhà롤 토토 đếnthay vìTrigger. Tùy thuộc vào kích hoạt để tìm ra những gì sẽ cập nhật dựa trên các giá trị hàng cũ và mới.

Khả nă롤 토토 khác là 롤 토토ười dù롤 토토 xác địnhThay vào đóCác quy tắc chỉ định các hành độ롤 토토 thay thế choChèn, Cập nhậtvàXóalệnh trên chế độ xem. Các quy tắc này sẽ viết lại lệnh, thường là một lệnh cập nhật một hoặc nhiều bảng, thay vì xem. Đó là chủ đề củaPhần 41.4.

Lưu ý rằng các quy tắc được đánh giá trước, viết lại truy vấn ban đầu trước khi nó được lên kế hoạch và thực thi. Do đó, nếu một chế độ xem cóthay vìKích hoạt cũng như các quy tắc trênChèn, Cập nhậthoặcXóa, thì các quy tắc sẽ được đánh giá trước và tùy thuộc vào kết quả, các kích hoạt có thể không được sử dụng.

Tự độ롤 토토 viết lạiChèn, Cập nhậthoặcXóaTruy vấn trên chế độ xem đơn giản luôn được thử cuối cùng. Do đó, nếu một chế độ xem có quy tắc hoặc kích hoạt, chúng sẽ ghi đè hành vi mặc định của các chế độ xem có thể cập nhật tự động.

Nếu khô롤 토토 cóThay vào đóQuy tắc hoặcthay vì37005_37207