1. Apply Datalog source level trans

1. Apply Datalog source level transforms and optimizations. (Section 4.1)
2. Remove unnecessary rules, stratify the rules, and determine the rule iteration order.
(Section 4.2)
3. Translate the stratified query into an intermediate representation (IR) consisting of
relational algebra operations. (Section 4.3)
4. Through analysis, optimize the IR and add BDD operations to replace equivalent
sequences of relational algebra operations. (Section 4.4)
5. Choose BDD decision variables for encoding relation attributes. (Section 4.5)
6. Perform more dataflow optimizations after physical domains have been assigned.
(Section 4.6)
7. Interpret the resulting program. (Section 4.7)
To illustrate this process, we use Algorithm 1 from Section 2 as a running example.

Kết quả (Việt) 1:

1. áp dụng Datalog nguồn cấp biến đổi và tối ưu hóa. (Phần 4.1)2. hủy bỏ các quy định không cần thiết, stratify các quy tắc, và xác định thứ tự lặp đi lặp lại quy tắc.(Phần 4.2)3. dịch truy vấn stratified thành một đại diện trung gian (IR) bao gồmđại số quan hệ hoạt động. (Phần 4.3)4. thông qua phân tích, tối ưu hóa các IR và thêm BDD hoạt động để thay thế cho equivalenttrình tự của các hoạt động đại số quan hệ. (Phần 4.4)5. chọn BDD quyết định biến để mã hóa các thuộc tính liên quan. (Phần 4.5)6. thực hiện thêm dataflow tối ưu hóa sau khi lĩnh vực vật lý đã được chỉ định.(Phần 4.6)7. giải thích kết quả chương trình. (Phần 4.7)Để minh họa cho quá trình này, chúng tôi sử dụng thuật toán 1 từ phần 2 như là một ví dụ chạy.

Kết quả (Việt) 2:

1. Áp dụng Datalog biến đổi cấp nguồn và tối ưu hóa. (Phần 4.1)
2. Hủy bỏ các quy định không cần thiết, phân tầng các quy tắc, và xác định thứ tự quy ​​tắc lặp.
(Phần 4.2)
3. Dịch các truy vấn fi ed strati thành một đại diện trung gian (IR) bao gồm các
hoạt động đại số quan hệ. (Phần 4.3)
4. Thông qua phân tích, tối ưu hóa các IR và thêm các hoạt động BDD để thay thế tương đương với
trình tự của các hoạt động đại số quan hệ. (Phần 4.4)
5. Chọn BDD biến quyết định cho các thuộc tính liên quan mã hóa. (Phần 4.5)
6. Thực hiện nhiều dữ liệu hơn fl tối ưu ow sau khi lĩnh vực vật lý đã được phân công.
(Mục 4.6)
7. Giải thích kết quả chương trình. (Mục 4.7)
Để minh họa quá trình này, chúng tôi sử dụng thuật toán 1 từ Phần 2 là một ví dụ chạy.