38.1. Cây kèo bóng đá pháp

Đây là một giá trị đơn giản cho biết lệnh nào (Chọn, Chèn, Cập nhật, Xóa) đã sản xuất cây kèo bóng đá pháp.

Bảng phạm vi là danh sách các mối quan hệ được sử dụng trong kèo bóng đá pháp. Trong aChọnTuyên bố Đây là những mối quan hệ được đưa ra sautừTừ khóa.

Mỗi mục nhập bảng xác định một bảng hoặc chế độ xem và cho biết tên của nó được gọi trong các phần khác của kèo bóng đá pháp. Trong cây kèo bóng đá pháp, các mục bảng phạm vi được tham chiếu theo số chứ không phải theo tên, vì vậy ở đây không quan trọng nếu có tên trùng lặp như trong mộtSQLTuyên bố. Điều này có thể xảy ra sau khi kèo bóng đá pháp bảng phạm vi của kèo bóng đá pháp quy tắc đã được hợp nhất. kèo bóng đá pháp ví dụ trong chương này sẽ không có tình huống này.

Đây là một chỉ mục vào bảng phạm vi xác định mối quan hệ nơi kết quả của kèo bóng đá pháp đi.

Chọnkèo bóng đá pháp không có mối quan hệ kết quả. (Trường hợp đặc biệt củaChọn vàochủ yếu là giống hệt vớiTạo bảngtheo sauChèn ... Chọn, và không được thảo luận riêng ở đây.)

choChèn, Cập nhậtvàXóakèo bóng đá pháp lệnh, mối quan hệ kết quả là bảng (hoặc chế độ xem!) Trong đó kèo bóng đá pháp thay đổi sẽ có hiệu lực.

Danh sách mục tiêu là danh sách các biểu thức xác định kết quả của kèo bóng đá pháp. Trong trường hợp của mộtChọn, Những biểu thức này là những biểu thức xây dựng đầu ra cuối cùng của kèo bóng đá pháp. Chúng tương ứng với các biểu thức giữa các từ khóaChọnvàtừ. (*chỉ là một chữ viết tắt cho tất cả kèo bóng đá pháp tên cột của một mối quan hệ. Nó được mở rộng bởi trình phân tích cú pháp vào kèo bóng đá pháp cột riêng lẻ, vì vậy hệ thống quy tắc không bao giờ nhìn thấy nó.)

Xóakèo bóng đá pháp lệnh không cần một danh sách mục tiêu bình thường vì chúng không tạo ra bất kỳ kết quả nào. Thay vào đó, người lập kế hoạch thêm một đặc biệtCTIDNhập vào danh sách mục tiêu trống, để cho phép người thực thi tìm thấy hàng bị xóa. (CTIDđược thêm vào khi quan hệ kết quả là một bảng thông thường. Nếu đó là một chế độ xem, một biến toàn bộ hàng được thêm vào thay thế, bởi hệ thống quy tắc, như được mô tả trongPhần 38.2.4.)

choChènkèo bóng đá pháp lệnh, Danh sách mục tiêu mô tả kèo bóng đá pháp hàng mới sẽ đi vào mối quan hệ kết quả. Nó bao gồm kèo bóng đá pháp biểu thức trongGiá trịmệnh đề hoặc những cái từChọnmệnh đề trongChèn ... Chọn. Bước đầu tiên của quy trình viết lại thêm kèo bóng đá pháp mục nhập danh sách mục tiêu cho bất kỳ cột nào không được gán cho lệnh ban đầu nhưng có mặc định. Bất kỳ cột còn lại (không có giá trị nhất định cũng như mặc định) sẽ được điền bởi trình lập kế hoạch với biểu thức null không đổi.

choCập nhậtkèo bóng đá pháp lệnh, danh sách mục tiêu mô tả kèo bóng đá pháp hàng mới sẽ thay thế kèo bóng đá pháp hàng cũ. Trong hệ thống quy tắc, nó chỉ chứa kèo bóng đá pháp biểu thức từĐặt cột = biểu thứcMột phần của lệnh. Người lập kế hoạch sẽ xử lý kèo bóng đá pháp cột bị thiếu bằng cách chèn kèo bóng đá pháp biểu thức sao chép kèo bóng đá pháp giá trị từ hàng cũ vào hàng mới. Giống như choXóa, ACTIDhoặc biến toàn bộ hàng được thêm vào để người thực thi có thể xác định hàng cũ sẽ được cập nhật.

Mọi mục nhập trong danh sách đích đều chứa một biểu thức có thể là giá trị không đổi, một biến chỉ vào một cột của một trong các quan hệ trong bảng phạm vi, tham số hoặc kèo bóng đá pháp biểu thức được tạo thành từ các lệnh gọi hàm, hằng số, biến, toán tử, v.v.

Trình độ của kèo bóng đá pháp là một biểu thức giống như một trong những điều có trong các mục nhập danh sách đích. Giá trị kết quả của biểu thức này là boolean cho biết liệu hoạt động (Chèn, Cập nhật, XóahoặcChọn) cho hàng kết quả cuối cùng có nên được thực thi hay không. Nó tương ứng vớiWHEREmệnh đề của mộtSQLcâu lệnh.

Cây tham gia của kèo bóng đá pháp hiển thị cấu trúc củatừmệnh đề. Đối với một kèo bóng đá pháp đơn giản nhưChọn ... từ a, b, c, kèo bóng đá pháp tham gia chỉ là một danh sách củatừkèo bóng đá pháp mục, vì chúng tôi được phép tham gia cùng chúng theo bất kỳ thứ tự nào. Nhưng khiTham giaBiểu thức, đặc biệt là các kết nối bên ngoài, được sử dụng, chúng ta phải tham gia theo thứ tự được hiển thị bởi các lần tham gia. Trong trường hợp đó, kèo bóng đá pháp tham gia hiển thị cấu trúc củaTham giaBiểu thức. kèo bóng đá pháp hạn chế liên quan đến cụ thểtham giamệnh đề (từtrênhoặcsử dụngBiểu thức) được lưu trữ dưới dạng kèo bóng đá pháp biểu thức đủ điều kiện được gắn vào kèo bóng đá pháp nút chân nối đó. Hóa ra là thuận tiện để lưu trữ cấp cao nhấtWHEREBiểu thức như là một trình độ được gắn vào mục tham gia cấp cao nhất, quá. Vì vậy, thực sự là kèo bóng đá pháp tham gia đại diện cho cảtừvàWHEREmệnh đề của AChọn.

Các phần khác của cây kèo bóng đá pháp nhưĐặt hàng bởiĐiều khoản không được quan tâm ở đây. Hệ thống quy tắc thay thế một số mục ở đó trong khi áp dụng kèo bóng đá pháp quy tắc, nhưng điều đó không liên quan nhiều đến kèo bóng đá pháp nguyên tắc cơ bản của hệ thống quy tắc.