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ênkèo bóng đá pháp, 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).

15534_15620

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 kèo bóng đá phápkè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ótrên bản cập nhậtvàKhi xóakèo bóng đá pháp, truy vấn ban đầu được thực hiện sau khi 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 gốc đượ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 một giá trị null (cho mộtkèo bóng đá pháp). 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ả.

18607_18823

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;

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_DataWHERE new.sl_avail < cũ.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ũ,
       Shoelace_data Shoelace_Data
 WHERE MỚI.SL_AVAIL < cũ.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 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';

24696_24968

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

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

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';

27611_27711kèo bóng đá pháp, 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ợTrở vềTruy 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 chế độ 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 kèo bóng đá pháp 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ảkèo bóng đá phápvàkèo bóng đá pháp trả vềTruy vấn trên chế độ xem - TheTrở vềmệnh đề chỉ đơn giản là bỏ qua chokèo bóng đá pháp.

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:

31470_31623

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

31702_32368

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ả:

32562_33669

33677_33708kèo bóng đá pháp ... Chọnvớ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 Shoelace
   Đặ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ốckèo bóng đá pháptrênShoelace_ok34592_34681shoelace_updSản xuất:

Cập nhật Shoelace_Data
   Đặt SL_NAME = Shoelace.SL_NAME,
       sl_avail = shoelace.sl_avail + shoelace_arrive.arr_quant,
       sl_color = shoelace.sl_color,
       sl_len = shoelace.sl_len,
       sl_unit = shoelace.sl_unit
  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
 WHERE Shoelace.SL_name = shoelace_arrive.arr_name
   Và shoelace_data.sl_name = shoelace.sl_name;

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:

35644_36183

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;

36968_37053

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 lệnh:

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_data shoelace_data,
       Shoelace_data s
 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;

Cập nhật shoelace_data
   Đặt sl_avail = shoelace_data.sl_avail + shoelace_arrive.arr_quant
  Từ shoelace_arrive shoelace_arrive,
       shoelace_data shoelace_data,
       Shoelace_data s
 WHERE S.SL_NAME = shoelace_arrive.sl_name
   Và shoelace_data.sl_name = s.sl_name;

37873_38083

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ủakèo bóng đá phápsẽ là

Vòng lặp lồng nhau
  - 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
  - SEQ SCAN trên Shoelace_Data

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 các 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à:

40110_40394

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

Voilà:

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
 SL4 |        8 | Đen |     40 | inch |     101.6
 SL3 |       10 | Đen |     35 | inch |      88.9
 SL8 |       21 | Màu nâu |     40 | inch |     101.6
 SL10 |     1000 | Magenta |     40 | inch |     101.6
 SL5 |        4 | Màu nâu |      1 | m |       100
 SL6 |       20 | Màu nâu |    0,9 | m |        90
(9 hàng)

AXóaVề chế độ xem, với trình độ cấp độ 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 chế độ xem và nơi sử dụng các cột xem được tính toán, được viết lại thành một cây truy vấn duy nhất xóa dữ liệu được yêu cầu từ bảng thực.

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.