Giữ cú pháp:

Tạo [hoặc thay thế] kèo bóng đá pháptênnhư trênSự kiệnđếnBảng[WHEREđiều kiện]
    Làm [cũng | Thay kèo bóng đá phápo đó] không có gì |lệnh| (lệnh;lệnh...)

Trong tâm trí. Trong phần sau,Cập nhật kèo bóng đá phápcó nghĩa là các kèo bóng đá pháp được xác định trênChèn, Cập nhậthoặcXóa.

Cập nhật các kèo bóng đá pháp được áp dụng bởi hệ thống kèo bóng đá pháp khi mối quan hệ kết quả và loại lệnh của cây truy vấn bằng với đối tượng và sự kiện được đưa ra trongTạo kèo bóng đá pháplệnh. Đối với các kèo bóng đá pháp cập nhật, hệ thống kèo bóng đá pháp tạo ra một danh sách các cây truy vấn. Ban đầu danh sách cây truy vấn trống rỗng. Có thể không có (Không có gìTừ khóa), một hoặc nhiều hành động. Để đơn giản hóa, chúng tôi sẽ xem xét một kèo bóng đá pháp với một hành động. kèo bóng đá pháp này có thể có trình độ hoặc không và nó có thể làThay kèo bóng đá phápo đóhoặccũng(mặc định).

Trình độ kèo bóng đá pháp là gì? Đó là một hạn chế cho biết khi nào các hành động của kèo bóng đá pháp nên được thực hiện và khi không. Trình độ này chỉ có thể tham khảo các giả thuyếtmớivà/hoặccũ, về cơ bản đại diện cho mối quan hệ được đưa ra dưới dạng đối tượng (nhưng với một ý nghĩa đặc biệt).

Vì vậy, chúng tôi có ba trường hợp tạo ra các cây truy vấn sau đây cho kèo bóng đá pháp một hành động.

Cuối cùng, nếu kèo bóng đá pháp làcũng, cây truy vấn gốc không thay đổi được thêm kèo bóng đá phápo danh sách. Vì chỉ đủ điều kiệnThay kèo bóng đá phápo đóCác kèo bóng đá pháp đã thêm cây truy vấn ban đầu, chúng tôi kết thúc với một hoặc hai cây truy vấn đầu ra cho một kèo bóng đá pháp với một hành động.

chotrên chènkèo bóng đá pháp, truy vấn ban đầu (nếu không bị đàn áp bởiThay kèo bóng đá phápo đó) được thực hiện trước khi có bất kỳ hành động nào được thêm vào các kèo bóng đá pháp. Điều này cho phép các hành động nhìn thấy (các) hàng được chèn. Nếu không cóKhi cập nhậtvàKhi xóakèo bóng đá pháp, truy vấn ban đầu được thực hiện sau các hành động được thêm vào các kèo bóng đá pháp. Điều này đảm bảo rằng các hành động có thể nhìn thấy các hàng được cập nhật hoặc bị xóa; Nếu không, các hành động có thể không làm gì vì họ không tìm thấy hàng nào phù hợp với trình độ của họ.

Các cây truy vấn được tạo từ các hành động kèo bóng đá pháp được ném vào hệ thống viết lại một lần nữa và có thể nhiều kèo bóng đá pháp được áp dụng dẫn đến các cây truy vấn bổ sung hoặc ít hơn. Vì vậy, các hành động của một kèo bóng đá pháp phải có một loại lệnh khác hoặc một mối quan hệ kết quả khác với chính kèo bóng đá pháp, nếu không, quá trình đệ quy này sẽ kết thúc trong một vòng lặp vô hạn. (Sự mở rộng đệ quy của một kèo bóng đá pháp sẽ được phát hiện và báo cáo là một lỗi.)

Các cây truy vấn được tìm thấy trong các hành động củaPG_REWRITEDanh mục hệ thống chỉ là mẫu. Vì chúng có thể tham chiếu các mục nhập bảng phạm vi chomớivàcũ, một số thay thế phải được thực hiện trước khi chúng có thể được sử dụng. Đối với bất kỳ tham chiếu nào đếnmới, Danh sách mục tiêu của truy vấn ban đầu được tìm kiếm cho một mục tương ứng. Nếu được tìm thấy, biểu thức của mục đó thay thế tham chiếu. Nếu không thì,mớicó nghĩa giống nhưcũ(cho mộtCập nhật) hoặc được thay thế bằng giá trị null (cho mộtChèn). Bất kỳ tham chiếu nào đếncũđược thay thế bằng tham chiếu đến mục nhập bảng phạm vi là mối quan hệ kết quả.

Sau khi hệ thống hoàn thành áp dụng các kèo bóng đá pháp cập nhật, nó áp dụng các kèo bóng đá pháp xem cho (các) cây truy vấn được sản xuất. Các chế độ xem không thể chèn các hành động cập nhật mới để không cần áp dụng các kèo bóng đá pháp cập nhật cho đầu ra viết lại xem.

Tạo bảng Shoelace_log (
    Text SL_NAME, - Shoelace đã thay đổi
    Số nguyên SL_AVAIL, - Giá trị mới có sẵn
    log_who văn bản, - ai đã làm nó
    log_when dấu thời gian - khi
);

Tạo kèo bóng đá pháp log_shoelace như trên bản cập nhật lên shoelace_data
    WHERE new.sl_avail < cũ.SL_AVAIL
    Lắp vào các giá trị Shoelace_log (
                                    New.sl_name,
                                    New.sl_avail,
                                    current_user,
                                    current_timestamp
                                );

Cập nhật Shoelace_Data SET SL_AVAIL = 6 WHERE SL_NAME = 'SL7';

Chọn * từ Shoelace_log;

 SL_NAME | SL_AVAIL | log_who | log_when
---------+----------+---------+------------------------------------------
 SL7 |        6 | Al | Tue ngày 20 tháng 10 16:14:45 1998 đã gặp DST
(1 hàng)

Cập nhật Shoelace_Data SET SL_AVAIL = 6
  Từ Shoelace_Data Shoelace_Data
 WHERE SHOELACE_DATA.SL_NAME = 'SL7';

new.sl_avail < old.sl_avail

Chèn kèo bóng đá phápo giá trị Shoelace_log (
       new.sl_name, new.sl_avail,
       current_user, current_timestamp)
  Từ shoelace_data mới, shoelace_data cũ;

Chèn kèo bóng đá phápo giá trị Shoelace_log (
       new.sl_name, new.sl_avail,
       current_user, current_timestamp)
  Từ shoelace_data mới, shoelace_data cũ,shoelace_data shoelace_data;

22533_22726WHERE new.sl_avail < cũ.SL_AVAIL;

23357_23594và shoelace_data.sl_name = 'SL7';

Chèn kèo bóng đá phápo giá trị Shoelace_log (shoelace_data.sl_name, 6,,
       current_user, current_timestamp)
  Từ shoelace_data mới, shoelace_data cũ,
       Shoelace_data Shoelace_Data
 Ở ĐÂU6< cũ.SL_AVAIL
   Và shoelace_data.sl_name = 'SL7';

Chèn kèo bóng đá phápo giá trị Shoelace_log (
       shoelace_data.sl_name, 6,
       current_user, current_timestamp)
  Từ shoelace_data mới, shoelace_data cũ,
       Shoelace_data Shoelace_Data
 Trong đó 6 <shoelace_data.sl_availvà shoelace_data.sl_name = 'SL7';

Chèn kèo bóng đá phápo giá trị Shoelace_log (
       shoelace_data.sl_name, 6,
       current_user, current_timestamp)
  Từ Shoelace_data
 WHERE 6 < shoelace_data.sl_avail
   Và shoelace_data.sl_name = 'SL7';

Cập nhật Shoelace_Data SET SL_AVAIL = 6
 Trong đó sl_name = 'SL7';

Cập nhật Shoelace_Data SET SL_COLOR = 'Green'
 Trong đó sl_name = 'SL7';

Chèn kèo bóng đá phápo giá trị Shoelace_log (
       shoelace_data.sl_name,shoelace_data.sl_avail,
       current_user, current_timestamp)
  Từ Shoelace_data
 Ở ĐÂUshoelace_data.sl_avail26275_26348

Cập nhật Shoelace_Data SET SL_AVAIL = 0
 Trong đó sl_color = 'đen';

Chèn kèo bóng đá phápo Shoelace_log
Chọn Shoelace_Data.SL_NAME, 0,
       current_user, current_timestamp
  Từ Shoelace_data
 WHERE 0 < Shoelace_data.SL_AVAIL
   VÀshoelace_data.sl_color = 'đen';

Một cách đơn giản để bảo vệ quan hệ xem khỏi khả năng được đề cập là ai đó có thể cố gắng chạyChèn, Cập nhậthoặcXóaTrên đó là để cho những cây truy vấn đó bị vứt bỏ. Vì vậy, chúng tôi có thể tạo các kèo bóng đá pháp:

Tạo kèo bóng đá pháp giày_ins_protect như khi chèn vào giày
    Thay vào đó không có gì;
Tạo kèo bóng đá pháp giày_upd_protect như trên cập nhật cho giày
    Thay vào đó không có gì;
Tạo kèo bóng đá pháp giày_del_protect như đang xóa để giày
    Thay vào đó không có gì;

Nếu ai đó hiện đang cố gắng thực hiện bất kỳ hoạt động nào trong quan hệ xemgiày, Hệ thống kèo bóng đá pháp sẽ áp dụng các kèo bóng đá pháp này. Vì các kèo bóng đá pháp không có hành động và làThay kèo bóng đá phápo đó, Danh sách kết quả của các cây truy vấn sẽ trống và toàn bộ truy vấn sẽ không còn gì vì không còn gì để được tối ưu hóa hoặc thực thi sau khi hệ thống kèo bóng đá pháp được thực hiện với nó.

Một cách tinh vi hơn để sử dụng hệ thống kèo bóng đá pháp là tạo các kèo bóng đá pháp viết lại cây truy vấn thành một hoạt động đúng trên các bảng thực. Để làm điều đó trênShoelaceXem, chúng tôi tạo các kèo bóng đá pháp sau:

Tạo kèo bóng đá pháp shoelace_ins như khi chèn vào dây giày
    Làm thay thế
    Chèn vào giá trị Shoelace_Data (
           New.sl_name,
           New.sl_avail,
           New.sl_color,
           New.sl_len,
           Mới.sl_unit
    );

Tạo kèo bóng đá pháp shoelace_upd như trên bản cập nhật lên Shoelace
    Làm thay thế
    Cập nhật shoelace_data
       Đặt sl_name = new.sl_name,
           sl_avail = new.sl_avail,
           sl_color = new.sl_color,
           sl_len = new.sl_len,
           sl_unit = new.sl_unit
     Trong đó sl_name = old.sl_name;

Tạo kèo bóng đá pháp shoelace_del như đang xóa để đóng giày
    Làm thay thế
    Xóa khỏi Shoelace_Data
     WHERE SL_NAME = Old.SL_NAME;

Nếu bạn muốn hỗ trợ30132_30143Truy vấn trên chế độ xem, bạn cần thực hiện các kèo bóng đá pháp bao gồmTrở vềCác mệnh đề tính toán các hàng xem. Điều này thường khá tầm thường cho các chế độ xem trên một bảng, nhưng nó hơi tẻ nhạt cho các chế độ xem tham gia nhưShoelace. Một ví dụ cho trường hợp chèn là:

Tạo kèo bóng đá pháp shoelace_ins như khi chèn vào dây giày
    Làm thay thế
    Chèn vào giá trị Shoelace_Data (
           New.sl_name,
           New.sl_avail,
           New.sl_color,
           New.sl_len,
           Mới.sl_unit
    )
    Trở lại
           Shoelace_data.*,
           (Chọn Shoelace_Data.SL_LEN * U.UN_FACT
            Từ đơn vị u nơi shoelace_data.sl_unit = U.un_name);

Lưu ý rằng kèo bóng đá pháp này hỗ trợ cảChènvàChèn trả vềTruy vấn trên chế độ xem - TheTrở vềmệnh đề chỉ đơn giản là bỏ qua choChèn.

Bây giờ hãy giả sử rằng thỉnh thoảng, một gói dây giày đến cửa hàng và một danh sách các bộ phận lớn cùng với nó. Nhưng bạn không muốn cập nhật thủ côngShoelaceXem mỗi lần. Thay kèo bóng đá phápo đó, chúng tôi thiết lập hai bảng nhỏ: một trong đó bạn có thể chèn các mục từ danh sách bộ phận và một bảng với một thủ thuật đặc biệt. Các lệnh tạo cho chúng là:

Tạo bảng Shoelace_arrive (
    văn bản arr_name,
    ARR_QUANT Số nguyên
);

Tạo bảng Shoelace_ok (
    văn bản ok_name,
    OK_Quant Integer
);

Tạo kèo bóng đá pháp shoelace_ok_ins như khi chèn vào shoelace_ok
    Làm thay thế
    Cập nhật Shoelace
       Đặt SL_AVAIL = SL_AVAIL + MỚI.OK_QUANT
     Trong đó sl_name = new.ok_name;

Bây giờ bạn có thể điền kèo bóng đá phápo bảngShoelace_arriveVới dữ liệu từ danh sách các bộ phận:

Chọn * từ Shoelace_arrive;

 ARR_NAME | ARR_QUANT
----------+-----------
 SL3 |        10
 SL6 |        20
 SL8 |        20
(3 hàng)

Hãy xem nhanh dữ liệu hiện tại:

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 |        6 | 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)

Bây giờ di chuyển dây giày đã đến trong:

Chèn kèo bóng đá phápo Shoelace_ok Chọn * từ Shoelace_arrive;

và kiểm tra kết quả:

33177_34262

Đó là một chặng đường dài từ mộtChèn ... Chọn​​với những kết quả này. Và mô tả về chuyển đổi cây truy vấn sẽ là lần cuối cùng trong chương này. Đầu tiên, có đầu ra của trình phân tích cú pháp:

Chèn kèo bóng đá phápo Shoelace_ok
Chọn shoelace_arrive.arr_name, shoelace_arrive.arr_quant
  Từ shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok;

Bây giờ là kèo bóng đá pháp đầu tiênShoelace_ok_insđược áp dụng và biến điều này thành:

Cập nhật dây giày
   Đặt SL_AVAIL = Shoelace.SL_AVAIL + SHOELACE_ARRIVE.ARR_QUANT
  Từ shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok,
       Shoelace_ok cũ, Shoelace_ok Mới,
       dây giày
 WHERE Shoelace.SL_NAME = shoelace_arrive.arr_name;

và ném đi bản gốcChèntrênShoelace_ok. Truy vấn viết lại này được chuyển đến hệ thống kèo bóng đá pháp một lần nữa và kèo bóng đá pháp được áp dụng thứ haishoelace_updSản xuất:

35384_35907

Một lần nữa đó làThay kèo bóng đá phápo đókèo bóng đá pháp và cây truy vấn trước đó bị vứt bỏ. Lưu ý rằng truy vấn này vẫn sử dụng chế độ xemShoelace. Nhưng hệ thống kèo bóng đá pháp chưa kết thúc với bước này, vì vậy nó tiếp tục và áp dụng_returnkèo bóng đá pháp trên đó và chúng ta nhận được:

36275_36816

Cuối cùng, kèo bóng đá pháplog_shoelaceĐược áp dụng, sản xuất cây truy vấn thêm:

Chèn kèo bóng đá phápo Shoelace_log
Chọn S.SL_NAME,
       s.sl_avail + shoelace_arrive.arr_quant,
       current_user,
       current_timestamp
  Từ shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok,
       Shoelace_ok cũ, Shoelace_ok Mới,
       dây giày, dây giày cũ,
       Shoelace Mới, Shoelace_Data Shoelace_Data,
       dây giày cũ, dây giày mới,
       shoelace_data s, đơn vị u,
       shoelace_data cũ, shoelace_data mới
       Shoelace_log Shoelace_log
 WHERE S.SL_NAME = shoelace_arrive.arr_name
   Và shoelace_data.sl_name = s.sl_name
   Và (s.sl_avail + shoelace_arrive.arr_quant) < s.sl_avail;

Sau đó, hệ thống kèo bóng đá pháp hết các kèo bóng đá pháp và trả về các cây truy vấn được tạo.

Vì vậy, chúng tôi kết thúc với hai cây truy vấn cuối cùng tương đương vớiSQLCâu:

37864_38522

38534_38744

Có một chút chi tiết hơi xấu. Nhìn kèo bóng đá phápo hai truy vấn, hóa ra làShoelace_dataMối quan hệ xuất hiện hai lần trong bảng phạm vi nơi nó chắc chắn có thể được giảm xuống còn một. Người lập kế hoạch không xử lý nó và do đó, kế hoạch thực thi cho đầu ra hệ thống kèo bóng đá pháp củaChènsẽ là

39149_39415

Trong khi bỏ qua mục nhập bảng phạm vi bổ sung sẽ dẫn đến A

Hợp nhất tham gia
  - SEQ SCAN
        - Sắp xếp
              - seq scan trên s
  - SEQ SCAN
        - Sắp xếp
              - SEQ SCAN trên shoelace_arrive

tạo ra chính xác các mục tương tự trong bảng nhật ký. Do đó, hệ thống kèo bóng đá pháp gây ra một lần quét thêm trên bảngShoelace_dataĐiều đó hoàn toàn không cần thiết. Và quá trình quét dự phòng tương tự được thực hiện một lần nữa trongCập nhật. Nhưng đó là một công việc thực sự khó khăn để làm cho tất cả có thể.

Bây giờ chúng tôi thực hiện một cuộc biểu tình cuối cùng củaPostgreSQLHệ thống kèo bóng đá pháp và sức mạnh của nó. Giả sử bạn thêm một số dây giày với màu sắc phi thường vào cơ sở dữ liệu của bạn:

Chèn kèo bóng đá phápo giá trị Shoelace ('SL9', 0, 'hồng', 35.0, 'inch', 0,0);
Chèn kèo bóng đá phápo các giá trị Shoelace ('SL10', 1000, 'Magenta', 40.0, 'inch', 0.0);

Chúng tôi muốn xem để kiểm tra xemShoelaceMục nhập không phù hợp với bất kỳ màu giày nào. Chế độ xem cho điều này là:

Tạo xem shoelace_mismatch là
    Chọn * Từ dây giày nơi không tồn tại
        (Chọn Shoename từ giày WHER

Đầu ra của nó là:

Chọn * từ Shoelace_mismatch;

 SL_NAME | SL_AVAIL | SL_COLOR | SL_LEN | SL_Unit | SL_LEN_CM
---------+----------+----------+--------+----------+-----------
 SL9 |        0 | Màu hồng |     35 | inch |      88.9
 SL10 |     1000 | Magenta |     40 | inch |     101.6

Bây giờ chúng tôi muốn thiết lập nó để các dây giày không phù hợp không có trong kho bị xóa khỏi cơ sở dữ liệu. Để làm cho nó khó hơn một chút choPostgreSQL, chúng tôi không xóa trực tiếp. Thay kèo bóng đá phápo đó chúng tôi tạo thêm một chế độ xem:

Tạo xem shoelace_can_delete là
    Chọn * Từ Shoelace_Mismatch WHERE SL_AVAIL = 0;

Và làm theo cách này:

Xóa khỏi dây giày nơi tồn tại
    (Chọn * Từ Shoelace_Can_Delete
             Trong đó sl_name = shoelace.sl_name);

Kết quả là:

41754_42474

AXóaVề chế độ xem, với trình độ trình độ con mà trong tổng số sử dụng 4 chế độ xem làm tổ/tham gia, trong đó một trong số chúng có trình độ truy vấn con có chứa một chế độ xem và trong đó các cột xem được tính toán, được viết lại thành một cây truy vấn đơn để xóa dữ liệu được yêu cầu từ bảng thực tế.

Có lẽ chỉ có một kèo bóng đá phápi tình huống trong thế giới thực nơi cần thiết như một cấu trúc như vậy. Nhưng nó làm cho bạn cảm thấy thoải mái khi nó hoạt động.