4.2 Datalog Rule OptimizationRule R

4.2 Datalog Rule Optimization
Rule Removal The solver removes rules and relations that do not indirectly contribute
to the output relations. A predicate dependency graph (PDG) is built to record depen-
dencies between rules and relations. Each node represents a relation, and there is an
edge g → h marked with rule r if rule r has subgoal relation g and head relation h. (If
the subgoal is negated, the edge is marked as a negative edge.) The PDG for our exam-
ple is shown in Figure 3(a). Necessary rules and relations are found by performing a
backward pass over the PDG, starting from the output relations.

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

4.2 Datalog nguyên tắc tối ưu hóaLoại bỏ quy tắc giải quyết loại bỏ các quy tắc và các mối quan hệ không góp phần gián tiếpđể quan hệ đầu ra. Một đồ thị predicate phụ thuộc (PDG) được xây dựng để ghi lại depen-dencies giữa quy tắc và các mối quan hệ. Mỗi nút đại diện cho một mối quan hệ, và có mộtcạnh g → h đánh dấu với quy tắc r nếu quy tắc r có subgoal quan hệ g và h. quan hệ đầu (nếusubgoal làm hạn chế, các cạnh được đánh dấu là một cạnh phủ định) PDG cho kỳ thi của chúng tôi-ple được hiển thị ở hình 3(a). Quy tắc cần thiết và các mối quan hệ được tìm thấy bằng cách thực hiện mộtlạc hậu, vượt qua PDG, bắt đầu từ các quan hệ đầu ra.

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

4.2 Datalog Rule Tối ưu hóa
Rule diệt Bộ giải loại bỏ các quy tắc và các mối quan hệ mà không gián tiếp đóng góp
vào quan hệ đầu ra. Một đồ thị phụ thuộc vị ngữ (PDG) được xây dựng để ghi depen-
dencies giữa quy tắc và các mối quan hệ. Mỗi nút đại diện cho một mối quan hệ, và có một
cạnh g → h đánh dấu với quy tắc r nếu quy tắc r có subgoal quan g và mối quan hệ đầu h. (Nếu
các subgoal là phủ nhận, cạnh được đánh dấu là một cạnh tiêu cực.) Các PDG để dụ chúng tôi
ple được thể hiện trong hình 3 (a). Quy tắc cần thiết và quan hệ được tìm thấy bằng cách thực hiện một
đường chuyền lạc hậu so với PDG, bắt đầu từ mối quan hệ đầu ra.