This section will formally define o

This section will formally define our problem after going through
some necessary preliminary definitions. We use the well-known
notions of constants, variables, predicates, terms, and atoms of
first-order logic. We use safe conjunctive queries; these are rules
of the form Q(_x) ← P1( _ y1), ..., Pn( _ yn) where Q,P1, ..., Pn are
predicates of some finite arity and _x, _ y1,..., _ yn are tuples of variables.
In the scope of the current paper (and similarly to [7]) we
have not considered constant symbols or built-in predicates. We
believe however, that our results can be extended to these cases (in
the spirit of [19]). We define the body of the query to be body(Q) =
{P1( _ y1), ..., Pn( _ yn)}. Any non-empty subset of body(Q) is called
a subgoal of Q. A singleton subgoal is an atomic subgoal. Q(_x) is
the head of the query.

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

Phần này sẽ chính thức xác định vấn đề của chúng tôi sau khi đi quamột số định nghĩa sơ bộ cần thiết. Chúng tôi sử dụng nổi tiếngCác khái niệm của hằng số, biến, predicates, điều khoản, và các nguyên tử củađầu tiên-trật tự logic. Chúng tôi sử dụng an toàn các truy vấn bằng; đây là những quy tắcCác hình thức Q(_x) ← P1 (_ y1),..., Pn (_ yn) Q, P1,..., Pn ở đâupredicates yn _ hữu hạn arity và _x, _ y1,..., một số là tuples của biến.Trong phạm vi của giấy hiện tại (và tương tự với [7]) chúng tôiđã không xem xét liên tục biểu tượng hoặc được xây dựng trong predicates. Chúng tôiTuy nhiên, tin rằng các kết quả có thể được mở rộng để các trường hợp (trongtinh thần [19]). Chúng tôi xác định các cơ quan của các truy vấn để là body(Q) ={P1 (_ y1),..., Pn (_ yn)}. Tập con bất kỳ phòng không có sản phẩm nào của body(Q) được gọi làmột subgoal Q. Một subgoal singleton là một subgoal nguyên tử. Q(_X) làngười đứng đầu của các truy vấn.

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

Phần này sẽ chính thức được xác định vấn đề của chúng tôi sau khi đi qua
một số định nghĩa sơ bộ cần thiết. Chúng tôi sử dụng nổi tiếng
quan niệm về hằng, biến, vị ngữ, thuật ngữ và nguyên tử
đầu tiên-trật tự logic. Chúng tôi sử dụng các truy vấn nối tiếp an toàn; đây là những quy tắc
của Q mẫu (_x) ← P1 (_ y1), ..., Pn (_ yn) trong đó Q, P1, ..., Pn là
vị từ của một số hữu hạn và arity _x, _ y1, .. ., _ yn là tuples của các biến.
Trong phạm vi của bài viết hiện tại (và tương tự như [7]), chúng tôi
đã không được coi là biểu tượng cố định hoặc được xây dựng trong các vị từ. Chúng tôi
tin rằng tuy nhiên, rằng kết quả có thể được mở rộng đến các trường hợp (trong
tinh thần [19]). Chúng tôi xác định cơ thể của các truy vấn để có cơ thể (Q) =
{P1 (_ y1), ..., Pn (_ yn)}. Bất kỳ tập con không rỗng của cơ thể (Q) được gọi là
một subgoal của Q. A subgoal singleton là một subgoal nguyên tử. Q (_x) là
người đứng đầu của các truy vấn.