Stratification We then use the PDG t

Stratification We then use the PDG to stratify the program. Stratification guarantees
that the relation for every negated subgoal can be fully computed before applying rules
containing the negation. Each stratum is a distinct subset of program rules that fully
computes relations belonging to that stratum. Rules in a particular stratum may use the
positive forms of relations computed in that stratum, as well as positive or negated forms
of relations calculated in earlier strata and input relations from the relational database.
There are no cyclic dependencies between strata. If the program cannot be stratified, we
warn the user. In our experience designing Datalog programs for program analysis, we
have yet to find a need for non-stratifiable queries.

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

Stratification sau đó chúng tôi sử dụng PDG cho stratify chương trình. Đảm bảo Stratificationmối quan hệ cho mỗi subgoal negated có thể được tính toán đầy đủ trước khi áp dụng quy tắccó chứa phủ định. Mỗi tầng là một tập con khác biệt của chương trình quy tắc mà đầy đủtính quan hệ thuộc tầng lớp đó. Các quy tắc trong một tầng lớp đặc biệt có thể sử dụng cácCác hình thức tích cực của quan hệ tính trong tầng lớp đó, cũng như tích cực hoặc làm hạn chế hình thứccác mối quan hệ tính toán trong địa tầng trước đó và các quan hệ đầu vào từ cơ sở dữ liệu quan hệ.Không có không có quan hệ phụ thuộc nhóm cyclic giữa các tầng. Nếu chương trình không thể là stratified, chúng tôicảnh báo người sử dụng. Theo kinh nghiệm của chúng tôi thiết kế chương trình Datalog cho chương trình phân tích, chúng tôichưa nhiều nhu cầu cho các truy vấn stratifiable.

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

Strati fi cation Chúng tôi sau đó sử dụng các PDG để phân tầng các chương trình. Strati fi cation đảm bảo
rằng các mối quan hệ cho mỗi subgoal phủ nhận có thể được tính toán đầy đủ trước khi áp dụng quy tắc
chứa sự phủ định. Mỗi tầng là một tập hợp con riêng biệt của quy tắc chương trình đầy đủ
tính quan hệ thuộc tầng lớp đó. Quy tắc trong một tầng lớp đặc biệt có thể sử dụng các
hình thức tích cực của quan hệ tính ở tầng đó, cũng như các hình thức tích cực hay phủ nhận
quan hệ tính toán trong địa tầng và đầu vào quan hệ trước đó từ cơ sở dữ liệu quan hệ.
Không có phụ thuộc chu kỳ giữa các tầng lớp nhân dân. Nếu chương trình không thể strati fi ed, chúng tôi
cảnh báo người dùng. Theo kinh nghiệm của chúng tôi thiết kế các chương trình Datalog để phân tích chương trình, chúng tôi
vẫn chưa fi thứ một nhu cầu cho các truy vấn không strati fi thể.