A domain D ∈ D has size size(D) ∈ N

A domain D ∈ D has size size(D) ∈ N, where N is the set of natural numbers.
We require that all domains have finite size. The elements of a domain D is the set of
natural numbers 0 . . . size(D) − 1.
A relation R ∈ R is a set of n-ary tuples of attributes. The kth attribute of relation
R is signified by ak (R), and the number of attributes of a relation R is signified by
arity(R). Relations must have one or more attributes, i.e. ∀R ∈ R, arity(R) ≥ 1.
Each attribute a ∈ A has a domain domain(a) ∈ D, which defines the set of possible
values for that attribute. An expression R(x1, . . . , xn) is true iff the tuple (x1, . . . , xn)
is in relation R. Likewise, ¬R(x1, . . . , xn) is true iff (x1, . . . , xn) is not in R.
Rules are of the form:
E0 : −E1, . . . ,Ek.

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

Một tên miền D ∈ D có kích thước size(D) ∈ N, N là tập hợp các số tự nhiên.Chúng tôi yêu cầu tất cả các tên miền có kích thước finite. Các yếu tố của một tên miền D là tập hợp cácsố tự nhiên 0... size(D) − 1.Một mối quan hệ R ∈ R là một bộ n ary tuples thuộc tính. Các thuộc tính kth quan hệR là signified bởi ak (R), và số lượng các thuộc tính của một mối quan hệ R là signified bởiarity(R). Mối quan hệ phải có một hoặc nhiều thuộc tính, tức là ∀R ∈ R, arity(R) ≥ 1.Mỗi thuộc tính một ∈ A có một tên miền domain(a) ∈ D, mà defines tập thểgiá trị cho thuộc tính đó. Biểu thức R (x1,..., xn) là đúng iff tuple (x1,..., xn)là trong mối quan hệ tương tự R., ¬R (x1,..., xn) là đúng iff (x1,..., xn) không phải là R.Quy định là các hình thức:E0: −E1,..., Ek.

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

Một miền D ∈ D có kích thước kích thước (D) ∈ N, trong đó N là tập hợp các số tự nhiên.
Chúng tôi yêu cầu tất cả các lĩnh vực có kích thước hữu hạn. Các yếu tố của một miền D là tập hợp các
số tự nhiên 0. . . Kích thước (D) - 1.
Một quan hệ R ∈ R là một bộ dữ liệu n-ary các thuộc tính. Thuộc tính thứ k của quan hệ
R là fi trong yếu ed bởi ak (R), và số lượng các thuộc tính của một quan hệ R là trọng yếu ed bởi
arity (R). Quan hệ phải có một hoặc nhiều thuộc tính, tức là ∀R ∈ R, arity (R) ≥ 1.
Mỗi thuộc tính a ∈ A có một miền tên miền (a) ∈ D, de fi nes bộ có thể
giá trị cho thuộc tính đó. Một biểu thức R (x1,..., Xn) là đúng khi và chỉ khi các tuple (x1,..., Xn)
là trong mối quan hệ R. Tương tự như vậy, ¬R (x1,..., Xn) là khi và chỉ khi thật sự (x1, ..., xn) không có trong R.
quy có dạng:
E0: -E1,. . . , Ek.