where the expression E0 (the rule h

where the expression E0 (the rule head) is of the form R(x1, . . . , xn), where R ∈ R
The comparison expressions x1 = x2, x1 = x2, and x1 < x2 have their normal
meanings over the natural numbers.
The domain of a variable x is determined by its usage in a rule. If x appears as the
kth argument of an expression of the form R(x1, . . . , xn) then the domain of x, denoted
by domain(x), is domain(ak (R)). All uses of a variable within a rule must agree upon
the domain. Furthermore, in a comparison expression such as x1 = x2, x1 = x2 or
x1 < x2, the domains of variables x1 and x2 must match.
A safe Datalog program guarantees that the set of inferred facts (relation tuples) will
be finite. In bddbddb, because all domains are finite, programs are necessarily safe. If a
variable in the head of a rule does not appear in any subgoals, that variable may take on
any value in the corresponding attribute’s domain; i.e. it will be bound to the universal
set for that domain.
bddbddb allows negation in stratifiable programs [11]. Rules are grouped into
strata, which are solved in sequence. Each strata has a minimal solution, where rela-
tions have the minimum number of tuples necessary to satisfy those rules. In a stratified
program, every negated predicate evaluates the negation of a relation which was fully
computed in a previous strata.

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

nơi mà cụm từ E0 (người đứng đầu quy tắc) là hình thức R (x1,..., xn), nơi R ∈ RSo sánh biểu thức x1 = x2, x1 = x2, và x1 < x2 đã bình thường của họý nghĩa trong các số tự nhiên.Tên miền biến x được xác định bằng cách sử dụng của nó trong một quy tắc. Nếu x sẽ xuất hiện như là cácKTH đối số của một biểu hiện của các hình thức R (x1,..., xn) sau đó là các tên miền của x, được ký hiệu làbởi domain(x), là tên miền (ak (R)). Tất cả các ứng dụng của một biến trong vòng một quy tắc phải đồng ý theotên miền. Hơn nữa, trong một biểu thức so sánh như x1 = x2, x1 = x2 hoặcx1 < x2, tên miền của biến x1 và x2 phải phù hợp với.Một chương trình Datalog an toàn đảm bảo rằng các thiết lập của inferred sự kiện (quan hệ tuples) sẽlà finite. Ở bddbddb, bởi vì tất cả các tên miền là finite, chương trình là nhất thiết phải an toàn. Nếu mộtTây-Tây Bắc và trong phần đầu của một quy tắc không xuất hiện trong bất kỳ subgoals, biến đó có thể đưa vàobất kỳ giá trị tên miền của thuộc tính tương ứng; tức là nó sẽ bị ràng buộc cho universalĐặt cho tên miền đó.bddbddb cho phép phủ định trong chương trình stratifiable [11]. Quy tắc được nhóm lại thànhStrata, mà được giải quyết theo thứ tự. Mỗi tầng có một giải pháp tối thiểu, nơi rela -tions có số tuples cần thiết để đáp ứng những quy tắc, tối thiểu. Trong một stratifiedchương trình, mỗi vị ngữ negated đánh giá phủ định của một mối quan hệ đó là hoàn toàntính trong một địa tầng trước đó.

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

nơi biểu thức E0 (đầu quy tắc) có dạng R (x1,..., xn), trong đó R ∈ R
Các biểu thức so sánh x1 = x2, x1 = x2 và x1 <x2 có bình thường của họ
ý nghĩa trong tự nhiên số.
các tên miền của một biến x được xác định bằng cách sử dụng của nó trong một quy tắc. Nếu x xuất hiện như những
lập luận thứ k của một biểu thức của mẫu R (x1,..., Xn) thì miền của x, ký hiệu
bởi miền (x), là tên miền (ak (R)). Tất cả các công dụng của một biến trong một quy tắc phải đồng ý về
tên miền. Hơn nữa, trong một biểu thức so sánh như x1 = x2, x1 = x2 hay
x1 <x2, các lĩnh vực của các biến x1 và x2 phải phù hợp.
Một chương trình Datalog an toàn đảm bảo rằng tập hợp các dữ kiện suy ra (bộ dữ liệu liên quan) sẽ
được hữu hạn. Trong bddbddb, bởi vì tất cả các lĩnh vực là hữu hạn, chương trình này là thiết phải an toàn. Nếu một
biến vào đầu của một quy tắc không xuất hiện trong bất kỳ subgoals, biến đó có thể mất trên
bất kỳ giá trị trong phạm vi của các thuộc tính tương ứng của; tức là nó sẽ bị ràng buộc vào phổ
bộ cho miền đó.
bddbddb cho phép phủ định trong chương trình có thể fi strati [11]. Quy định được nhóm lại thành các
tầng lớp nhân dân, trong đó được giải quyết theo thứ tự. Mỗi tầng có một giải pháp tối thiểu, mà quan hệ
tions có số lượng tối thiểu của các tuple cần thiết để đáp ứng các nguyên tắc đó. Trong một fi ed strati
chương trình, mỗi vị ngữ phủ nhận đánh giá sự phủ định của một mối quan hệ đó đã được đầy đủ
tính trong một tầng lớp nhân dân trước đó.