A DatalogFS program P with negated

A DatalogFS program P with negated goals is stratified when for each rule r ∈ P the head of r belongs to a stratum higher than all (i) the negated predicates in the body of r and (ii) every predicate appearing in the b− expression of a negated FS-goal in r .

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

Một chương trình DatalogFS P với mục tiêu làm hạn chế phân tầng khi cho mỗi quy tắc r ∈ P đầu r thuộc một tầng lớp cao hơn tất cả các predicates negated (i) trong cơ thể của r và (ii) mọi vị ngữ xuất hiện trong biểu thức b− của FS negated-bàn thắng trong r.

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

Một chương trình P DatalogFS với mục tiêu phủ nhận là phân tầng khi cho từng quy tắc r ∈ P đầu của r thuộc về một tầng lớp cao hơn tất cả (i) các vị phủ nhận trong cơ thể của r và (ii) mỗi vị xuất hiện trong các biểu hiện b- của FS-mục tiêu phủ nhận trong r.